Exemplos de pb2bv_rewriter::pop em C++ (Cpp)

Exemplo n.º 1

Arquivo: pb2bv_solver.cpp Projeto: veleek/z3

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

Exemplo n.º 2

Arquivo: pb2bv_solver.cpp Projeto: NikolajBjorner/z3

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