public class EmptyAfterCompletionILPModel extends PetriNetILPModel
| Modifier and Type | Field and Description |
|---|---|
protected java.util.ArrayList<int[]> |
maxWords |
a, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, transextensions, factory, l, m, r, solutions, solverSettings| Constructor and Description |
|---|
EmptyAfterCompletionILPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings) |
| 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
|
addObjective, addPlaceConstraints, addSolution, addVariables, getModel, getSettingsGUI, makeSolution, processBasic, processCausalDependencies, processInitialPlaces, processModel, processTransitionsaddExtensionConstraints, findPetriNetPlaces, getAuthor, getDescription, getName, getSolutions, loadLibraries, solvepublic EmptyAfterCompletionILPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
public void makeData()
ILPModelJavaILPmakeData in class PetriNetILPModelprotected void addConstraints(net.sf.javailp.Problem p)
PetriNetILPModeladdConstraints in class PetriNetILPModelp - - problem