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