Searched refs:WatchedLiterals (Results 1 – 1 of 1) sorted by relevance
364 llvm::DenseSet<Literal> WatchedLiterals; in watchedLiterals() local368 WatchedLiterals.insert(Lit); in watchedLiterals()370 return WatchedLiterals; in watchedLiterals()382 const llvm::DenseSet<Literal> WatchedLiterals = watchedLiterals(); in activeVarsFormWatchedLiterals() local383 return llvm::all_of(ActiveVars, [&WatchedLiterals](Variable Var) { in activeVarsFormWatchedLiterals()384 return WatchedLiterals.contains(posLit(Var)) || in activeVarsFormWatchedLiterals()385 WatchedLiterals.contains(negLit(Var)); in activeVarsFormWatchedLiterals()