Searched refs:FalseLit (Results 1 – 1 of 1) sorted by relevance
282 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue in updateWatchedLiterals() local285 ClauseID FalseLitWatcher = WatchedHead[FalseLit]; in updateWatchedLiterals()286 WatchedHead[FalseLit] = NullClause; in updateWatchedLiterals()302 *NewWatchedLitIter = FalseLit; in updateWatchedLiterals()