public class EmptyAfterCompletionPetriNetSingleILPModel extends PetriNetSingleILPModel
| Modifier and Type | Field and Description |
|---|---|
protected java.util.ArrayList<java.lang.Integer> |
maxWords |
aMinusAPrime, aPrime, cd, initialPlace, lang, numPlaces, searchTypeBox, slackWeight, strategySettings, transextensions, factory, l, m, r, solutions, solverSettings| Constructor and Description |
|---|
EmptyAfterCompletionPetriNetSingleILPModel(ilog.opl.IloOplFactory factory,
java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings) |
| 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) |
addSolution, customRead, getModel, getObjective, getPlaceConstraints, getSettingsGUI, getValues, getValuess, processModelfindPetriNetPlaces, getAuthor, getDescription, getExtensionConstraints, getName, getSolutions, loadLibraries, solvepublic EmptyAfterCompletionPetriNetSingleILPModel(ilog.opl.IloOplFactory factory,
java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
protected void writePlaceData(ilog.opl.IloOplDataHandler handler)
writePlaceData in class PetriNetSingleILPModelpublic void makeData()
ILPModelCPLEXmakeData in class PetriNetSingleILPModelprotected java.lang.String getVariables()
getVariables in class PetriNetSingleILPModelp - - problemprotected java.lang.String getConstraints()
getConstraints in class PetriNetSingleILPModel