Lines Matching defs:Assignment
88 enum class Assignment : int8_t {
99 std::vector<Assignment> VarAssignments;
135 VarAssignments.resize(CNF.largestVar() + 1, Assignment::Unassigned);
190 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue
191 ? Assignment::AssignedFalse
192 : Assignment::AssignedTrue;
203 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse;
247 llvm::DenseMap<Atom, Solver::Result::Assignment> buildSolution() {
248 llvm::DenseMap<Atom, Solver::Result::Assignment> Solution;
254 VarAssignments[Atomic.first] == Assignment::AssignedFalse
255 ? Solver::Result::Assignment::AssignedFalse
256 : Solver::Result::Assignment::AssignedTrue;
267 VarAssignments[Var] = Assignment::Unassigned;
282 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue
308 VarAssignments[NewWatchedLitVar] == Assignment::Unassigned)
356 Assignment decideAssignment(Variable Var) const {
358 ? Assignment::AssignedFalse
359 : Assignment::AssignedTrue;
376 return VarAssignments[Var] == Assignment::Unassigned;
396 if (VarAssignments[Var] != Assignment::Unassigned)