SAVE-AND-CLEAR-MEMOIZATION-SETTINGS.html -- ACL2 Version 6.3

## SAVE-AND-CLEAR-MEMOIZATION-SETTINGS

save and remove the current memoization settings

    Major Section:  EVENTS

For background on memoization, see memoize.

    General Form:
    (save-and-clear-memoization-settings)

Calls of this macro achieve two changes. The first copies the current memoization settings into an ACL2 table, and the second unmemoizes all functions that were memoized by calls of `memoize`. Also see restore-memoization-settings.

## Some Related Topics

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