Searched refs:vArenaSignal (Results 1 – 1 of 1) sorted by relevance
57 Vec_Ptr_t * createArenaLi( Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers, Vec_Ptr_t *vArenaSignal ) in createArenaLi() argument74 pObjDriver = (Aig_Obj_t *)Vec_PtrEntry( vArenaSignal, i ); in createArenaLi()