Searched refs:LitWatcher (Results 1 – 1 of 1) sorted by relevance
322 for (ClauseID LitWatcher = WatchedHead[Lit]; LitWatcher != NullClause; in watchedByUnitClause() local323 LitWatcher = NextWatched[LitWatcher]) { in watchedByUnitClause()324 llvm::ArrayRef<Literal> Clause = CNF.clauseLiterals(LitWatcher); in watchedByUnitClause()