Uses of Class
edu.toronto.cs.simulator.XCStateInfo

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.