Uses of Interface
edu.toronto.cs.modelchecker.ModelCompiler

Packages that use ModelCompiler
edu.toronto.cs.beans Beans for XChek GUI 
edu.toronto.cs.gclang.parser ANTLR parser for GCLang 
edu.toronto.cs.gui Graphical Interaface to XChek multi-valued model-checker 
edu.toronto.cs.smv Provides classes to represent SMV models 
edu.toronto.cs.smv.parser ANTLR parsers for SMV models 
edu.toronto.cs.xkripke Classes to represent, manipulate, and parse XML representation of XKripke structures. 
 

Uses of ModelCompiler in edu.toronto.cs.beans
 

Classes in edu.toronto.cs.beans that implement ModelCompiler
 class XMLBeanModelCompiler
           
 

Methods in edu.toronto.cs.beans that return ModelCompiler
 ModelCompiler ModelCompilerPropertyDialog.getModelCompiler()
           
 ModelCompiler ModelCompilerPropertySheet.getModelCompiler()
          Initializes the model compiler based on user choices
 

Constructors in edu.toronto.cs.beans with parameters of type ModelCompiler
ModelCompilerPropertyDialog(javax.swing.JFrame owner, ModelCompiler modelCompiler)
           
ModelCompilerPropertySheet(ModelCompiler modelCompiler)
           
 

Uses of ModelCompiler in edu.toronto.cs.gclang.parser
 

Classes in edu.toronto.cs.gclang.parser that implement ModelCompiler
 class GCLangCompiler
           
 

Uses of ModelCompiler in edu.toronto.cs.gui
 

Methods in edu.toronto.cs.gui with parameters of type ModelCompiler
 void XChekGUI.setModelCompiler(ModelCompiler v)
           
 

Uses of ModelCompiler in edu.toronto.cs.smv
 

Classes in edu.toronto.cs.smv that implement ModelCompiler
 class AxelEx1a
           
 class AxelEx1b
           
 class AxelEx2
           
 class AxelEx4
           
 class ConcurExample
           
 class FairTester
           
 class Game
           
 class Helmut
           
 class Lift
           
 class LiftAbstract
           
 class MainLift
           
 class MyGame
           
 class OneBtn
           
 class Simple
           
 class SMVModule
          Class representing an SMV module
 

Uses of ModelCompiler in edu.toronto.cs.smv.parser
 

Classes in edu.toronto.cs.smv.parser that implement ModelCompiler
 class FlatSmvCompiler
          Depricated
 class SmvCompiler
           
 

Uses of ModelCompiler in edu.toronto.cs.xkripke
 

Classes in edu.toronto.cs.xkripke that implement ModelCompiler
 class XMLXKripkeModelCompiler