Searched refs:Cbs2_ManPropagateClauses (Results 1 – 1 of 1) sorted by relevance
823 static inline int Cbs2_ManPropagateClauses( Cbs2_Man_t * p, int Level, int Lit ) in Cbs2_ManPropagateClauses() function1135 if ( (hClause = Cbs2_ManPropagateClauses(p, Level, iLit)) ) in Cbs2_ManPropagate2()