From 93ad6e7dd4d35716848a6a22b85828d93c5c7c91 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 3 Nov 2014 15:41:50 -0800 Subject: Making public some APIs. --- src/bool/lucky/luckySimple.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/bool/lucky') 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) { -- cgit v1.2.3