C++ (Cpp) pb2bv_rewriter::popの例

コード例 #1

ファイル: pb2bv_solver.cpp プロジェクト: veleek/z3

 virtual void pop_core(unsigned n) {
     m_assertions.reset();
     m_solver->pop(n);
     m_rewriter.pop(n);
 }

コード例 #2

ファイル: pb2bv_solver.cpp プロジェクト: NikolajBjorner/z3

 void pop_core(unsigned n) override {
     m_assertions.reset();
     m_solver->pop(n);
     m_rewriter.pop(n);
 }