Author: Sergey Berezin
Created: Wed Dec 4 14:26:35 2002
Description: Global state of the Expr package for a particular instance of CVC3. Each instance of the CVC3 library has its own expression manager, for thread-safety.
Definition at line 58 of file expr_manager.h.
Postpone deleting garbage-collected expressions.
Useful during manipulation of context, especially at the time of backtracking, since we may have objects with circular dependencies (like find pointers).
The postponed expressions will be deleted the next time the garbage collector is called after this flag is cleared.
Definition at line 168 of file expr_manager.h.
Referenced by gc(), and resumeGC().