UNMEMOIZE.html -- ACL2 Version 6.3

## UNMEMOIZE

turn off memoization for the specified function

    Major Section:  EVENTS

##

- ###

    Example:
    (unmemoize 'foo) ; turn off memoization of foo

    Some Related Topics

    HONS-AND-MEMOIZATION -- hash cons, function memoization, and applicative hash tables

    General Form:
    (unmemoize fn)

where `fn` evaluates to a function symbol that is currently memoized; see memoize. An exception is that as with `memoize`, `fn` may evaluate to the name of a macro that is associated with such a function symbol; see macro-aliases-table.

Calls of this macro generate events of the form `(table memoize-table fn nil)`. When successful, the returned value is of the form `(mv nil function-symbol state)`.

To remove the effects of all `memoize` events, evaluate: `(clear-memo-table)`. To save and restore memoization, see save-and-clear-memoization-settings and see restore-memoization-settings.