Searched defs:get_zero_assigned_lits (Results 1 – 4 of 4) sorted by relevance
1016 DLL_PUBLIC std::vector<Lit> SATSolver::get_zero_assigned_lits() const in get_zero_assigned_lits() function in SATSolver
2732 vector<Lit> Solver::get_zero_assigned_lits(const bool backnumber, in get_zero_assigned_lits() function in Solver