| Class | Description |
|---|---|
| ILPMiner |
This plugin uses the Java-ILP library in order to execute ILP problems that
will generate petrinet places.
|
| ILPMinerLogPetrinetConnection | |
| ILPMinerSettings |
Storage class for the general settings of the iLog ILP miner
|
| ILPMinerSolution |
Class used to store a place found as a solution by its inputarcs, its
outputarcs and the number of tokens initially present.
|
| ILPMinerStrategyManager | |
| ILPMinerUI |
This class generates a GUI for the ILPMiner plugin, showing a combobox with
the available ILP variants and their settings as well as a list of available
ILP model extensions, and the settings for which solver to use Add the ILP
model file class to the models array to make it available via the GUI
|
| ILPModelCPLEX |
This abstract class provides a model for the ILP problem.
|
| ILPModelExtension |
Provides an extension to a (set of) ILP problems by adding constraints only.
|
| ILPModelJavaILP |
This abstract class provides a model for the ILP problem.
|
| ILPModelSettings |
Provides a storage for a general ILP model variant settings
|
| LogPrefixclosedlanguageConnection | |
| PrefixClosedLanguage |
Represents a prefix closed language (i.e.
|
| Enum | Description |
|---|---|
| ILPMinerSettings.SolverSetting | |
| ILPMinerSettings.SolverType | |
| ILPMinerUI.ExtensionProperties |
Enumeration for ILP model extension extra properties (for easy retrieval
via the ExtensionListBoxItem class)
|
| ILPMinerUI.Properties |
Enumeration for ILP model variant properties (for easy retrieval via the
ListBoxItem class)
|
| Annotation Type | Description |
|---|---|
| ILPMinerStrategy | |
| ILPMinerStrategyExtension | |
| ILPMinerStrategyExtensionImpl |