Class Q-OPERATOR

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

Slots on this class:

Documentation:

Mathematical operators used in behavior constraints.

Instance-Of: Class, Dme-kernel-class

Superclass-Of: Q-constraint-operator, Q-expression-operator, Q-mapping-operator

Other Related Axioms:

(Nth-Domain Partial-Eval-Function 1 Q-Operator)

(Nth-Domain Translate-To-Qsim-Function 1 Q-Operator)