Searched refs:largestVar (Results 1 – 2 of 2) sorted by relevance
111 LevelVars(CNF.largestVar() + 1), LevelStates(CNF.largestVar() + 1) { in WatchedLiteralsSolverImpl()120 const size_t NumLiterals = 2 * CNF.largestVar() + 1; in WatchedLiteralsSolverImpl()135 VarAssignments.resize(CNF.largestVar() + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()138 for (Variable Var = CNF.largestVar(); Var != NullVar; --Var) { in WatchedLiteralsSolverImpl()
115 Variable largestVar() const { return LargestVar; } in largestVar() function