Searched refs:LargestVar (Results 1 – 1 of 1) sorted by relevance
91 const Variable LargestVar; member138 explicit CNFFormula(Variable LargestVar, in CNFFormula()140 : LargestVar(LargestVar), Atomics(std::move(Atomics)), in CNFFormula()145 const size_t NumLiterals = 2 * LargestVar + 1; in CNFFormula()504 : CNF(buildCNF(Vals)), LevelVars(CNF.LargestVar + 1), in WatchedLiteralsSolverImpl()505 LevelStates(CNF.LargestVar + 1) { in WatchedLiteralsSolverImpl()514 VarAssignments.resize(CNF.LargestVar + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()517 for (Variable Var = CNF.LargestVar; Var != NullVar; --Var) { in WatchedLiteralsSolverImpl()