Function TRANSLATE-TO-QSIM-FUNCTION

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

Slots on this function:

Documentation:

associates with an operator a lisp function for translating mathematical expressions beginning with that operator into QSIM constraints.

Instance-Of: Function

Arity: 3

Axioms:

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