org.processmining.plugins.ilpminer

Class ILPModelJavaILP

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

Direct Known Subclasses:

PetriNetILPModel, PetriNetSingleILPModel

public abstract class ILPModelJavaILP
extends java.lang.Object

This abstract class provides a model for the ILP problem. It can be overwritten for a specific ILP problem model.

Author:

T. van der Wiel

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Class<?>[]	extensions
protected net.sf.javailp.SolverFactory	factory
protected PrefixClosedLanguage	l
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer>	m
protected org.processmining.plugins.log.logabstraction.LogRelations	r
protected java.util.Set<ILPMinerSolution>	solutions
protected java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object>	solverSettings

Constructor Summary

Constructors

Constructor and Description
ILPModelJavaILP(java.lang.Class<?>[] extensions, java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings, ILPModelSettings settings)

Method Summary

Modifier and Type	Method and Description
void	addExtensionConstraints(net.sf.javailp.Problem p) adds all the extensions constraints to the problem via reflection
void	findPetriNetPlaces(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> indices, PrefixClosedLanguage pfclang, org.processmining.plugins.log.logabstraction.LogRelations relations, org.processmining.framework.plugin.PluginContext context) Builds the ILP problem and executes it.
static java.lang.String	getAuthor(java.lang.Class<?> strategy)
static java.lang.String	getDescription(java.lang.Class<?> strategy)
abstract net.sf.javailp.Problem	getModel() Returns the model instantiated via the Java-ILP interface
static java.lang.String	getName(java.lang.Class<?> strategy)
static java.lang.Object[]	getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f, java.lang.Class<?> strategy) Explicitly override this method in each subclass, otherwise it will not correctly acces the static properties!
java.util.Set<ILPMinerSolution>	getSolutions() returns the solutions found with processModel
protected net.sf.javailp.SolverFactory	loadLibraries() Loads the required jar and dll files (from the location) provided by the user via the settings if not loaded already and creates a solverfactory
abstract void	makeData() Generates the model specific data from the generic data
protected abstract void	processModel(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) Finds the solutions required for this model
protected net.sf.javailp.Result	solve(org.processmining.framework.plugin.PluginContext context) solves the model in the modeldefinition with this being the data source

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

solutions

protected java.util.Set<ILPMinerSolution> solutions

extensions

protected java.lang.Class<?>[] extensions

m

protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> m

l

protected PrefixClosedLanguage l

r

protected org.processmining.plugins.log.logabstraction.LogRelations r

solverSettings

protected java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings

factory

protected net.sf.javailp.SolverFactory factory

Constructor Detail

ILPModelJavaILP

public ILPModelJavaILP(java.lang.Class<?>[] extensions,
                       java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
                       ILPModelSettings settings)

Method Detail

makeData

public abstract void makeData()

Generates the model specific data from the generic data

Parameters:

indices -

l -

relations -

getModel

public abstract net.sf.javailp.Problem getModel()

Returns the model instantiated via the Java-ILP interface

Returns:

problem

findPetriNetPlaces

public void findPetriNetPlaces(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> indices,
                               PrefixClosedLanguage pfclang,
                               org.processmining.plugins.log.logabstraction.LogRelations relations,
                               org.processmining.framework.plugin.PluginContext context)
                        throws java.io.IOException

Builds the ILP problem and executes it.

Parameters:

indices - mapping between eventclasses and integers

l - PFC Language

relations -

context -

Throws:

java.io.IOException

loadLibraries

protected net.sf.javailp.SolverFactory loadLibraries()
                                              throws java.io.IOException

Loads the required jar and dll files (from the location) provided by the user via the settings if not loaded already and creates a solverfactory

Returns:

solverfactory

Throws:

java.io.IOException

processModel

protected abstract void processModel(org.processmining.framework.plugin.PluginContext context,
                                     net.sf.javailp.SolverFactory factory)

Finds the solutions required for this model

Parameters:

context -

factory -

solve

protected net.sf.javailp.Result solve(org.processmining.framework.plugin.PluginContext context)

solves the model in the modeldefinition with this being the data source

Parameters:

context -

getSolutions

public java.util.Set<ILPMinerSolution> getSolutions()

returns the solutions found with processModel

Returns:

Solution list

getName

public static java.lang.String getName(java.lang.Class<?> strategy)

getAuthor

public static java.lang.String getAuthor(java.lang.Class<?> strategy)

getDescription

public static java.lang.String getDescription(java.lang.Class<?> strategy)

getSettingsGUI

public static java.lang.Object[] getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f,
                                                java.lang.Class<?> strategy)

Explicitly override this method in each subclass, otherwise it will not correctly acces the static properties!

Parameters:

slickerfactory - to generate a nice layout

Returns:

Model specific settings panel, Empty model specific ILPModelSettings object

addExtensionConstraints

public void addExtensionConstraints(net.sf.javailp.Problem p)

adds all the extensions constraints to the problem via reflection

Parameters:

problem -