abc/src/base/abci/abcExact.c
// pArrTimeProfile is normalized
// returns 1 if entry was in store, pSol may still be 0 if it couldn't be computed
pArrTimeProfile is normalized
returns 1 if entry was in store, pSol may still be 0 if it couldn't be computed
pArrTimeProfile is normalized returns 1 if entry was in store pSol may still be 0 if it couldn ' t be computed
int Ses_StoreGetEntrySimple( Ses_Store_t * pStore, word * pTruth, int nVars, int * pArrTimeProfile, char ** pSol )
{
    int key;
    Ses_TruthEntry_t * pTEntry;
    Ses_TimesEntry_t * pTiEntry;
    key = Ses_StoreTableHash( pTruth, nVars );
    pTEntry = pStore->pEntries[key];
    while ( pTEntry )
    {
        if ( Ses_StoreTruthEqual( pTEntry, pTruth, nVars ) )
            break;
        else
            pTEntry = pTEntry->next;
    }
    if ( !pTEntry )
        return 0;
    pTiEntry = pTEntry->head;
    while ( pTiEntry )
    {
        if ( Ses_StoreTimesEqual( pArrTimeProfile, pTiEntry->pArrTimeProfile, nVars ) )
            break;
        else
            pTiEntry = pTiEntry->next;
    }
    if ( !pTiEntry )
        return 0;
    *pSol = pTiEntry->pNetwork;
    return 1;
}
int Ses_StoreGetEntrySimple ( Ses_Store_t * pStore , word * pTruth , int nVars , int * pArrTimeProfile , char * * pSol ) { int key ; Ses_TruthEntry_t * pTEntry ; Ses_TimesEntry_t * pTiEntry ; key = Ses_StoreTableHash ( pTruth , nVars ) ; pTEntry = pStore -> pEntries [ key ] ; while ( pTEntry ) { if ( Ses_StoreTruthEqual ( pTEntry , pTruth , nVars ) ) break ; else pTEntry = pTEntry -> next ; } if ( ! pTEntry ) return 0 ; pTiEntry = pTEntry -> head ; while ( pTiEntry ) { if ( Ses_StoreTimesEqual ( pArrTimeProfile , pTiEntry -> pArrTimeProfile , nVars ) ) break ; else pTiEntry = pTiEntry -> next ; } if ( ! pTiEntry ) return 0 ; * pSol = pTiEntry -> pNetwork ; return 1 ; }
pArrTimeProfile is normalized
returns 1 if entry was in store, pSol may still be 0 if it couldn't be computed
pArrTimeProfile is normalized returns 1 if entry was in store pSol may still be 0 if it couldn ' t be computed
/* find truth table entry */ /* no entry found? */ /* find times entry */ /* no entry found? */