Skip to content

A
abc
Commit 148ea34a by Heinz Riener
Options

extraUtilPerm: Abc_ZddDiff.

parent 14d985a8
Showing with 1 additions and 1 deletions
src/misc/extra/extraUtilPerm.c
...@@ -269,7 +269,7 @@ int Abc_ZddDiff( Abc_ZddMan * p, int a, int b ) ...@@ -269,7 +269,7 @@ int Abc_ZddDiff( Abc_ZddMan * p, int a, int b )
else else
r0 = Abc_ZddDiff( p, A->False, B->False ), r0 = Abc_ZddDiff( p, A->False, B->False ),
r1 = Abc_ZddDiff( p, A->True, B->True ), r1 = Abc_ZddDiff( p, A->True, B->True ),
r = Abc_ZddUniqueCreate( p, A->Var, A->True, r0 ); r = Abc_ZddUniqueCreate( p, A->Var, r1, r0 );
return Abc_ZddCacheInsert( p, a, b, ABC_ZDD_OPER_DIFF, r ); return Abc_ZddCacheInsert( p, a, b, ABC_ZDD_OPER_DIFF, r );
} }
int Abc_ZddUnion( Abc_ZddMan * p, int a, int b ) int Abc_ZddUnion( Abc_ZddMan * p, int a, int b )
......
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