C++ (Cpp) pb2bv_rewriter::push Beispiele

Beispiel #1

Datei: pb2bv_solver.cpp Projekt: veleek/z3

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

Beispiel #2

Datei: pb2bv_solver.cpp Projekt: NikolajBjorner/z3

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