public class PetriNetVariableFitnessILPModel extends PetriNetILPModel
| Modifier and Type | Field and Description |
|---|---|
protected static PetriNetVariableFitnessILPModelSettings |
fitness |
protected static com.fluxicon.slickerbox.components.NiceDoubleSlider |
fitnessSlider |
protected java.util.Random |
rand |
protected java.util.ArrayList<java.lang.Integer> |
usedlang |
a, aPrime, cd, initialPlace, initialPlaces, lang, notInitialPlaces, searchTypeBox, strategySettings, transextensions, factory, l, m, r, solutions, solverSettings| Constructor and Description |
|---|
PetriNetVariableFitnessILPModel(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
|
protected void |
generateUsedLang() |
static java.lang.Object[] |
getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f,
java.lang.Class<?> strategy) |
void |
makeData()
Generates the model specific data from the generic data
|
addObjective, addPlaceConstraints, addSolution, addVariables, getModel, makeSolution, processBasic, processCausalDependencies, processInitialPlaces, processModel, processTransitionsaddExtensionConstraints, findPetriNetPlaces, getAuthor, getDescription, getName, getSolutions, loadLibraries, solveprotected static PetriNetVariableFitnessILPModelSettings fitness
protected static com.fluxicon.slickerbox.components.NiceDoubleSlider fitnessSlider
protected java.util.Random rand
protected java.util.ArrayList<java.lang.Integer> usedlang
public PetriNetVariableFitnessILPModel(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
public void makeData()
ILPModelJavaILPmakeData in class PetriNetILPModelprotected void generateUsedLang()
protected void addConstraints(net.sf.javailp.Problem p)
addConstraints in class PetriNetILPModelp - - problempublic static java.lang.Object[] getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f,
java.lang.Class<?> strategy)