| Class and Description |
|---|
| ILPMinerSettings
Storage class for the general settings of the iLog ILP miner
|
| ILPMinerSettings.SolverSetting |
| ILPMinerSettings.SolverType |
| ILPMinerSolution
Class used to store a place found as a solution by its inputarcs, its
outputarcs and the number of tokens initially present.
|
| 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)
|
| ILPModelSettings
Provides a storage for a general ILP model variant settings
|
| PrefixClosedLanguage
Represents a prefix closed language (i.e.
|
| PrefixClosedLanguage.Trace
Internally used to represent a word in the language (consisting of an
ordered list of letters)
|
| Class and Description |
|---|
| ILPMinerStrategyExtension |
| ILPMinerStrategyExtensionImpl |
| 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
|
| Class and Description |
|---|
| ILPMinerSettings.SolverSetting |
| ILPMinerSolution
Class used to store a place found as a solution by its inputarcs, its
outputarcs and the number of tokens initially present.
|
| ILPMinerStrategy |
| ILPModelCPLEX
This abstract class provides a model for the ILP problem.
|
| ILPModelSettings
Provides a storage for a general ILP model variant settings
|
| Class and Description |
|---|
| ILPMinerSettings.SolverSetting |
| ILPMinerSolution
Class used to store a place found as a solution by its inputarcs, its
outputarcs and the number of tokens initially present.
|
| ILPMinerStrategy |
| ILPModelJavaILP
This abstract class provides a model for the ILP problem.
|
| ILPModelSettings
Provides a storage for a general ILP model variant settings
|