Searched refs:Dau_ExactNpnForClasses (Results 1 – 1 of 1) sorted by relevance
441 Vec_Wrd_t * Dau_ExactNpnForClasses( Vec_Mem_t * vTtMem, Vec_Int_t * vNodSup, int nVars, int nInputs… in Dau_ExactNpnForClasses() function461 Vec_Wrd_t * vCanons = Dau_ExactNpnForClasses( vTtMem, vNodSup, nVars, nInputs ); in Dau_ExactNpnPrint()