public abstract class ILPModelJavaILP
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.Class<?>[] |
extensions |
protected net.sf.javailp.SolverFactory |
factory |
protected PrefixClosedLanguage |
l |
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> |
m |
protected org.processmining.plugins.log.logabstraction.LogRelations |
r |
protected java.util.Set<ILPMinerSolution> |
solutions |
protected java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> |
solverSettings |
| Constructor and Description |
|---|
ILPModelJavaILP(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings) |
| Modifier and Type | Method and Description |
|---|---|
void |
addExtensionConstraints(net.sf.javailp.Problem p)
adds all the extensions constraints to the problem via reflection
|
void |
findPetriNetPlaces(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> indices,
PrefixClosedLanguage pfclang,
org.processmining.plugins.log.logabstraction.LogRelations relations,
org.processmining.framework.plugin.PluginContext context)
Builds the ILP problem and executes it.
|
static java.lang.String |
getAuthor(java.lang.Class<?> strategy) |
static java.lang.String |
getDescription(java.lang.Class<?> strategy) |
abstract net.sf.javailp.Problem |
getModel()
Returns the model instantiated via the Java-ILP interface
|
static java.lang.String |
getName(java.lang.Class<?> strategy) |
static java.lang.Object[] |
getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f,
java.lang.Class<?> strategy)
Explicitly override this method in each subclass, otherwise it will not
correctly acces the static properties!
|
java.util.Set<ILPMinerSolution> |
getSolutions()
returns the solutions found with processModel
|
protected net.sf.javailp.SolverFactory |
loadLibraries()
Loads the required jar and dll files (from the location) provided by the
user via the settings if not loaded already and creates a solverfactory
|
abstract void |
makeData()
Generates the model specific data from the generic data
|
protected abstract void |
processModel(org.processmining.framework.plugin.PluginContext context,
net.sf.javailp.SolverFactory factory)
Finds the solutions required for this model
|
protected net.sf.javailp.Result |
solve(org.processmining.framework.plugin.PluginContext context)
solves the model in the modeldefinition with this being the data source
|
protected java.util.Set<ILPMinerSolution> solutions
protected java.lang.Class<?>[] extensions
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> m
protected PrefixClosedLanguage l
protected org.processmining.plugins.log.logabstraction.LogRelations r
protected java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings
protected net.sf.javailp.SolverFactory factory
public ILPModelJavaILP(java.lang.Class<?>[] extensions,
java.util.Map<ILPMinerSettings.SolverSetting,java.lang.Object> solverSettings,
ILPModelSettings settings)
public abstract void makeData()
indices - l - relations - public abstract net.sf.javailp.Problem getModel()
public void findPetriNetPlaces(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> indices,
PrefixClosedLanguage pfclang,
org.processmining.plugins.log.logabstraction.LogRelations relations,
org.processmining.framework.plugin.PluginContext context)
throws java.io.IOException
indices - mapping between eventclasses and integersl - PFC Languagerelations - context - java.io.IOExceptionprotected net.sf.javailp.SolverFactory loadLibraries()
throws java.io.IOException
java.io.IOExceptionprotected abstract void processModel(org.processmining.framework.plugin.PluginContext context,
net.sf.javailp.SolverFactory factory)
context - factory - protected net.sf.javailp.Result solve(org.processmining.framework.plugin.PluginContext context)
context - public java.util.Set<ILPMinerSolution> getSolutions()
public static java.lang.String getName(java.lang.Class<?> strategy)
public static java.lang.String getAuthor(java.lang.Class<?> strategy)
public static java.lang.String getDescription(java.lang.Class<?> strategy)
public static java.lang.Object[] getSettingsGUI(com.fluxicon.slickerbox.factory.SlickerFactory f,
java.lang.Class<?> strategy)
slickerfactory - to generate a nice layoutpublic void addExtensionConstraints(net.sf.javailp.Problem p)
problem -