1 2 3 4 5 6 7 8 9 10
#include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" namespace CVC4 { namespace smt { CVC4_THREADLOCAL(SmtEngine*) s_smtEngine_current = NULL; } }