Searched refs:Saig_ManBmcAddClauses (Results 1 – 1 of 1) sorted by relevance
993 static inline void Saig_ManBmcAddClauses( Gia_ManBmc_t * p, int uTruth, int Lits[], int iLitOut ) in Saig_ManBmcAddClauses() function1111 Saig_ManBmcAddClauses( p, Lits[4], Lits, iLit ); in Saig_ManBmcCreateCnf_rec()