C++ (Cpp) insert_max_memory Examples

Example #1

File: bv1_blaster_tactic.cpp Project: CHolmes3/z3

 virtual void collect_param_descrs(param_descrs & r) { 
     insert_max_memory(r);
     insert_max_steps(r);
 }

Example #2

File: elim_term_ite_strategy.cpp Project: sukwon0709/byterun

void elim_term_ite_strategy::get_param_descrs(param_descrs & r) {
    insert_max_memory(r);
    insert_produce_models(r);
}

Example #3

File: aig_tactic.cpp Project: AleksandarZeljic/z3

 virtual void collect_param_descrs(param_descrs & r) { 
     insert_max_memory(r);
     r.insert("aig_per_assertion", CPK_BOOL, "(default: true) process one assertion at a time.");
 }