abc/src/aig/aig/aigUtil.c
/**Function*************************************************************

  Synopsis    [Returns the value of the given object in the given timeframe.]

  Description [Should be called to probe the value of an object with 
  the given ID (iFrame is a 0-based number of a time frame - should not 
  exceed the number of timeframes in the original counter-example).]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Returns the value of the given object in the given timeframe.]

Description [Should be called to probe the value of an object with
the given ID (iFrame is a 0-based number of a time frame - should not
exceed the number of timeframes in the original counter-example).]




Function Synopsis [ Returns the value of the given object in the given timeframe . ] Description [ Should be called to probe the value of an object with the given ID ( iFrame is a 0 - based number of a time frame - should not exceed the number of timeframes in the original counter - example ) . ]
int Aig_ManCounterExampleValueLookup(  Aig_Man_t * pAig, int Id, int iFrame )
{
    assert( Id >= 0 && Id < Aig_ManObjNumMax(pAig) );
    return Abc_InfoHasBit( (unsigned *)pAig->pData2, Aig_ManObjNumMax(pAig) * iFrame + Id );
}
int Aig_ManCounterExampleValueLookup ( Aig_Man_t * pAig , int Id , int iFrame ) { assert ( Id >= 0 && Id < Aig_ManObjNumMax ( pAig ) ) ; return Abc_InfoHasBit ( ( unsigned * ) pAig -> pData2 , Aig_ManObjNumMax ( pAig ) * iFrame + Id ) ; }
Function
Synopsis    [Returns the value of the given object in the given timeframe.]
Function Synopsis [ Returns the value of the given object in the given timeframe . ]