|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XCStateInfo | |
---|---|
edu.toronto.cs.simulator | A model simulator for XChek (Victor). |
Uses of XCStateInfo in edu.toronto.cs.simulator |
---|
Methods in edu.toronto.cs.simulator that return XCStateInfo | |
---|---|
XCStateInfo |
XCTraceState.getInfo()
Retrieves the state info. |
Methods in edu.toronto.cs.simulator with parameters of type XCStateInfo | |
---|---|
void |
XCTraceState.setInfo(XCStateInfo newinfo,
boolean ms)
Sets the state info. |
CTLNode[] |
XCTraceTree.stateToArray(XCStateInfo info)
Eventually this will allow to merge siblings into one multi-state. |
Constructors in edu.toronto.cs.simulator with parameters of type XCStateInfo | |
---|---|
XCTraceState(XCTraceState par,
XCStateInfo si,
boolean ms)
Makes a trace tree node with the specified parent, children and state info. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |