Searched refs:Abc_Tt6CnfSize (Results 1 – 2 of 2) sorted by relevance
561 Vec_IntPush( &p->vCnfSizes, Abc_Tt6CnfSize(t, pCutR->nLeaves) ); in Mf_CutComputeTruth6()616 Vec_IntPush( &p->vCnfSizes, Abc_Tt6CnfSize(t, pCutR->nLeaves) ); in Mf_CutComputeTruthMux6()
2222 static inline int Abc_Tt6CnfSize( word t, int nVars ) in Abc_Tt6CnfSize() function