Searched refs:AssignedTrue (Results 1 – 3 of 3) sorted by relevance
426 AssignedTrue = 1 enumerator496 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()498 : Assignment::AssignedTrue; in solve()509 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()563 : Solver::Result::Assignment::AssignedTrue; in buildSolution()589 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue in updateWatchedLiterals()668 : Assignment::AssignedTrue; in decideAssignment()
67 case Solver::Result::Assignment::AssignedTrue: in debugString()
44 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator