Searched defs:SmtScope (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/smt/ | ||
| H A D | smt_engine_scope.cpp | 48 SmtScope::SmtScope(const SmtEngine* smt) in SmtScope() function in CVC4::smt::SmtScope |
| H A D | smt_engine.h | 92 class SmtScope; variable |