Function CONSTRAINT-EXPRESSION

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this function:

Documentation:

Takes one argument, Behavior-constraint. Returns the constraint expression, which is a quoted structural-element-model.

Instance-Of: Function

Arity: 2

Domain: Behavior-constraint

Other Related Axioms:

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