org.processmining.plugins.ilpminer

Class ILPModelCPLEX

java.lang.Object

ilog.opl.IloOplDataSource

ilog.opl.IloCustomOplDataSource

org.processmining.plugins.ilpminer.ILPModelCPLEX

Direct Known Subclasses:

PetriNetILPModel, PetriNetSingleILPModel

public abstract class ILPModelCPLEX
extends ilog.opl.IloCustomOplDataSource

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 ilog.opl.IloOplFactory	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

Fields inherited from class ilog.opl.IloOplDataSource

swigCMemOwn

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected abstract ILPMinerSolution	addSolution(ilog.opl.IloOplModel opl) converts the CPLEX result in a solution (place representation) and adds it to the set of found solutions
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)
java.lang.String	getExtensionConstraints() adds all the extensions constraints to the problem via reflection
abstract java.lang.String	getModel()
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
static void	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, ilog.opl.IloOplSettings settings, ilog.cplex.IloCplex cp) Finds the solutions required for this model
protected ILPMinerSolution	solve(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplModelDefinition def, ilog.cplex.IloCplex cp) solves the model in the modeldefinition with this being the data source

Methods inherited from class ilog.opl.IloCustomOplDataSource

customRead, getDataHandler

Methods inherited from class ilog.opl.IloOplDataSource

delete, end, finalize, getCPtr, getDataSourceName, getPrepare, hasPrepare, read, setDataHandler, setErrorHandler, setImpl, setOwn

Methods inherited from class java.lang.Object

clone, equals, 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 ilog.opl.IloOplFactory factory

Constructor Detail

ILPModelCPLEX

public ILPModelCPLEX(ilog.opl.IloOplFactory factory,
                     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 -

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,
                               ilog.concert.IloException

Builds the ILP problem and executes it.

Parameters:

indices - - mapping between eventclasses and integers

l - - PFC Language

relations -

context -

Throws:

java.io.IOException

ilog.concert.IloException

getModel

public abstract java.lang.String getModel()

loadLibraries

public static void 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

Throws:

java.io.IOException

processModel

protected abstract void processModel(org.processmining.framework.plugin.PluginContext context,
                                     ilog.opl.IloOplSettings settings,
                                     ilog.cplex.IloCplex cp)

Finds the solutions required for this model

Parameters:

context -

settings -

cp -

solve

protected ILPMinerSolution solve(org.processmining.framework.plugin.PluginContext context,
                                 ilog.opl.IloOplModelDefinition def,
                                 ilog.cplex.IloCplex cp)

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

Parameters:

context -

def - - opl model definition

cp -

addSolution

protected abstract ILPMinerSolution addSolution(ilog.opl.IloOplModel opl)

converts the CPLEX result in a solution (place representation) and adds it to the set of found solutions

Parameters:

opl - - opl model

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

getExtensionConstraints

public java.lang.String getExtensionConstraints()

adds all the extensions constraints to the problem via reflection

Parameters:

problem -