Searched refs:AssignedTrue (Results 1 – 3 of 3) sorted by relevance
487 AssignedTrue = 1 enumerator569 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()571 : Assignment::AssignedTrue; in solve()582 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()635 : Solver::Result::Assignment::AssignedTrue; in buildSolution()661 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue in updateWatchedLiterals()739 : Assignment::AssignedTrue; in decideAssignment()
48 case Solver::Result::Assignment::AssignedTrue: in operator <<()
46 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator