diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-03 15:41:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-03 15:41:50 -0800 |
| commit | 93ad6e7dd4d35716848a6a22b85828d93c5c7c91 (patch) | |
| tree | 5e48e3f0903b4b69b27d2508f5566c00f055ecc7 /src/bool | |
| parent | 505747d443b4e72af88777716b6f204491b29377 (diff) | |
| download | abc-93ad6e7dd4d35716848a6a22b85828d93c5c7c91.tar.gz abc-93ad6e7dd4d35716848a6a22b85828d93c5c7c91.tar.bz2 abc-93ad6e7dd4d35716848a6a22b85828d93c5c7c91.zip | |
Making public some APIs.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/lucky/luckySimple.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/bool/lucky/luckySimple.c b/src/bool/lucky/luckySimple.c index c38fc28c..f9128f3f 100644 --- a/src/bool/lucky/luckySimple.c +++ b/src/bool/lucky/luckySimple.c @@ -103,7 +103,7 @@ void fillInFlipArray(permInfo* pi) } -inline int factorial(int n) +static inline int factorial(int n) { return (n == 1 || n == 0) ? 1 : factorial(n - 1) * n; } @@ -129,14 +129,14 @@ void freePermInfoPtr(permInfo* x) free(x->swapArray); free(x); } -inline void minWord(word* a, word* b, word* minimal, int nVars) +static inline void minWord(word* a, word* b, word* minimal, int nVars) { if(memCompare(a, b, nVars) == -1) Kit_TruthCopy_64bit( minimal, a, nVars ); else Kit_TruthCopy_64bit( minimal, b, nVars ); } -inline void minWord3(word* a, word* b, word* minimal, int nVars) +static inline void minWord3(word* a, word* b, word* minimal, int nVars) { if (memCompare(a, b, nVars) <= 0) { |