org.processmining.plugins.ilpminer.templates.cplex

Class PetriNetSingleILPModel

java.lang.Object

ilog.opl.IloOplDataSource

ilog.opl.IloCustomOplDataSource

org.processmining.plugins.ilpminer.ILPModelCPLEX

org.processmining.plugins.ilpminer.templates.cplex.PetriNetSingleILPModel

Direct Known Subclasses:

EmptyAfterCompletionPetriNetSingleILPModel

public class PetriNetSingleILPModel
extends ILPModelCPLEX

Implements the abstract ILPModel class. Looks for a place for each causal dependency in the log, combined in one ILP problem.

Author:

T. van der Wiel

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	aMinusAPrime
protected int[][]	aPrime
protected java.util.ArrayList<int[]>	cd
protected boolean	initialPlace
protected int	lang
protected int	numPlaces
protected static javax.swing.JComboBox	searchTypeBox
protected int	slackWeight Should be as low as possible due to problems occuring in the solver when summations go over Integer.MAX_VALUE.
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
PetriNetSingleILPModel(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 string 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 double[][]	getValuess(ilog.concert.IloIntVarMap map, ilog.cplex.IloCplex cp, int expectedSize1stDim, int expectedSize2ndDim)
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	processModel(org.processmining.framework.plugin.PluginContext context, ilog.opl.IloOplSettings settings, ilog.cplex.IloCplex cp) Finds the solutions required for this model
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

numPlaces

protected int numPlaces

cd

protected java.util.ArrayList<int[]> cd

initialPlace

protected boolean initialPlace

slackWeight

protected int slackWeight

Should be as low as possible due to problems occuring in the solver when summations go over Integer.MAX_VALUE. Worst case lower bound is: max trace length * number of transitions * number of words in language

Constructor Detail

PetriNetSingleILPModel

public PetriNetSingleILPModel(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

getVariables

protected java.lang.String getVariables()

defines the variable types and bounds in the 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 string 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

getValuess

protected double[][] getValuess(ilog.concert.IloIntVarMap map,
                                ilog.cplex.IloCplex cp,
                                int expectedSize1stDim,
                                int expectedSize2ndDim)
                         throws ilog.concert.IloException

Throws:

ilog.concert.IloException

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)