Searched refs:Cbs2_ClauseSetNext (Results 1 – 1 of 1) sorted by relevance
156 static inline void Cbs2_ClauseSetNext( Cbs2_Man_t * p, int hClause, int n, int x ){ p->pClauses.pD… in Cbs2_ClauseSetNext() function676 Cbs2_ClauseSetNext( p, hClause, Lit == pLits[1], *pPlace ); in Cbs2_ManWatchClause()