org.processmining.plugins.ilpminer.templates.cplex

Class EmptyAfterCompletionPetriNetILPModel

java.lang.Object

ilog.opl.IloOplDataSource

ilog.opl.IloCustomOplDataSource

org.processmining.plugins.ilpminer.ILPModelCPLEX

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

org.processmining.plugins.ilpminer.templates.cplex.EmptyAfterCompletionPetriNetILPModel

public class EmptyAfterCompletionPetriNetILPModel
extends PetriNetILPModel

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 java.util.ArrayList<java.lang.Integer>	maxWords

Fields inherited from class org.processmining.plugins.ilpminer.templates.cplex.PetriNetILPModel

aMinusAPrime, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, 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
EmptyAfterCompletionPetriNetILPModel(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 java.lang.String	getConstraints() adds the constraints to the problem
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	writePlaceData(ilog.opl.IloOplDataHandler handler)

Methods inherited from class org.processmining.plugins.ilpminer.templates.cplex.PetriNetILPModel

addSolution, customRead, getModel, getObjective, getPlaceConstraints, getSettingsGUI, getValues, processBasic, processCausalDependencies, processInitialPlaces, processModel, processTransitions

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

maxWords

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

Constructor Detail

EmptyAfterCompletionPetriNetILPModel

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

Method Detail

writePlaceData

protected void writePlaceData(ilog.opl.IloOplDataHandler handler)

Overrides:

writePlaceData in class PetriNetILPModel

makeData

public void makeData()

Description copied from class: ILPModelCPLEX

Generates the model specific data from the generic data

Overrides:

makeData in class PetriNetILPModel

getVariables

protected java.lang.String getVariables()

defines the variable types and bounds in the problem

Overrides:

getVariables in class PetriNetILPModel

Parameters:

p - - problem

getConstraints

protected java.lang.String getConstraints()

adds the constraints to the problem

Overrides:

getConstraints in class PetriNetILPModel