public class PetriNetLPModel extends PetriNetILPModel
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
causalDependencies |
a, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, transextensions, factory, l, m, r, solutions, solverSettings| Constructor and Description |
|---|
PetriNetLPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addVariables(net.sf.javailp.Problem p)
defines the variable types and bounds in the problem
|
protected ILPMinerSolution |
makeSolution(net.sf.javailp.Result result)
converts the Java-ILP result in a solution (place representation)
|
addConstraints, addObjective, addPlaceConstraints, addSolution, getModel, getSettingsGUI, makeData, processBasic, processCausalDependencies, processInitialPlaces, processModel, processTransitionsaddExtensionConstraints, findPetriNetPlaces, getAuthor, getDescription, getName, getSolutions, loadLibraries, solvepublic PetriNetLPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
protected void addVariables(net.sf.javailp.Problem p)
PetriNetILPModeladdVariables in class PetriNetILPModelp - - problemprotected ILPMinerSolution makeSolution(net.sf.javailp.Result result)
PetriNetILPModelmakeSolution in class PetriNetILPModel