Q-constraint-operator ALL=

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp

Slots on this q-constraint-operator:

Documentation:

All-Q= is the q-operator for equating a set of q-expressions.

Usually used in conjunction with the SetOf operator.

Eg: (All-Q= (SetOf X (Resistor-1 terminal) (X voltage))) which asserts

that all the terminals of Resistor-1 have the same voltage.

Instance-Of: Q-constraint-operator