Searched refs:AssignedTrue (Results 1 – 3 of 3) sorted by relevance
91 AssignedTrue = 1 enumerator190 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()192 : Assignment::AssignedTrue; in solve()203 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()256 : Solver::Result::Assignment::AssignedTrue; in buildSolution()282 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue in updateWatchedLiterals()359 : Assignment::AssignedTrue; in decideAssignment()
46 case Solver::Result::Assignment::AssignedTrue: in operator <<()
46 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator