Package edu.toronto.cs.simulator

A model simulator for XChek (Victor).

See:
          Description

Class Summary
ConditionPanel  
DummySimulator A simulator taking it's input from user.
FileSimulator A simulator reading its input from file.
SimpleVariablePanel Simple class to display variables.
StateInfoPanel This class provides the inerface to the trace tree.
TraceToolBar A tool bar for the trace viewer.
TraceTreeBrowser This class provides the inerface to the trace tree.
UserSimulator A simulator taking it's input from user.
VariablePanel Interface to be used for the displaying of variables.
XCSimulator An interface for simulators.
XCStateInfo XCStateInfo is the class used to store the state info in the trace.
XCTraceState XCTraceState is the class used to store the state info in the trace.
XCTraceTree XCTraceTree is the trace tree for the simulator.
XCTraceViewer Class used to visualize the trace for XChek.
 

Package edu.toronto.cs.simulator Description

A model simulator for XChek (Victor).

This is a rather old attemtp to build a simulator into XChek. It used to work but is not maintained and the main developer is no longer available.