diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-19 11:21:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-19 11:21:39 -0700 |
| commit | ca4145c7ef07122878cfa4e63040bda7eb19c969 (patch) | |
| tree | fe9e6540344cbd2ea9446e8c7283e4c74aa23af1 /src/opt | |
| parent | e0462d8d2e2f745f0a8634fd35de9298acc0968d (diff) | |
| download | abc-ca4145c7ef07122878cfa4e63040bda7eb19c969.tar.gz abc-ca4145c7ef07122878cfa4e63040bda7eb19c969.tar.bz2 abc-ca4145c7ef07122878cfa4e63040bda7eb19c969.zip | |
Typo in the comments.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/fxu/fxuReduce.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/opt/fxu/fxuReduce.c b/src/opt/fxu/fxuReduce.c index b8640158..0aaded9a 100644 --- a/src/opt/fxu/fxuReduce.c +++ b/src/opt/fxu/fxuReduce.c @@ -97,18 +97,18 @@ int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTota { ABC_FREE( pnLitsDiff ); ABC_FREE( pnPairCounters ); - printf( "The SOPs of the nodes are not cube-ABC_FREE. Run \"bdd; sop\" before \"fx\".\n" ); + printf( "The SOPs of the nodes are not cube-free. Run \"bdd; sop\" before \"fx\".\n" ); return 0; } if ( pnPairCounters[1] != 0 ) { ABC_FREE( pnLitsDiff ); ABC_FREE( pnPairCounters ); - printf( "The SOPs of the nodes are not SCC-ABC_FREE. Run \"bdd; sop\" before \"fx\".\n" ); + printf( "The SOPs of the nodes are not SCC-free. Run \"bdd; sop\" before \"fx\".\n" ); return 0; } - assert( pnPairCounters[0] == 0 ); // otherwise, covers are not dup-ABC_FREE - assert( pnPairCounters[1] == 0 ); // otherwise, covers are not SCC-ABC_FREE + assert( pnPairCounters[0] == 0 ); // otherwise, covers are not dup-free + assert( pnPairCounters[1] == 0 ); // otherwise, covers are not SCC-free nSum = 0; for ( k = 0; k < 2 * nBitsMax; k++ ) { @@ -178,7 +178,7 @@ int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTota entries as there are different pairs of cubes in the cover: n(n-1)/2. Fills out the array pDiffs with the following info: For each cube pair, included in the array is the number of literals in both cubes - after they are made cube ABC_FREE.] + after they are made cube free.] SideEffects [] |