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.

Instance-Of: Class

Subclass-Of: Constraint

Superclass-Of: Satisfied-constraint

---

Slots on instances of this class:

Constraint.Expression:

Slot-Cardinality: 1

Slot-Value-Type: Ground-sentence, Constraint-expression

Equivalence Axioms:

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

Axioms:

(Constraint ?Constraint)

Other Related Axioms:

(Exhaustive-Subclass-Partition Constraint
                               (Setof Parametric-Constraint
                                      Object-Constraint))

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

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

Notes:

• See-Also: satisfied-constraint