Skip to content

switch memo

Jump to bottom
Norbert Preining edited this page Oct 6, 2017 · 2 revisions

memo switch

controls the memorization of computations. The system memorizes evaluations of operators declared with the memo operator attribute. Turning this switch off disables all memorization.

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team

Clone this wiki locally