public class PetriNetILPModel extends ILPModelJavaILP
Modifier and Type | Field and Description |
---|---|
int[][] |
a |
int[][] |
aPrime |
java.util.ArrayList<java.lang.Integer> |
cd |
protected boolean |
initialPlace |
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> |
initialPlaces |
int |
lang |
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> |
notInitialPlaces |
protected static org.processmining.plugins.ilpminer.templates.PetriNetILPModelSettings |
strategySettings |
int |
trans |
extensions, factory, l, m, r, solutions, solverSettings
Constructor and Description |
---|
PetriNetILPModel(java.lang.Class<?>[] extensions,
java.util.Map<org.processmining.plugins.ilpminer.ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
org.processmining.plugins.ilpminer.ILPModelSettings settings) |
Modifier and Type | Method and Description |
---|---|
protected void |
addConstraints(net.sf.javailp.Problem p)
adds the constraints to the problem
|
protected void |
addObjective(net.sf.javailp.Problem p)
adds an objective to the problem
|
protected void |
addPlaceConstraints(net.sf.javailp.Problem p) |
protected void |
addSolution(net.sf.javailp.Result result)
converts the Java-ILP result in a solution (place representation) and
adds it to the set of found solutions
|
protected void |
addVariables(net.sf.javailp.Problem p)
defines the variable types and bounds in the problem
|
net.sf.javailp.Problem |
getModel()
Returns the model instantiated via the Java-ILP interface
|
void |
makeData()
Generates the model specific data from the generic data
|
protected org.processmining.plugins.ilpminer.ILPMinerSolution |
makeSolution(net.sf.javailp.Result result)
converts the Java-ILP result in a solution (place representation)
|
protected void |
processBasic(org.processmining.framework.plugin.PluginContext context) |
protected void |
processCausalDependencies(org.processmining.framework.plugin.PluginContext context) |
protected void |
processInitialPlaces(org.processmining.framework.plugin.PluginContext context) |
protected void |
processModel(org.processmining.framework.plugin.PluginContext context,
net.sf.javailp.SolverFactory factory)
Finds the solutions required for this model
|
protected void |
processTransitions(org.processmining.framework.plugin.PluginContext context,
boolean beforeTrans) |
addExtensionConstraints, findPetriNetPlaces, getName, getSolutions, loadLibraries, solve
protected static org.processmining.plugins.ilpminer.templates.PetriNetILPModelSettings strategySettings
public int trans
public int lang
public int[][] a
public int[][] aPrime
public java.util.ArrayList<java.lang.Integer> cd
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> initialPlaces
protected java.util.ArrayList<org.deckfour.xes.classification.XEventClass> notInitialPlaces
protected boolean initialPlace
public PetriNetILPModel(java.lang.Class<?>[] extensions, java.util.Map<org.processmining.plugins.ilpminer.ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings, org.processmining.plugins.ilpminer.ILPModelSettings settings)
public net.sf.javailp.Problem getModel()
ILPModelJavaILP
getModel
in class ILPModelJavaILP
public void makeData()
ILPModelJavaILP
makeData
in class ILPModelJavaILP
protected void processModel(org.processmining.framework.plugin.PluginContext context, net.sf.javailp.SolverFactory factory)
ILPModelJavaILP
processModel
in class ILPModelJavaILP
protected void processInitialPlaces(org.processmining.framework.plugin.PluginContext context)
protected void processBasic(org.processmining.framework.plugin.PluginContext context)
protected void processTransitions(org.processmining.framework.plugin.PluginContext context, boolean beforeTrans)
protected void processCausalDependencies(org.processmining.framework.plugin.PluginContext context)
protected void addVariables(net.sf.javailp.Problem p)
p
- - problemprotected void addObjective(net.sf.javailp.Problem p)
p
- - problemprotected void addConstraints(net.sf.javailp.Problem p)
p
- - problemprotected void addPlaceConstraints(net.sf.javailp.Problem p)
protected void addSolution(net.sf.javailp.Result result)
result
- protected org.processmining.plugins.ilpminer.ILPMinerSolution makeSolution(net.sf.javailp.Result result)
result
-