Package de.rwth.domains

This package contains interfaces for modelling the mathematical structures.

See:
Description

Interface Summary

CompleteLattice	Interface for complete lattices.
CompletePOSet	Interface for complete partially ordered sets.
Function	Interface for describing mathematical functions.
Lattice	Interface for lattices.
LowerSemiLattice	Interface for lower semi lattices.
POSet	Interface for partially ordered sets.
PreLattice	Interface for pre lattices.
PreLowerSemiLattice	Interface for pre lower semi lattices.
PreUpperSemiLattice	Interface for pre upper semi lattices.
Set	Interface for modeling mathematical sets.
UpperSemiLattice	Interface for upper semi lattices.

Class Summary

Domain	This class contains methods for debugging and visualisation of implementations for the interfaces in this package.
Function.Tools	Contains implementations of useful tools for functions.
Set.Default	Container class for default implementations of methods.

Exception Summary

FunctionException

This class represents exceptions special to functions.

Package de.rwth.domains Description

This package contains interfaces for modelling the mathematical structures. In addition, the class Domain contains static methods for debugging.