public class NAryTreePostProcessor<H extends NAryTreeHead,T extends nl.tue.astar.Tail> extends StateBuilder
StateBuilder.StateQueue
Modifier and Type | Field and Description |
---|---|
protected int[] |
aSyncMoveCount |
protected TreeDelegate<H,T> |
delegate |
protected java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> |
marking2modelmove |
protected java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> |
marking2treenode |
protected gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> |
marking2visitCount |
protected int[] |
moveCount |
protected int[] |
syncMoveCount |
configurationNumber, E, F, MEMORYLESSQUEUE, N, P, queue, T, tree, treeSize
Constructor and Description |
---|
NAryTreePostProcessor(TreeDelegate<H,T> delegate,
NAryTree tree,
int configurationNumber,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
Modifier and Type | Method and Description |
---|---|
void |
process(NAryTreeReplayer<H,T,?> replayer,
NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
protected void |
processAlignment(NAryTreeReplayer<H,T,?> aStar,
TreeRecord rec,
int frequency,
ModelPrefix prefix) |
buildStateSpace, enabledIterator, enabledIterator, enabledIterator, equals, execute, execute, executeAll, executeAND, executeILV, executeLOOP, executeORTermination, executeREVSEQ, executeSEQ, executeXORandInitialOR, futureIterator, getConfigurationNumber, getQueue, getState, getStateSizeInBytes, getTree, hashCode, initializeState, isAllowImplicitOrTermination, isEnabled, isFinal, isPushDownUnderAND, main, processChoiceExecution, processEmptySubtree, processFinishedSubtree, processFinishedSubtreeIlv, processFinishedSubtreeLoop, processFinishedSubtreeOr, processFinishedSubtreeRevSeq, processFinishedSubtreeSeq, setAllowImplicitOrTermination, setPushDownUnderAND, toString
protected final java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove
protected final gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount
protected final java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2treenode
protected final int[] syncMoveCount
protected final int[] aSyncMoveCount
protected final int[] moveCount
protected final TreeDelegate<H extends NAryTreeHead,T extends nl.tue.astar.Tail> delegate
public NAryTreePostProcessor(TreeDelegate<H,T> delegate, NAryTree tree, int configurationNumber, java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove, gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount, int[] syncMoveCount, int[] aSyncMoveCount, int[] moveCount, java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments)
public void process(NAryTreeReplayer<H,T,?> replayer, NAryTreeReplayer.VerboseLevel verbose, nl.tue.astar.Trace trace, TreeRecord r, int frequency)
protected void processAlignment(NAryTreeReplayer<H,T,?> aStar, TreeRecord rec, int frequency, ModelPrefix prefix)