Relation CONSTRAINT-ON

• Defined in theory: Components-with-constraints
• Source code: components-with-constraints.lisp

Slots on this relation:

Documentation:

Constraint-on is the inverse of has-constraint: it maps constraint objects to the components to which they have been applied.

Instance-Of: Relation

Arity: 2

Inverse: Has-constraint

Other Related Axioms:

(<=> (Constraint-On $Arg1 $Arg2) (Has-Constraint $Arg2 $Arg1))