Esempi in C++ (Cpp) per pb2bv_rewriter::pop

Esempio n. 1

File: pb2bv_solver.cpp Progetto: veleek/z3

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

Esempio n. 2

File: pb2bv_solver.cpp Progetto: NikolajBjorner/z3

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