Lines Matching refs:Variable

35   llvm::DenseMap<Variable, Atom> Atomics;
70   std::vector<Variable> LevelVars;
103   std::vector<Variable> ActiveVars;
138     for (Variable Var = CNF.largestVar(); Var != NullVar; --Var) {  in WatchedLiteralsSolverImpl()
169       const Variable ActiveVar = ActiveVars[I];  in solve()
189         const Variable Var = LevelVars[Level];  in solve()
265       const Variable Var = LevelVars[Level];  in reverseForcedMoves()
278     const Variable Var = LevelVars[Level];  in updateWatchedLiterals()
297       const Variable NewWatchedLitVar = var(NewWatchedLit);  in updateWatchedLiterals()
356   Assignment decideAssignment(Variable Var) const {  in decideAssignment()
375     return llvm::all_of(ActiveVars, [this](Variable Var) {  in activeVarsAreUnassigned()
383     return llvm::all_of(ActiveVars, [&WatchedLiterals](Variable Var) {  in activeVarsFormWatchedLiterals()
392     const llvm::DenseSet<Variable> ActiveVarsSet(ActiveVars.begin(),  in unassignedVarsFormingWatchedLiteralsAreActive()
395       const Variable Var = var(Lit);  in unassignedVarsFormingWatchedLiteralsAreActive()