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

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

Uses of XCSimulator in edu.toronto.cs.simulator
 

Subclasses of XCSimulator in edu.toronto.cs.simulator
 class DummySimulator
          A simulator taking it's input from user.
 class FileSimulator
          A simulator reading its input from file.
 class UserSimulator
          A simulator taking it's input from user.
 

Methods in edu.toronto.cs.simulator with parameters of type XCSimulator
 void TraceTreeBrowser.runScript(XCSimulator sim)
          ....
 void TraceTreeBrowser.setSimulator(XCSimulator s)
          Set the simulator to be used for model exploration.