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