|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |