Package harpoon.Util.Constraints

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.