|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
GrappaFrame | A frame to display and manipulate a grappa graph |
ImagePanel | ImagePanel.java Created: Wed Jun 26 13:58:59 2002 |
InputPanel | The CTL input panel for our Model-Checker. |
KEGTreeFrame | |
OptionsPanel | The runtime options panel for our Model-Checker. |
OutputPanel | The CTL output panel for our Model-Checker. |
ProofTreeFrame | |
XChekGUI | The GUI |
XChekMenuBar | The menu for our Model-Checker. |
XChekToolbar | XChekToolbar.java.java A toolbar for the model-checker GUI Based on XCToolbar by Tafliovich Anya |
XPreferencesPresenter | Preferences Dialog for XChek |
Graphical Interaface to XChek multi-valued model-checker
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |