abc/src/map/mapper/mapperSuper.c
/**Function*************************************************************

  Synopsis    [Derives the functionality of the supergate.]

  Description [This procedure is useful for verification the supergate 
  library. The truth table derived by this procedure should be the same
  as the one contained in the original supergate file.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Derives the functionality of the supergate.]

Description [This procedure is useful for verification the supergate
library. The truth table derived by this procedure should be the same
as the one contained in the original supergate file.]




Function Synopsis [ Derives the functionality of the supergate . ] Description [ This procedure is useful for verification the supergate library . The truth table derived by this procedure should be the same as the one contained in the original supergate file . ]
void Map_LibraryComputeTruth( Map_SuperLib_t * pLib, char * pFormula, unsigned uTruthRes[] )
{
    char Buffer[1000];
    strcpy( Buffer, pFormula );
    Map_LibraryComputeTruth_rec( pLib, Buffer, pLib->uTruths, uTruthRes );
}
void Map_LibraryComputeTruth ( Map_SuperLib_t * pLib , char * pFormula , unsigned uTruthRes [ ] ) { char Buffer [ 1000 ] ; strcpy ( Buffer , pFormula ) ; Map_LibraryComputeTruth_rec ( pLib , Buffer , pLib -> uTruths , uTruthRes ) ; }
Function
Synopsis    [Derives the functionality of the supergate.]
Function Synopsis [ Derives the functionality of the supergate . ]