Package constraints

Class Summary
InheritanceConstraint Constraint class for use as correctness or completeness constraint.
NullConstraint Example constraint class for use as correctness or completeness constraint.