Searched refs:Abc_NtkGlobalBdd (Results 1 – 2 of 2) sorted by relevance
430 static inline void * Abc_NtkGlobalBdd( Abc_Ntk_t * pNtk ) { return Vec_PtrEntry(pNtk-… in Abc_NtkGlobalBdd() function431 …lBddMan( Abc_Ntk_t * pNtk ) { return Vec_AttMan( (Vec_Att_t *)Abc_NtkGlobalBdd(pNtk) ); … in Abc_NtkGlobalBddMan()432 …ddArray( Abc_Ntk_t * pNtk ) { return Vec_AttArray( (Vec_Att_t *)Abc_NtkGlobalBdd(pNtk) ); … in Abc_NtkGlobalBddArray()433 …dd( Abc_Obj_t * pObj ) { return Vec_AttEntry( (Vec_Att_t *)Abc_NtkGlobalBdd(pObj->pNtk), … in Abc_ObjGlobalBdd()434 …( Abc_Obj_t * pObj, void * bF ) { Vec_AttWriteEntry( (Vec_Att_t *)Abc_NtkGlobalBdd(pObj->pNtk), … in Abc_ObjSetGlobalBdd()
325 assert( Abc_NtkGlobalBdd(pNtk) == NULL ); in Abc_NtkBuildGlobalBdds()