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

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

Uses of XCTraceTree in edu.toronto.cs.simulator
 

Methods in edu.toronto.cs.simulator that return XCTraceTree
 XCTraceTree TraceTreeBrowser.getTreeModel()
          Use this as opposed to simply doing it by hand to avoid forgetting something.
 

Constructors in edu.toronto.cs.simulator with parameters of type XCTraceTree
SimpleVariablePanel(XCTraceTree t)
           
StateInfoPanel(XCTraceTree t)