org.processmining.plugins.ilpminer.templates.cplex

Class PetriNetILPModel

java.lang.Object

ilog.opl.IloOplDataSource

ilog.opl.IloCustomOplDataSource

org.processmining.plugins.ilpminer.ILPModelCPLEX

org.processmining.plugins.ilpminer.templates.cplex.PetriNetILPModel

Direct Known Subclasses:

EmptyAfterCompletionPetriNetILPModel

public class PetriNetILPModel
extends ILPModelCPLEX

Implements the abstract ILPModel class. Looks for a place for each causal dependency in the log.

Author:

T. van der Wiel

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	aMinusAPrime
protected int[][]	aPrime
protected java.util.ArrayList<java.lang.Integer>	cd
protected boolean	initialPlace
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass>	initialPlaces
protected int	lang
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass>	notInitialPlaces
protected static javax.swing.JComboBox	searchTypeBox
protected static PetriNetILPModelSettings	strategySettings
protected int	trans

Fields inherited from class org.processmining.plugins.ilpminer.ILPModelCPLEX

extensions, factory, l, m, r, solutions, solverSettings

Fields inherited from class ilog.opl.IloOplDataSource

swigCMemOwn

Constructor Summary

Constructors

Constructor and Description
PetriNetILPModel(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 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	customRead()
protected java.lang.String	getConstraints() adds the constraints to the problem
java.lang.String	getModel()
protected java.lang.String	getObjective() adds an objective to the problem
protected java.lang.String	getPlaceConstraints()
static java.lang.Object[]	getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f, java.lang.Class<?> strategy)
protected double[]	getValues(ilog.concert.IloIntVarMap map, ilog.cplex.IloCplex cp, int expectedSize)
protected java.lang.String	getVariables() defines the variable types and bounds in the problem
void	makeData() Generates the model specific data from the generic data
protected void	processBasic(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplModelDefinition def, ilog.cplex.IloCplex cp)
protected void	processCausalDependencies(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplModelDefinition def, ilog.cplex.IloCplex cp)
protected void	processInitialPlaces(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplModelDefinition def, ilog.cplex.IloCplex cp)
protected void	processModel(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplSettings settings, ilog.cplex.IloCplex cp) Finds the solutions required for this model
protected void	processTransitions(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplModelDefinition def, ilog.cplex.IloCplex cp)
protected void	writePlaceData(ilog.opl.IloOplDataHandler handler)

Methods inherited from class org.processmining.plugins.ilpminer.ILPModelCPLEX

findPetriNetPlaces, getAuthor, getDescription, getExtensionConstraints, getName, getSolutions, loadLibraries, solve

Methods inherited from class ilog.opl.IloCustomOplDataSource

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

strategySettings

protected static PetriNetILPModelSettings strategySettings

searchTypeBox

protected static javax.swing.JComboBox searchTypeBox

trans

protected int trans

lang

protected int lang

aMinusAPrime

protected int[] aMinusAPrime

aPrime

protected int[][] aPrime

cd

protected java.util.ArrayList<java.lang.Integer> cd

initialPlaces

protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> initialPlaces

notInitialPlaces

protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> notInitialPlaces

initialPlace

protected boolean initialPlace

Constructor Detail

PetriNetILPModel

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

Method Detail

customRead

public void customRead()

Specified by:

customRead in class ilog.opl.IloCustomOplDataSource

writePlaceData

protected void writePlaceData(ilog.opl.IloOplDataHandler handler)

getModel

public java.lang.String getModel()

Specified by:

getModel in class ILPModelCPLEX

makeData

public void makeData()

Description copied from class: ILPModelCPLEX

Generates the model specific data from the generic data

Specified by:

makeData in class ILPModelCPLEX

processModel

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

Description copied from class: ILPModelCPLEX

Finds the solutions required for this model

Specified by:

processModel in class ILPModelCPLEX

processInitialPlaces

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

processBasic

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

processTransitions

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

processCausalDependencies

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

getVariables

protected java.lang.String getVariables()

defines the variable types and bounds in the problem

Parameters:

p - - problem

getObjective

protected java.lang.String getObjective()

adds an objective to the problem

getConstraints

protected java.lang.String getConstraints()

adds the constraints to the problem

getPlaceConstraints

protected java.lang.String getPlaceConstraints()

addSolution

protected ILPMinerSolution addSolution(ilog.opl.IloOplModel opl)

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

Specified by:

addSolution in class ILPModelCPLEX

Parameters:

opl - - opl model

getValues

protected double[] getValues(ilog.concert.IloIntVarMap map,
                             ilog.cplex.IloCplex cp,
                             int expectedSize)
                      throws ilog.cplex.IloCplex.UnknownObjectException,
                             ilog.concert.IloException

Throws:

ilog.cplex.IloCplex.UnknownObjectException

ilog.concert.IloException

getSettingsGUI

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