Uses of Interface
edu.toronto.cs.algebra.IAlgebra

Packages that use IAlgebra
edu.toronto.cs.algebra De Morgan algebra library. 
edu.toronto.cs.cudd Hand-crafted CUDD wrapper for Java 
edu.toronto.cs.gclang.parser ANTLR parser for GCLang 
edu.toronto.cs.mdd A library for Multi-valued Decision Diagrams (MDDs). 
edu.toronto.cs.modelchecker Basic CTL model-checking engine based on MvSet 
edu.toronto.cs.mvset Provides several symbolic implementations of multi-valued sets 
edu.toronto.cs.proof Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) 
edu.toronto.cs.simulator A model simulator for XChek (Victor). 
edu.toronto.cs.smv Provides classes to represent SMV models 
edu.toronto.cs.smv.parser ANTLR parsers for SMV models 
edu.toronto.cs.tlq Classes used by TLQSolver extension of XChek 
edu.toronto.cs.xkripke Classes to represent, manipulate, and parse XML representation of XKripke structures. 
 

Uses of IAlgebra in edu.toronto.cs.algebra
 

Subinterfaces of IAlgebra in edu.toronto.cs.algebra
 interface DeMorganAlgebra
           
 

Classes in edu.toronto.cs.algebra that implement IAlgebra
 class AbstractTableAlgebra
          Implementation of a lattice that sorts its elements in topological order and builds a join table following the algorithms in Free Lattices by Ralph Freese author: Arie Gurfinkel arie@cs.toronto.edu /**** Implements all kinds of (partially) ordered set operations namely: topological sorting and computing a join table
 class BelnapAlgebra
           
 class DeMorganTableAlgebra
           
 class TwoValAlgebra
           
 

Methods in edu.toronto.cs.algebra that return IAlgebra
 IAlgebra IntAlgebraWrapper.getAlgebra()
           
static IAlgebra AlgebraCatalog.getAlgebra(java.lang.String tag)
           
 IAlgebra AlgebraValue.getParentAlgebra()
           
 

Methods in edu.toronto.cs.algebra with parameters of type IAlgebra
static java.lang.String AlgebraCatalog.getAlgebraTag(IAlgebra algebra)
           
static AlgebraValue[] AlgebraValue.newVector(IAlgebra pa, int l)
           
static void AlgebraCatalog.registerAlgebra(java.lang.String tag, IAlgebra algebra)
           
 

Constructors in edu.toronto.cs.algebra with parameters of type IAlgebra
AlgebraValue(IAlgebra _parentAlgebra, java.lang.String _name, int _id)
           
IntAlgebraWrapper(IAlgebra _algebra)
           
 

Uses of IAlgebra in edu.toronto.cs.cudd
 

Methods in edu.toronto.cs.cudd that return IAlgebra
 IAlgebra CuddAdd.getAlgebra()
           
 

Constructors in edu.toronto.cs.cudd with parameters of type IAlgebra
CuddAdd(int nvars, IAlgebra _algebra)
          Creates a new CuddAdd instance.
 

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

Methods in edu.toronto.cs.gclang.parser that return IAlgebra
 IAlgebra GCLangCompiler.getAlgebra()
           
 

Methods in edu.toronto.cs.gclang.parser with parameters of type IAlgebra
 void GCLangCompiler.setAlgebra(IAlgebra v)
           
 

Uses of IAlgebra in edu.toronto.cs.mdd
 

Constructors in edu.toronto.cs.mdd with parameters of type IAlgebra
ApplyFunctions.AboveFunction(MDDManager mddMgr, IAlgebra algebra)
           
ApplyFunctions.AlgebraFunction(MDDManager mddMgr, IAlgebra _algebra)
           
ApplyFunctions.BelowFunction(MDDManager mddMgr, IAlgebra algebra)
           
ApplyFunctions.EqualsFunction(MDDManager mddMgr, IAlgebra algebra)
           
ApplyFunctions.ImpliesFunction(MDDManager mddMgr, IAlgebra algebra)
           
ApplyFunctions.JoinFunction(MDDManager mddMgr, IAlgebra algebra)
           
ApplyFunctions.MeetFunction(MDDManager mddMgr, IAlgebra algebra)
           
ApplyFunctions.NegFunction(MDDManager _mddMgr, IAlgebra _algebra)
           
 

Uses of IAlgebra in edu.toronto.cs.modelchecker
 

Methods in edu.toronto.cs.modelchecker that return IAlgebra
 IAlgebra XKripkeStructure.getAlgebra()
           
 

Constructors in edu.toronto.cs.modelchecker with parameters of type IAlgebra
XKripkeStructure(MvRelation _trans, MvSet _init, int[] _prime, MvSet _primeCube, MvSet _unPrimeCube, java.lang.String[] _varNames, IAlgebra _algebra, int _numDDVars, int _numVars, CTLReWriter _rewriter, StatePresenter _statePresenter)
           
XKripkeStructure(MvRelation _trans, MvSet _init, int[] _prime, MvSet _primeCube, MvSet _unPrimeCube, java.lang.String[] _varNames, IAlgebra _algebra, int _numDDVars, int _numVars, CTLReWriter _rewriter, StatePresenter _statePresenter, java.lang.String _name)
           
 

Uses of IAlgebra in edu.toronto.cs.mvset
 

Methods in edu.toronto.cs.mvset that return IAlgebra
 IAlgebra JCUDDMvSetFactory.JCUDDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra MvSetFactory.getAlgebra()
          Gets the lattice for this factory.
 IAlgebra JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra MDDMvSetFactory.MDDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra JADDMvSetFactory.JADDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra MvSet.getAlgebra()
          gets the lattice for the MvSet
 IAlgebra CUADDMvSetFactory.CUADDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra AbstractMvSetFactory.getAlgebra()
           
 

Methods in edu.toronto.cs.mvset with parameters of type IAlgebra
static MvSetFactory JCUDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JCUDDBelnapMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory MDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory CUADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
 

Constructors in edu.toronto.cs.mvset with parameters of type IAlgebra
AbstractMvSetFactory(IAlgebra _algebra)
           
CUADDMvSetFactory(IAlgebra _algebra, int nvars)
           
JADDMvSetFactory(IAlgebra _algebra, int nvars)
           
JADDMvSetFactory(IAlgebra _algebra, MDDManager _mddManager)
           
JCUDDBelnapMvSetFactory(IAlgebra _algebra, int nvars)
           
JCUDDMvSetFactory(IAlgebra _algebra, int nvars)
           
MDDMvSetFactory(IAlgebra _algebra, int nvars)
           
MDDMvSetFactory(IAlgebra _algebra, MDDManager _mddManager)
           
 

Uses of IAlgebra in edu.toronto.cs.proof
 

Methods in edu.toronto.cs.proof with parameters of type IAlgebra
static void ProofStrategyCatalog.registerStrategy(java.lang.String tag, IAlgebra alg, java.lang.Class clazz)
           
 

Constructors in edu.toronto.cs.proof with parameters of type IAlgebra
GenericDisjStrategy(IAlgebra _alg)
           
 

Uses of IAlgebra in edu.toronto.cs.simulator
 

Methods in edu.toronto.cs.simulator that return IAlgebra
 IAlgebra XCTraceTree.getAlgebra()
          Gets the algebra used by states in the trace.
 

Constructors in edu.toronto.cs.simulator with parameters of type IAlgebra
XCSimulator(IAlgebra al, java.lang.String s)
           
 

Uses of IAlgebra in edu.toronto.cs.smv
 

Methods in edu.toronto.cs.smv that return IAlgebra
 IAlgebra SMVModule.getAlgebra()
           
 

Methods in edu.toronto.cs.smv with parameters of type IAlgebra
 void SMVModule.setAlgebra(IAlgebra v)
           
 void LiftAbstract.setAlgebra(IAlgebra algebra)
           
 

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

Methods in edu.toronto.cs.smv.parser that return IAlgebra
 IAlgebra SmvCompiler.getAlgebra()
           
 IAlgebra FlatSmvCompiler.getAlgebra()
           
 

Methods in edu.toronto.cs.smv.parser with parameters of type IAlgebra
 void SmvCompiler.setAlgebra(IAlgebra v)
           
 void FlatSmvCompiler.setAlgebra(IAlgebra v)
           
 

Constructors in edu.toronto.cs.smv.parser with parameters of type IAlgebra
DDBuilder(java.lang.Class _mvSetFactoryClass, IAlgebra _alg)
           
 

Uses of IAlgebra in edu.toronto.cs.tlq
 

Classes in edu.toronto.cs.tlq that implement IAlgebra
 class MvSetCrossProductAlgebra
           
 class MvSetUpsetAlgebra
           
 class UpSetAlgebra
          class UpSetAlgebra represents a large lattice of upsets Each element is encoded as an ordered list of integers, each integer corresponding to a minimal element of some lattice.
 

Uses of IAlgebra in edu.toronto.cs.xkripke
 

Methods in edu.toronto.cs.xkripke that return IAlgebra
 IAlgebra XKripke.getAlgebra()
           
 

Methods in edu.toronto.cs.xkripke with parameters of type IAlgebra
static MvSet XKripkeMvSetBuilder.buildTransition(MvSetFactory mvSetFactory, IAlgebra algebra, XKripke.XKripkeTransition trans, VariableTable vt)
           
 void XKripke.setAlgebra(IAlgebra v)