Searched refs:s_decision (Results 1 – 2 of 2) sorted by relevance
30 Clause* Clause::s_decision = NULL; member in MiniSat::Clause55 if (s_decision == NULL) { in Decision()57 s_decision = Clause_new(lits, CVC3::Theorem(), -1); in Decision()60 return s_decision; in Decision()
110 static Clause* s_decision; variable