Searched refs:propagate_ter_clause (Results 1 – 4 of 4) sorted by relevance
301 bool propagate_ter_clause(clause& c);
568 reinit = propagate_ter_clause(c); in attach_ter_clause()572 bool solver::propagate_ter_clause(clause& c) { in propagate_ter_clause() function in sat::solver3669 if (!at_base_lvl() && propagate_ter_clause(c)) in reinit_clauses()
290 bool propagate_ter_clause(clause& c);
562 reinit = propagate_ter_clause(c); 566 bool solver::propagate_ter_clause(clause& c) {3626 if (!at_base_lvl() && propagate_ter_clause(c))