From b87554b98ae06d234f58b8cfbeeeb957afdad784 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 24 Apr 2016 22:06:03 +0300 Subject: Improved algo for edge computation. --- src/aig/gia/giaSatEdge.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia') 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 ) -- cgit v1.2.3