Searched refs:AssignedFalse (Results 1 – 3 of 3) sorted by relevance
425 AssignedFalse = 0, enumerator497 ? Assignment::AssignedFalse in solve()509 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()561 VarAssignments[Atomic.first] == Assignment::AssignedFalse in buildSolution()562 ? Solver::Result::Assignment::AssignedFalse in buildSolution()667 ? Assignment::AssignedFalse in decideAssignment()
65 case Solver::Result::Assignment::AssignedFalse: in debugString()
44 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator