Class PARAMETRIC-CONSTRAINT

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

Slots on this class:

Documentation:

A parametric-constraint is a constraint whose constraint.expression contains no variables. It's called parameteric because the the things being constrained are parameters, rather than properties of objects.

Subclass-Of: Constraint

---

Slots on instances of this class:

Constraint.Expression:

Slot-Cardinality: 1

Slot-Value-Type: Ground-sentence

Axioms:

(<=> (Parametric-Constraint ?Constraint)
     (And (Constraint ?Constraint)
          (Value-Type ?Constraint
                      Constraint.Expression
                      Ground-Sentence)
          (Value-Cardinality ?Constraint Constraint.Expression 1)))

Notes:

• See-Also: satisfied-constraint