Package edu.toronto.cs.algebra

Interface Summary
DeMorganAlgebra  
IAlgebra  
 

Class Summary
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
AlgebraCatalog Algebra catalog -- see MvSetCatalog for description of what a catalog is.
AlgebraValue A lattice value
BelnapAlgebra  
DeMorganTableAlgebra  
IntAlgebraWrapper Provides an int based wrapper methods to IAlgebra so that it can be used with C programs.
IntBelnapAlgebraWrapper 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
TwoValAlgebra  
XMLDeMorganAlgebraParser Parses XML representation of the lattice XXX Needs serious rewrite