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

Packages that use IAlgebra
edu.toronto.cs.algebra   
edu.toronto.cs.cfa   
edu.toronto.cs.cudd   
edu.toronto.cs.gclang.parser   
edu.toronto.cs.mdd   
edu.toronto.cs.modelchecker   
edu.toronto.cs.mvset   
edu.toronto.cs.tlq   
 

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.cfa
 

Methods in edu.toronto.cs.cfa that return IAlgebra
 IAlgebra CFAMvSetFactory.CFAMvSet.getAlgebra()
           
 

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 AbstractMvSetFactory.getAlgebra()
           
 IAlgebra CUADDMvSetFactory.CUADDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra JADDMvSetFactory.JADDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra JCUDDMvSetFactory.JCUDDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra MDDMvSetFactory.MDDMvSet.getAlgebra()
          get the lattice for the MvSet
 IAlgebra MvSet.getAlgebra()
          gets the lattice for the MvSet
 IAlgebra MvSetFactory.getAlgebra()
          Gets the lattice for this factory.
 

Methods in edu.toronto.cs.mvset with parameters of type IAlgebra
static MvSetFactory CUADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JCUDDBelnapMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JCUDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory MDDMvSetFactory.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.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.