		Search-engine friendly clone of the ACL2 documentation.

Memoize

Save-and-clear-memoization-settings

Save and remove the current memoization settings

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. But note that this skips memoization settings that are either derived from calls of memoize-partial or have a non-nil value of memoize argument :invoke

Also see restore-memoization-settings.