Home
last modified time | relevance | path

Searched refs:propagate_ter_clause (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_solver.h301 bool propagate_ter_clause(clause& c);
H A Dsat_solver.cpp568 reinit = propagate_ter_clause(c); in attach_ter_clause()
572 bool solver::propagate_ter_clause(clause& c) { in propagate_ter_clause() function in sat::solver
3669 if (!at_base_lvl() && propagate_ter_clause(c)) in reinit_clauses()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_solver.h290 bool propagate_ter_clause(clause& c);
H A Dsat_solver.cpp562 reinit = propagate_ter_clause(c);
566 bool solver::propagate_ter_clause(clause& c) {
3626 if (!at_base_lvl() && propagate_ter_clause(c))