Uses of Package
edu.toronto.cs.algebra

Packages that use edu.toronto.cs.algebra
edu.toronto.cs.algebra De Morgan algebra library. 
edu.toronto.cs.ctl CTL Abstract Syntax Tree 
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.proof2 Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) 
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. 
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.algebra
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
AlgebraValue
          A lattice value
BelnapAlgebra
           
DeMorganAlgebra
           
DeMorganTableAlgebra
           
IAlgebra
           
IntAlgebraWrapper
          Provides an int based wrapper methods to IAlgebra so that it can be used with C programs.
MinUpSet
          an upset represented by its minimal elements
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.ctl
AlgebraValue
          A lattice value
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.cudd
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.gclang.parser
AlgebraValue
          A lattice value
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.mdd
BelnapAlgebra
           
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.modelchecker
AlgebraValue
          A lattice value
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.mvset
AlgebraValue
          A lattice value
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.proof
AlgebraValue
          A lattice value
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.proof2
AlgebraValue
          A lattice value
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.simulator
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.smv
AlgebraValue
          A lattice value
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.smv.parser
IAlgebra
           
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.tlq
AlgebraValue
          A lattice value
DeMorganAlgebra
           
IAlgebra
           
MinUpSet
          an upset represented by its minimal elements
 

Classes in edu.toronto.cs.algebra used by edu.toronto.cs.xkripke
IAlgebra