|
Class Summary |
| BitVectorElement |
Representation of the elements of BitVectorLattice |
| BitVectorLattice |
Implements complete lattices of bit vectors. |
| ComposedFunction |
Implements functions by composition of two functions. |
| ConstantFunction |
Implements functions with a constant value. |
| DualPOSet |
Create partially ordered sets as dual of existing ones: invert less-than relation. |
| FlatCompleteLattice |
Creates a flat complete lattice from a set and explicit top and bottom
elements. |
| FunctionCompletePOSet |
Class for the creation of complete partially ordered sets as set of
functions with other finite (complete partially ordered) sets as
range. |
| FunctionPOSet |
Class for the creation of partially ordered sets as set of functions
with other finite (partially ordered) sets as domain and range. |
| FunctionSet |
Class for the creation of sets of functions with other finite (partially ordered)
sets as domain and range. |
| IdentityFunction |
Implements functions which always return their argument. |
| IntegerPOSet |
Class for the creation of intervals in the integers with natural
order. |
| KillGenBitVectorFunction |
Implements kill/gen functions over bit vectors. |
| LiftedCompleteLattice |
Class for the creation of lifted complete lattices by adding an unique additional
top element to a pre lattice. |
| LiftedCompletePOSet |
Class for the creation of lifted complete partially ordered sets,
which are partially ordered sets with an unique additional least
element and which are complete after this addition. |
| LiftedPOSet |
Class for the creation of lifted partially ordered sets, which are partially
ordered sets with an unique additional least element. |
| NumberSet |
Class for the set of all Number objects. |
| SimpleSet |
Class for the creation of simple sets by explicitly providing all elements. |
| StackPOSet |
Class for (maybe infinite) partially ordered sets which consists of stacks of
elements from a set. |
| StackPreLattice |
Class for (maybe infinite) pre lattices which consists of stacks of elements from
a lattice. |
| StackSet |
Class for (maybe infinite) sets which consists of stacks of elements from a set. |
| SumPOSet |
Class for creating partially ordered sets as the sum of partially ordered sets. |
| SumSet |
Class for the creation of sets as the sum of other sets. |
| TabledFunction |
This class represents functions by the table of their function values. |
| TrivialPOSet |
Class for the creation of trivial partially ordered sets, where the
less-or-equal relation is identical with the equals relation (and
hence less-than is the empty relation). |
| TupleCompleteLattice |
Class for the creation of complete lattices as tuple from other complete lattices. |
| TupleCompletePOSet |
Class for the creation of complete partially ordered sets as tuple from other
complete partially ordered sets. |
| TupleElement |
Class for representing the elements of TupleSet. |
| TupleLattice |
Class for the creation of lattices as tuple from other lattices. |
| TuplePOSet |
Class for the creation of partially ordered sets as tuple from other partially
ordered sets. |
| TupleSet |
Class for the creation of sets consisting of tuples from elements of other sets
(Cartesian product). |