diff options
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifDec08.c | 4 | ||||
-rw-r--r-- | src/map/if/ifDec10.c | 4 | ||||
-rw-r--r-- | src/map/if/ifDec16.c | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/src/map/if/ifDec08.c b/src/map/if/ifDec08.c index 7beae02d..e299c39e 100644 --- a/src/map/if/ifDec08.c +++ b/src/map/if/ifDec08.c @@ -259,7 +259,7 @@ static inline void If_Dec08MoveTo( word * pF, int nVars, int v, int p, int Pla2V If_Dec08Copy( pF, pIn, nVars ); assert( Pla2Var[p] == v ); } - +/* // derive binary function static inline int If_Dec08DeriveCount2( word * pF, word * pRes, int nVars ) { @@ -283,7 +283,7 @@ static inline int If_Dec08DeriveCount2( word * pF, word * pRes, int nVars ) *pRes = ((iCof1 << nShift) | iCof0); return MaskDec; } - +*/ static inline word If_DecTruthStretch( word t, int nVars ) { assert( nVars > 1 ); diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c index f51ecc7b..e91dc5c2 100644 --- a/src/map/if/ifDec10.c +++ b/src/map/if/ifDec10.c @@ -256,7 +256,7 @@ static inline void If_Dec10MoveTo( word * pF, int nVars, int v, int p, int Pla2V If_Dec10Copy( pF, pIn, nVars ); assert( Pla2Var[p] == v ); } - +/* // derive binary function static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars ) { @@ -280,7 +280,7 @@ static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars ) *pRes = ((iCof1 << nShift) | iCof0); return MaskDec; } - +*/ static inline word If_DecTruthStretch( word t, int nVars ) { assert( nVars > 1 ); diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 762fecab..df98a916 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -2156,9 +2156,9 @@ float If_CutDelayLutStruct( If_Man_t * p, If_Cut_t * pCut, char * pStr, float Wi return ABC_INFINITY; // compute the delay - Delays[nLeaves] = If_CluDelayMax( &G1, Delays ) + (WireDelay == 0.0)?1.0:WireDelay; + Delays[nLeaves] = If_CluDelayMax( &G1, Delays ) + ((WireDelay == 0.0)?1.0:WireDelay); if ( G2.nVars ) - Delays[nLeaves+1] = If_CluDelayMax( &G2, Delays ) + (WireDelay == 0.0)?1.0:WireDelay; + Delays[nLeaves+1] = If_CluDelayMax( &G2, Delays ) + ((WireDelay == 0.0)?1.0:WireDelay); // mark used groups for ( i = 0; i < G1.nVars; i++ ) |