diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-24 22:06:03 +0300 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-24 22:06:03 +0300 |
commit | b87554b98ae06d234f58b8cfbeeeb957afdad784 (patch) | |
tree | d76a809ccf26b66ffe6ee01fd95791b31b0fda7e /src | |
parent | e37ec2aac577264d4cec9dbe39149ed523cf6958 (diff) | |
download | abc-b87554b98ae06d234f58b8cfbeeeb957afdad784.tar.gz abc-b87554b98ae06d234f58b8cfbeeeb957afdad784.tar.bz2 abc-b87554b98ae06d234f58b8cfbeeeb957afdad784.zip |
Improved algo for edge computation.
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/gia/giaSatEdge.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaSatEdge.c b/src/aig/gia/giaSatEdge.c index bfdac45c..cee91eb9 100644 --- a/src/aig/gia/giaSatEdge.c +++ b/src/aig/gia/giaSatEdge.c @@ -345,7 +345,7 @@ void Seg_ManCreateCnf( Seg_Man_t * p, int fTwo, int fVerbose ) Vec_WecForEachLevel( vObjEdges, vLevel, i ) { int v1, v2, v3, Var1, Var2, Var3; - if ( !fTwo && Vec_IntSize(vLevel) >= 2 ) + if ( (!fTwo && Vec_IntSize(vLevel) >= 2) || (fTwo && Vec_IntSize(vLevel) > 10) ) { Vec_IntForEachEntry( vLevel, Var1, v1 ) Vec_IntForEachEntryStart( vLevel, Var2, v2, v1 + 1 ) |