Searched refs:AssignedFalse (Results 1 – 3 of 3) sorted by relevance
486 AssignedFalse = 0, enumerator570 ? Assignment::AssignedFalse in solve()582 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()633 VarAssignments[Atomic.first] == Assignment::AssignedFalse in buildSolution()634 ? Solver::Result::Assignment::AssignedFalse in buildSolution()738 ? Assignment::AssignedFalse in decideAssignment()
46 case Solver::Result::Assignment::AssignedFalse: in operator <<()
46 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator