C++ (Cpp) insert_max_memory Exemples

Exemple #1

Fichier : bv1_blaster_tactic.cpp Projet : CHolmes3/z3

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

Exemple #2

Fichier : elim_term_ite_strategy.cpp Projet : sukwon0709/byterun

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

Exemple #3

Fichier : aig_tactic.cpp Projet : 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.");
 }