public class FewestArcsILPModel extends PetriNetILPModel
a, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, transextensions, factory, l, m, r, solutions, solverSettings| Constructor and Description |
|---|
FewestArcsILPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addObjective(net.sf.javailp.Problem p)
adds an objective to the problem
|
addConstraints, addPlaceConstraints, addSolution, addVariables, getModel, getSettingsGUI, makeData, makeSolution, processBasic, processCausalDependencies, processInitialPlaces, processModel, processTransitionsaddExtensionConstraints, findPetriNetPlaces, getAuthor, getDescription, getName, getSolutions, loadLibraries, solvepublic FewestArcsILPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
protected void addObjective(net.sf.javailp.Problem p)
PetriNetILPModeladdObjective in class PetriNetILPModelp - - problem