#include <debug.h>
Useful for tracking when the control is within a certain method or not. For example, TheoryCore::addFact() uses d_inAddFact to check that certain other methods are only called from within addFact(). However, when an exception is thrown, this variable is not reset. The watcher class will reset the variable even in those cases.
Definition at line 98 of file debug.h.
|
Definition at line 102 of file debug.h. References d_flag. |
|
Definition at line 103 of file debug.h. References d_flag. |
|
Definition at line 100 of file debug.h. Referenced by ScopeWatcher(), and ~ScopeWatcher(). |