diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-12 14:11:33 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-12 14:11:33 +0200 |
| commit | 1aed74edb0a2e63aac37a66626d8c7d3cc18ab5b (patch) | |
| tree | 0570c632a854dcce4e83a8360d507c53c34c68e9 /src/bdd | |
| parent | 5560011ff619c2af607937401a48d10dd2d55f42 (diff) | |
| download | abc-1aed74edb0a2e63aac37a66626d8c7d3cc18ab5b.tar.gz abc-1aed74edb0a2e63aac37a66626d8c7d3cc18ab5b.tar.bz2 abc-1aed74edb0a2e63aac37a66626d8c7d3cc18ab5b.zip | |
Compiler warning.
Diffstat (limited to 'src/bdd')
| -rw-r--r-- | src/bdd/extrab/extraBddMaxMin.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/bdd/extrab/extraBddMaxMin.c b/src/bdd/extrab/extraBddMaxMin.c index fc424f80..22d2b00a 100644 --- a/src/bdd/extrab/extraBddMaxMin.c +++ b/src/bdd/extrab/extraBddMaxMin.c @@ -476,7 +476,7 @@ extraZddMaxUnion( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddMaxUnion(dd, T, S); /* check cache */ @@ -585,7 +585,7 @@ extraZddMinUnion( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddMinUnion(dd, T, S); /* check cache */ @@ -690,7 +690,7 @@ extraZddDotProduct( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddDotProduct(dd, T, S); /* check cache */ @@ -815,7 +815,7 @@ extraZddCrossProduct( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddCrossProduct(dd, T, S); /* check cache */ @@ -956,7 +956,7 @@ extraZddMaxDotProduct( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddMaxDotProduct(dd, T, S); /* check cache */ |