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 |