byte[] |
StateBuilder.execute(byte[] state,
int node,
StateBuilder.StateQueue queue)
execute the given node.
|
protected boolean |
StateBuilder.executeAND(int node,
StateBuilder.StateQueue queue,
byte[] newState,
boolean immediateTermination) |
protected boolean |
StateBuilder.executeILV(int node,
StateBuilder.StateQueue queue,
byte[] newState,
boolean immediateTermination) |
protected void |
StateBuilder.executeLOOP(int node,
StateBuilder.StateQueue queue,
byte[] newState) |
protected boolean |
StateBuilder.executeREVSEQ(int node,
StateBuilder.StateQueue queue,
byte[] newState,
boolean immediateTermination) |
protected boolean |
StateBuilder.executeSEQ(int node,
StateBuilder.StateQueue queue,
byte[] newState,
boolean immediateTermination) |
protected void |
StateBuilder.executeXORandInitialOR(int node,
StateBuilder.StateQueue queue,
byte[] newState) |
protected void |
StateBuilder.processEmptySubtree(byte[] state,
NAryTree tree,
StateBuilder.StateQueue queue,
int p) |
protected void |
StateBuilder.processFinishedSubtree(byte[] state,
NAryTree tree,
int node,
StateBuilder.StateQueue queue) |
protected void |
StateBuilder.processFinishedSubtreeIlv(byte[] state,
NAryTree tree,
StateBuilder.StateQueue queue,
int p) |
protected void |
StateBuilder.processFinishedSubtreeLoop(byte[] state,
NAryTree tree,
int node,
StateBuilder.StateQueue queue,
int p) |
protected void |
StateBuilder.processFinishedSubtreeOr(byte[] state,
NAryTree tree,
StateBuilder.StateQueue queue,
int p) |
protected void |
StateBuilder.processFinishedSubtreeRevSeq(byte[] state,
NAryTree tree,
int node,
StateBuilder.StateQueue queue,
int p) |
protected void |
StateBuilder.processFinishedSubtreeSeq(byte[] state,
NAryTree tree,
int node,
StateBuilder.StateQueue queue,
int p) |