Q-mapping-operator FOREACH

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

Slots on this q-mapping-operator:

Documentation:

ForEach is a mapping q-operator for iterating a set of q-constraints over

each of a set of objects.

Eg: (ForEach TERM (Device-12 terminals) (Q= (TERM voltage) 0)
(Q= (TERM current) 0))

ForEach expressions can be nested within one another for multiple loops.

Instance-Of: Q-mapping-operator