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

**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

**Constraint.Expression:***Slot-Cardinality:*1*Slot-Value-Type:*Ground-sentence

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

**See-Also:**satisfied-constraint