---

BirTrace Member List

This is the complete list of members for BirTrace, including all inherited members.

• addTrans(Transformation trans) [inline]
• BirTrace(TransSystem system) (defined in BirTrace) [inline]
• BirTrace(TransSystem system, java.util.List l) (defined in BirTrace) [inline]
• choiceVector (defined in BirTrace) [private]
• completed (defined in BirTrace) [private]
• currentTrans (defined in BirTrace) [private]
• depthexceeded (defined in BirTrace) [private]
• done() [inline]
• evalExpr(Expr expr, int stateIndex) (defined in BirTrace) [inline]
• getNumActions() (defined in BirTrace) [inline]
• getState(int stateIndex) (defined in BirTrace) [inline]
• getTransSystem() (defined in BirTrace) [inline]
• getTransVector() (defined in BirTrace) [inline]
• getTrapAction() (defined in BirTrace) [inline]
• getTrapName() (defined in BirTrace) [inline]
• getTrapTrans() (defined in BirTrace) [inline]
• isComplete() (defined in BirTrace) [inline]
• isDepthExceeded() (defined in BirTrace) [inline]
• isLimitViolation() (defined in BirTrace) [inline]
• isOutOfMemory() (defined in BirTrace) [inline]
• isVectorExceeded() (defined in BirTrace) [inline]
• isVerified() (defined in BirTrace) [inline]
• limitviolation (defined in BirTrace) [private]
• numActions (defined in BirTrace) [private]
• outofmemory (defined in BirTrace) [private]
• print(boolean showStates) (defined in BirTrace) [inline]
• processTrail(java.util.List l) [inline, private]
• setChoice(int actionNum, int choiceNum) [inline]
• setDepthExceeded() (defined in BirTrace) [inline]
• setOutOfMemory() (defined in BirTrace) [inline]
• setTrap(String trapName, Transformation trapTrans, int actionNum) [inline]
• setVectorExceeded() (defined in BirTrace) [inline]
• setVerified(boolean verified) (defined in BirTrace) [inline]
• state (defined in BirTrace) [private]
• system (defined in BirTrace) [private]
• transVector (defined in BirTrace) [private]
• trapActionNum (defined in BirTrace) [private]
• trapName (defined in BirTrace) [private]
• trapTrans (defined in BirTrace) [private]
• vectorexceeded (defined in BirTrace) [private]
• verified (defined in BirTrace) [private]

---