| Package | Description |
|---|---|
| org.processmining.plugins.astar.petrinet.impl | |
| org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express |
| Modifier and Type | Method and Description |
|---|---|
PILPTail |
PILPDelegate.createInitialTail(PHead head)
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
|
PILPTail |
PILPTail.getNextTail(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
nl.tue.astar.Head newHead,
int modelMove,
int logMove,
int activity) |
PILPTail |
PILPTailCompressor.inflate(java.io.InputStream stream) |
| Modifier and Type | Method and Description |
|---|---|
PHeadCompressor<PILPTail> |
PILPDelegate.getHeadDeflater() |
PHeadCompressor<PILPTail> |
PILPDelegate.getHeadInflater() |
| Modifier and Type | Method and Description |
|---|---|
void |
PILPTailCompressor.deflate(PILPTail tail,
java.io.OutputStream stream) |
| Modifier and Type | Method and Description |
|---|---|
<H extends nl.tue.astar.Head> |
PILPTailCompressor.inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PILPTail> delegate,
H head,
java.io.InputStream stream) |
| Modifier and Type | Method and Description |
|---|---|
protected AllOptAlignmentsGraphThread<PHead,PILPTail> |
AllOptAlignmentsGraphILPAlg.getThread(nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,PILPTail> aStar,
PHead initial,
nl.tue.astar.Trace trace,
int maxNumOfStates)
Override this method to change the thread used to compute optimal
alignments
|
| Modifier and Type | Method and Description |
|---|---|
protected AllOptAlignmentsGraphThread<PHead,PILPTail> |
AllOptAlignmentsGraphILPAlg.getThread(nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,PILPTail> aStar,
PHead initial,
nl.tue.astar.Trace trace,
int maxNumOfStates)
Override this method to change the thread used to compute optimal
alignments
|