Package edu.toronto.cs.gui

Graphical Interaface to XChek multi-valued model-checker

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
 

Package edu.toronto.cs.gui Description

Graphical Interaface to XChek multi-valued model-checker