228 …int *        pArrTimeProfile;       /* arrival times of inputs (NULL if arrival times are ignored)…  member
296     int                pArrTimeProfile[8]; /* normalized arrival time profile */  member
361 static int Abc_NormalizeArrivalTimes( int * pArrTimeProfile, int nVars, int * maxNormalized )  in Abc_NormalizeArrivalTimes()
510 static void Abc_ExactNormalizeArrivalTimesForNetwork( int nVars, int * pArrTimeProfile, char * pSol…  in Abc_ExactNormalizeArrivalTimesForNetwork()
629 int Ses_StoreAddEntry( Ses_Store_t * pStore, word * pTruth, int nVars, int * pArrTimeProfile, char …  in Ses_StoreAddEntry()
728 int Ses_StoreGetEntrySimple( Ses_Store_t * pStore, word * pTruth, int nVars, int * pArrTimeProfile,…  in Ses_StoreGetEntrySimple()
768 int Ses_StoreGetEntry( Ses_Store_t * pStore, word * pTruth, int nVars, int * pArrTimeProfile, char …  in Ses_StoreGetEntry()
825     int pArrTimeProfile[8];  in Ses_StoreRead()  local
892 …Ses_ManAlloc( word * pTruth, int nVars, int nFunc, int nMaxDepth, int * pArrTimeProfile, int fMake…  in Ses_ManAlloc()
2414 …NtkFindExact( word * pTruth, int nVars, int nFunc, int nMaxDepth, int * pArrTimeProfile, int nBTLi…  in Abc_NtkFindExact()
2450 …ManFindExact( word * pTruth, int nVars, int nFunc, int nMaxDepth, int * pArrTimeProfile, int nBTLi…  in Gia_ManFindExact()
2515     int pArrTimeProfile[4] = {6, 2, 8, 5};  in Abc_ExactTestSingleOutput()  local
2553     int pArrTimeProfile[4] = {6, 2, 8, 5};  in Abc_ExactTestSingleOutputAIG()  local
2716 int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * pPerm, int * Cost, …  in Abc_ExactDelayCost()
2894 Abc_Obj_t * Abc_ExactBuildNode( word * pTruth, int nVars, int * pArrTimeProfile, Abc_Obj_t ** pFani…  in Abc_ExactBuildNode()
2982     int pArrTimeProfile[4] = {6, 2, 8, 5};  in Abc_ExactStoreTest()  local