**Defined in theory: Parametric-constraints****Source code: parametric-constraints.lisp**

**Documentation:**A constructor for constraint objects. Given a constraint expression, it denotes the associated constraint object. This means that constraints are uniquely defined by their expressions.

**Arity:**2**Domain:**Constraint-expression

(<=> (The-Constraint ?Expression ?Constraint) (And (Constraint-Expression ?Expression) (= (Constraint.Expression ?Constraint) ?Expression)))