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.

Instance-Of: Function

Arity: 2

Domain: Constraint-expression

Equivalence Axioms:

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

Other Related Axioms:

(=> (The-Constraint $X $Y) (Constraint-Expression $X))

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

(=> (= (The-Constraint ?Expression) ?Constraint)
    (Constraint-Expression ?Expression))