org.processmining.plugins.ilpminer.templates.javailp

Class FreeChoiceILPModel

java.lang.Object

org.processmining.plugins.ilpminer.ILPModelJavaILP

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

org.processmining.plugins.ilpminer.templates.javailp.FreeChoiceILPModel

public class FreeChoiceILPModel
extends PetriNetILPModel

Extends the WorkflowILPModel class. Looks for a workflow net where for every two inputsets of a transition that have one or more places in common, these sets are equal.

Author:

T. van der Wiel

Field Summary

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
FreeChoiceILPModel(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
protected void	addSolution(net.sf.javailp.Result result, org.processmining.framework.util.Pair<java.lang.Integer,java.lang.Integer> cd) converts the Java-ILP result in a solution (place representation) and adds it to the set of found solutions, mapped to the causal dependency it represents.
static java.lang.Object[]	getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f, java.lang.Class<?> strategy)
java.util.Set<ILPMinerSolution>	getSolutions() returns the solutions found with processModel
protected void	processModel(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory) Finds the solutions required for this model

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

addObjective, addPlaceConstraints, addSolution, addVariables, getModel, makeData, makeSolution, processBasic, processCausalDependencies, processInitialPlaces, processTransitions

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FreeChoiceILPModel

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

Method Detail

processModel

protected void processModel(org.processmining.framework.plugin.PluginContext context,
                            net.sf.javailp.SolverFactory factory)

Description copied from class: ILPModelJavaILP

Finds the solutions required for this model

Overrides:

processModel 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

addSolution

protected void addSolution(net.sf.javailp.Result result,
                           org.processmining.framework.util.Pair<java.lang.Integer,java.lang.Integer> cd)

converts the Java-ILP result in a solution (place representation) and adds it to the set of found solutions, mapped to the causal dependency it represents. checks for earlier found solutions that have an outputset that is a subset of the new solution, removing these solutions and put the causal dependency back on the stack.

Parameters:

result -

cd - - the causal dependency used to find the result

getSolutions

public java.util.Set<ILPMinerSolution> getSolutions()

Description copied from class: ILPModelJavaILP

returns the solutions found with processModel

Overrides:

getSolutions in class ILPModelJavaILP

Returns:

Solution list

getSettingsGUI

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