diff options
Diffstat (limited to 'src/aig/llb/llb3Image.c')
-rw-r--r-- | src/aig/llb/llb3Image.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llb3Image.c b/src/aig/llb/llb3Image.c index d040b342..1866a87c 100644 --- a/src/aig/llb/llb3Image.c +++ b/src/aig/llb/llb3Image.c @@ -355,7 +355,7 @@ Llb_NonlinPrint( p ); printf( "Conjoining partitions %d and %d.\n", pPart1->iPart, pPart2->iPart ); Extra_bddPrintSupport( p->dd, bCube ); printf( "\n" ); } - + // derive new function // bFunc = Cudd_bddAndAbstract( p->dd, pPart1->bFunc, pPart2->bFunc, bCube ); Cudd_Ref( bFunc ); bFunc = Cudd_bddAndAbstractLimit( p->dd, pPart1->bFunc, pPart2->bFunc, bCube, Limit ); |