|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
De Morgan algebra library. Provides classes to represent and manipulate De Morgan algebras.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |