Skip to content

A
abc
Commit b87554b9 by Alan Mishchenko
Options

Improved algo for edge computation.

parent e37ec2aa
Showing with 1 additions and 1 deletions
src/aig/gia/giaSatEdge.c
...@@ -345,7 +345,7 @@ void Seg_ManCreateCnf( Seg_Man_t * p, int fTwo, int fVerbose ) ...@@ -345,7 +345,7 @@ void Seg_ManCreateCnf( Seg_Man_t * p, int fTwo, int fVerbose )
Vec_WecForEachLevel( vObjEdges, vLevel, i ) Vec_WecForEachLevel( vObjEdges, vLevel, i )
{ {
int v1, v2, v3, Var1, Var2, Var3; 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_IntForEachEntry( vLevel, Var1, v1 )
Vec_IntForEachEntryStart( vLevel, Var2, v2, v1 + 1 ) Vec_IntForEachEntryStart( vLevel, Var2, v2, v1 + 1 )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment