SAVE-AND-CLEAR-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