Function THE-CONSTRAINT

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

Slots on this function:

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

Axioms:

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