Uses of Class
edu.toronto.cs.modelchecker.XKripkeStructure

Packages that use XKripkeStructure
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.modelchecker Basic CTL model-checking engine based on MvSet 
edu.toronto.cs.proof Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) 
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 XKripkeStructure in edu.toronto.cs.beans
 

Methods in edu.toronto.cs.beans that return XKripkeStructure
 XKripkeStructure XMLBeanModelCompiler.compile()
           
 

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

Methods in edu.toronto.cs.gclang.parser that return XKripkeStructure
 XKripkeStructure GCLangCompiler.compile()
           
 

Uses of XKripkeStructure in edu.toronto.cs.gui
 

Methods in edu.toronto.cs.gui that return XKripkeStructure
 XKripkeStructure XChekGUI.getXKripke()
           
 

Uses of XKripkeStructure in edu.toronto.cs.modelchecker
 

Methods in edu.toronto.cs.modelchecker that return XKripkeStructure
 XKripkeStructure ModelCompiler.compile()
           
 XKripkeStructure MvSetModelChecker.getXKripke()
           
 

Constructors in edu.toronto.cs.modelchecker with parameters of type XKripkeStructure
MvSetModelChecker(XKripkeStructure model)
           
 

Uses of XKripkeStructure in edu.toronto.cs.proof
 

Methods in edu.toronto.cs.proof that return XKripkeStructure
static XKripkeStructure ProofStepFactory.getStructure()
           
 

Methods in edu.toronto.cs.proof with parameters of type XKripkeStructure
static void ProofStepFactory.setStructure(XKripkeStructure _model)
           
 

Uses of XKripkeStructure in edu.toronto.cs.smv
 

Methods in edu.toronto.cs.smv that return XKripkeStructure
 XKripkeStructure SMVModule.compile()
           
 

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

Methods in edu.toronto.cs.smv.parser that return XKripkeStructure
 XKripkeStructure SmvCompiler.compile()
           
 XKripkeStructure FlatSmvCompiler.compile()
           
 

Uses of XKripkeStructure in edu.toronto.cs.xkripke
 

Methods in edu.toronto.cs.xkripke that return XKripkeStructure
 XKripkeStructure XMLXKripkeModelCompiler.compile()