Package | Description |
---|---|
org.processmining.mixedparadigm.algorithms.replayer |
Modifier and Type | Method and Description |
---|---|
PAutomataTail |
PILPDelegateAutomata.createInitialTail(org.processmining.plugins.astar.petrinet.impl.PHead head) |
PAutomataTail |
PAutomataTail.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) |
PAutomataTail |
PAutomataTailCompressor.inflate(java.io.InputStream stream) |
Modifier and Type | Method and Description |
---|---|
protected org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail> |
PILPDelegateAutomata.constructHeadCompressor(short places,
short activities) |
org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail> |
PILPDelegateAutomata.getHeadDeflater() |
org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<PAutomataTail> |
PILPDelegateAutomata.getHeadInflater() |
nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>> |
PILPDelegateAutomata.getStorage() |
nl.tue.storage.Deflater<PAutomataTail> |
PILPDelegateAutomata.getTailDeflater() |
nl.tue.astar.impl.memefficient.TailInflater<PAutomataTail> |
PILPDelegateAutomata.getTailInflater() |
Modifier and Type | Method and Description |
---|---|
void |
PAutomataTailCompressor.deflate(PAutomataTail tail,
java.io.OutputStream stream) |
Modifier and Type | Method and Description |
---|---|
<H extends nl.tue.astar.Head> |
PAutomataTailCompressor.inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PAutomataTail> delegate,
H head,
java.io.InputStream stream) |
void |
PILPDelegateAutomata.setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,PAutomataTail>> statespace) |