Searched refs:FirstLit (Results 1 – 1 of 1) sorted by relevance
124 Literal FirstLit = CNF.clauseLiterals(C).front(); in WatchedLiteralsSolverImpl() local125 NextWatched.push_back(WatchedHead[FirstLit]); in WatchedLiteralsSolverImpl()126 WatchedHead[FirstLit] = C; in WatchedLiteralsSolverImpl()