C++ (Cpp) cooperate Beispiele

Beispiel #1

Datei: max_bv_sharing_tactic.cpp Projekt: CHolmes3/z3

 bool max_steps_exceeded(unsigned num_steps) const { 
     cooperate("max bv sharing");
     if (memory::get_allocation_size() > m_max_memory)
         throw tactic_exception(TACTIC_MAX_MEMORY_MSG);
     return num_steps > m_max_steps;
 }

Beispiel #2

Datei: elim_term_ite_strategy.cpp Projekt: sukwon0709/byterun

 bool max_steps_exceeded(unsigned num_steps) const { 
     cooperate("elim term ite");
     if (memory::get_allocation_size() > m_max_memory)
         throw elim_term_ite_exception(STE_MAX_MEMORY_MSG);
     return false;
 }

Beispiel #3

Datei: qe_tactic.cpp Projekt: Moondee/Artemis

 void checkpoint() {
     if (m_cancel)
         throw tactic_exception(TACTIC_CANCELED_MSG);
     cooperate("qe");
 }

Beispiel #4

Datei: expr_replacer.cpp Projekt: sukwon0709/byterun

 bool max_steps_exceeded(unsigned num_steps) const { 
     cooperate("simplifier");
     return false;
 }

Beispiel #5

Datei: expr2subpaving.cpp Projekt: CHolmes3/z3

 void checkpoint() {
     if (m_cancel)
         throw default_exception("canceled");
     cooperate("expr2subpaving");
 }

Beispiel #6

Datei: th_rewriter.cpp Projekt: sukwon0709/byterun

 bool max_steps_exceeded(unsigned num_steps) const { 
     cooperate("simplifier");
     if (memory::get_allocation_size() > m_max_memory)
         throw rewriter_exception(TACTIC_MAX_MEMORY_MSG);
     return num_steps > m_max_steps;
 }

Beispiel #7

Datei: sls_engine.cpp Projekt: AleksandarZeljic/z3

void sls_engine::checkpoint() {
    if (m_manager.canceled())
        throw tactic_exception(m_manager.limit().get_cancel_msg());
    cooperate("sls");
}

Beispiel #8

Datei: qe_tactic.cpp Projekt: perillaseed/z3

 void checkpoint() {
     if (m.canceled())
         throw tactic_exception(m.limit().get_cancel_msg());
     cooperate("qe");
 }

Beispiel #9

Datei: fpa2bv_rewriter.cpp Projekt: martin-neuhaeusser/z3

bool fpa2bv_rewriter_cfg::max_steps_exceeded(unsigned num_steps) const {
    cooperate("fpa2bv");
    return num_steps > m_max_steps;
}