Function USER-SPECIFIED-NEW-VALUE

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

Slots on this function:

Documentation:

mf-instance is an instance of an operating action mode.

The value is the new value specified by the user.

We save the value as an alist of (interval value) pairs.

Instance-Of: Function

Arity: 2

Domain: Operating-mode-model

Other Related Axioms:

(=> (User-Specified-New-Value $X $Y) (Operating-Mode-Model $X))