Package edu.toronto.cs.algebra

De Morgan algebra library.

See:
          Description

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  
IAlgebraBeanInfo  
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
 

Package edu.toronto.cs.algebra Description

De Morgan algebra library. Provides classes to represent and manipulate De Morgan algebras.