Package edu.cs.ai.kreator.logic.metaconstraints

Interface Summary

MetaConstraint

This interface decibes a Meta-Constraint that can be added to a RmeConditional.

Class Summary

ExclusionConstraint	This class implements the MetaConstraint which excludes a set of constants from the substitution for a variable, e.g.
NotEqualConstraint	This class implements the Meta-Constraint for RME-Conditionals which prohibits the instantiation of two variables with the same constant, e.g.