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

Packages that use XCTraceState
edu.toronto.cs.simulator A model simulator for XChek (Victor). 
 

Uses of XCTraceState in edu.toronto.cs.simulator
 

Methods in edu.toronto.cs.simulator that return XCTraceState
 XCTraceState XCTraceState.getChild(int index)
          Retrieves the next state by its index.
 XCTraceState[] XCTraceState.getChildren()
          Gets all the next states that are available.
 XCTraceState XCTraceTree.getLastAdded()
          Returns the last node added to the tree.
 XCTraceState XCTraceState.getParent()
          Gets the previous state from the trace.
 XCTraceState TraceTreeBrowser.getSelectedState()
          Gets the currently selected state.
 XCTraceState XCTraceState.remove()
          Removes the node (with the entire sub-tree) from it's parent.
 XCTraceState XCTraceTree.remove(XCTraceState s)
          Removes the trace tree rooted at the state s (state s included except when s is the root).
 XCTraceState XCTraceTree.split(XCTraceState state, CTLNode condition)
          Given a (multi-)state will attempt to split a single state off of it, modifying the tree accordingly (add 2 siblings in place of the old state).
 

Methods in edu.toronto.cs.simulator with parameters of type XCTraceState
 void XCTraceState.addChild(XCTraceState child)
          Adds another next state.
 void XCTraceTree.addChild(XCTraceState parent, XCTraceState child)
          Adds a new child to the specified parent in the tree.
 void XCTraceTree.expand(XCTraceState state, CTLNode condition)
          Given some initial state will add the successor states (as one multistate) satisfying the condition.
 void XCTraceTree.expandOne(XCTraceState state, CTLNode condition)
          Given some initial state will pick one of the successor states satisfying the condition and add it as a child.
 int XCTraceState.getChildIndex(XCTraceState state)
          Retrieves the specified next state's index.
 javax.swing.tree.TreePath XCTraceTree.getPath(XCTraceState s)
          Returns the path from the root of the trace to the specified state.
 void DummySimulator.makeStep(XCTraceState s)
          Trivial condition.
 void FileSimulator.makeStep(XCTraceState s)
          Returns the condition to execute the current step fromt he given state.
 void UserSimulator.makeStep(XCTraceState s)
          Trivial implementation.
abstract  void XCSimulator.makeStep(XCTraceState s)
          Returns the condition to execute the current step from the given state.
 XCTraceState XCTraceTree.remove(XCTraceState s)
          Removes the trace tree rooted at the state s (state s included except when s is the root).
 void XCTraceState.setParent(XCTraceState newparent)
          Allows to specify the previous state in the trace.
 void SimpleVariablePanel.show(XCTraceState s)
          Displays the variables from the StateInfo.
 void StateInfoPanel.show(XCTraceState state)
          Displays the information about the given state.
abstract  void VariablePanel.show(XCTraceState s)
          Displays the variables from the StateInfo.
 XCTraceState XCTraceTree.split(XCTraceState state, CTLNode condition)
          Given a (multi-)state will attempt to split a single state off of it, modifying the tree accordingly (add 2 siblings in place of the old state).
 

Constructors in edu.toronto.cs.simulator with parameters of type XCTraceState
XCTraceState(XCTraceState par, XCStateInfo si, boolean ms)
          Makes a trace tree node with the specified parent, children and state info.