Skip to content

A
abc
Unverified Commit 2050104f by alanminko Committed by GitHub
Options

Merge pull request #25 from hriener/common 

extraUtilPerm: Abc_ZddDiff.
parents 684f1ec7 148ea34a
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