Q-constraint-operator NON-DECREASING

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

Slots on this q-constraint-operator:

Documentation:

Non-decreasing is a unary p-operator for specifying that the expression

is non-decreasing.

Eg: (non-decreasing (Term-1 voltage) )

Instance-Of: Q-constraint-operator