abc/src/misc/bbl/bblif.c
/**Fnction*************************************************************

  Synopsis    [Checks the truth table computation.]

  Description [We construct the logic network for the half-adder represnted
  using the BLIF file below]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Fnction
Synopsis    [Checks the truth table computation.]

Description [We construct the logic network for the half-adder represnted
using the BLIF file below]




Fnction Synopsis [ Checks the truth table computation . ] Description [ We construct the logic network for the half - adder represnted using the BLIF file below ]
void Bbl_ManTestTruth( char * pSop, int nVars )
{
    unsigned * pTruth;
    char * pSopNew;
    pTruth = Bbl_ManSopToTruth( pSop, nVars );
    pSopNew = Bbl_ManTruthToSop( pTruth, nVars );
    printf( "Old SOP:\n%s\n", pSop );
    printf( "New SOP:\n%s\n", pSopNew );
    BBLIF_FREE( pSopNew );
    BBLIF_FREE( pTruth );
}
void Bbl_ManTestTruth ( char * pSop , int nVars ) { unsigned * pTruth ; char * pSopNew ; pTruth = Bbl_ManSopToTruth ( pSop , nVars ) ; pSopNew = Bbl_ManTruthToSop ( pTruth , nVars ) ; printf ( " \n \n " , pSop ) ; printf ( " \n \n " , pSopNew ) ; BBLIF_FREE ( pSopNew ) ; BBLIF_FREE ( pTruth ) ; }
Fnction
Synopsis    [Checks the truth table computation.]
Fnction Synopsis [ Checks the truth table computation . ]