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

Esempio n. 1

File: pb2bv_solver.cpp Progetto: veleek/z3

 virtual void push_core() {
     flush_assertions();
     m_rewriter.push();
     m_solver->push();
 }

Esempio n. 2

File: pb2bv_solver.cpp Progetto: NikolajBjorner/z3

 void push_core() override {
     flush_assertions();
     m_rewriter.push();
     m_solver->push();
 }