org.processmining.plugins.ilpminer.templates.javailp

Class EmptyAfterCompletionILPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

org.processmining.plugins.ilpminer.templates.javailp.PetriNetILPModel

org.processmining.plugins.ilpminer.templates.javailp.EmptyAfterCompletionILPModel

public class EmptyAfterCompletionILPModel
extends PetriNetILPModel

Extends the WorkflowILPModel class. Looks for a workflow net where it is guaranteed that after completion the net is empty. (i.e. after firing any trace in the log, the net is empty)

Author:

T. van der Wiel

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.ArrayList<int[]>	maxWords

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

a, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, trans

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected void	addConstraints(net.sf.javailp.Problem p) adds the constraints to the problem
void	makeData() Generates the model specific data from the generic data

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

addObjective, addPlaceConstraints, addSolution, addVariables, getModel, getSettingsGUI, makeSolution, processBasic, processCausalDependencies, processInitialPlaces, processModel, processTransitions

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

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

Methods inherited from class java.lang.Object

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

Field Detail

maxWords

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

Constructor Detail

EmptyAfterCompletionILPModel

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

Method Detail

makeData

public void makeData()

Description copied from class: ILPModelJavaILP

Generates the model specific data from the generic data

Overrides:

makeData in class PetriNetILPModel

addConstraints

protected void addConstraints(net.sf.javailp.Problem p)

Description copied from class: PetriNetILPModel

adds the constraints to the problem

Overrides:

addConstraints in class PetriNetILPModel

Parameters:

p - - problem