public class FewestArcsSingleILPModel extends PetriNetSingleILPModel
a, aPrime, cd, cdCount, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, slackWeight, strategySettings, transextensions, factory, l, m, r, solutions, solverSettings| Constructor and Description |
|---|
FewestArcsSingleILPModel(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, addModel, addPlaceConstraints, addSolutions, addVariables, getModel, getSettingsGUI, makeData, makeSolution, processCausalDependencies, processInitialPlaces, processModel, processTransitionsaddExtensionConstraints, findPetriNetPlaces, getAuthor, getDescription, getName, getSolutions, loadLibraries, solvepublic FewestArcsSingleILPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
protected void addObjective(net.sf.javailp.Problem p)
PetriNetSingleILPModeladdObjective in class PetriNetSingleILPModelp - - problem