Searched refs:AssignedFalse (Results 1 – 3 of 3) sorted by relevance
90 AssignedFalse = 0, enumerator191 ? Assignment::AssignedFalse in solve()203 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()254 VarAssignments[Atomic.first] == Assignment::AssignedFalse in buildSolution()255 ? Solver::Result::Assignment::AssignedFalse in buildSolution()358 ? Assignment::AssignedFalse in decideAssignment()
44 case Solver::Result::Assignment::AssignedFalse: in operator <<()
46 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator