Searched defs:Dtt_Man_t_ (Results 1 – 1 of 1) sorted by relevance
33 struct Dtt_Man_t_ struct38 int * pPerms; // permutations40 word * pPres; // function marks41 Vec_Int_t * vFanins; // node fanins47 Vec_Int_t * vTemp; // temporary48 Vec_Int_t * vTemp2; // temporary49 unsigned FunMask; // function mask51 unsigned BinMask; // hash mask52 unsigned * pBins; // hash bins53 Vec_Int_t * vUsedBins; // used bins[all …]