abc/src/base/abci/abcExact.c
/**Function*************************************************************

  Synopsis    [Access variables based on indexes.]

***********************************************************************/
Function
Synopsis    [Access variables based on indexes.]
Function Synopsis [ Access variables based on indexes . ]
static inline int Ses_ManSimVar( Ses_Man_t * pSes, int i, int t )
{
    assert( i < pSes->nGates );
    assert( t < pSes->nRows );
    return pSes->nSimOffset + pSes->nRows * i + t;
}
static inline int Ses_ManSimVar ( Ses_Man_t * pSes , int i , int t ) { assert ( i < pSes -> nGates ) ; assert ( t < pSes -> nRows ) ; return pSes -> nSimOffset + pSes -> nRows * i + t ; }
Function
Synopsis    [Access variables based on indexes.]
Function Synopsis [ Access variables based on indexes . ]