CLEAR-MEMOIZE-TABLES.html -- ACL2 Version 6.3

## CLEAR-MEMOIZE-TABLES

forget values remembered for all the memoized functions

    Major Section:  HONS-AND-MEMOIZATION

This documentation topic relates to the experimental extension of ACL2 supporting hash cons, fast alists, and memoization; see hons-and-memoization.

`Clear-memoize-tables` is a logical no-op. All memoized values are forgotten. It returns `nil`, invoking `clear-memoize-table` for each memoized function.