|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
InclusionConstraints | InclusionConstraints is a simple solver for inclusion
constraints. |
InclusionConstraints.AtomSet | Set of atoms term for the inclusion constraints. |
InclusionConstraints.Term | Root of the term class hierarchy. |
InclusionConstraints.TermVisitor | Visitor for Term . |
InclusionConstraints.Var | Variable for the inclusion constraints. |
Exception Summary | |
Unfeasible | Unfeasible is an exception that is thrown when a
system of inclusion constraints is unfeasible. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |