Searched refs:Dau_DsdWritePrime (Results 1 – 1 of 1) sorted by relevance
1041 static inline int Dau_DsdWritePrime( Dau_Dsd_t * p, word * pTruth, int * pVars, int nVars ) in Dau_DsdWritePrime() function1476 return Dau_DsdWritePrime( p, pTruth, pVars, nVars ); in Dau_Dsd6DecomposeInternal()1869 return Dau_DsdWritePrime( p, pTruth, pVars, nVars ); in Dau_DsdDecomposeInternal()