Home
last modified time | relevance | path

Searched refs:is_viable_candidate (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_induction.cpp76 bool is_viable_candidate = true; in model_sweep_filter() local
82 is_viable_candidate = false; in model_sweep_filter()
85 if (is_viable_candidate) in model_sweep_filter()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_induction.cpp.disabled76 bool is_viable_candidate = true;
82 is_viable_candidate = false;
85 if (is_viable_candidate)