From c890440fd94077ec76cf85a4dcc0bd9fb3067d3e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 3 Oct 2012 22:10:30 -0700 Subject: C++ portability changes. --- src/bool/lucky/lucky.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/bool/lucky/lucky.c') diff --git a/src/bool/lucky/lucky.c b/src/bool/lucky/lucky.c index cd480176..cf4cc4e2 100644 --- a/src/bool/lucky/lucky.c +++ b/src/bool/lucky/lucky.c @@ -157,7 +157,7 @@ void freeArrayB(word* b) // if highest bit in F ( all ones min term ) is one => inverse // if pInOnt changed(minimized) by function return 1 if not 0 -// inline int minimalInitialFlip_propper(word* pInOut, word* pDuplicat, int nVars) +// int minimalInitialFlip_propper(word* pInOut, word* pDuplicat, int nVars) // { // word oneWord=1; // Kit_TruthCopy_64bit( pDuplicat, pInOut, nVars ); @@ -169,7 +169,7 @@ void freeArrayB(word* b) // } // return 0; // } -// inline int minimalFlip(word* pInOut, word* pMinimal, word* PDuplicat, int nVars) +// int minimalFlip(word* pInOut, word* pMinimal, word* PDuplicat, int nVars) // { // int i; // int blockSize = Kit_TruthWordNum_64bit( nVars )*sizeof(word); @@ -188,7 +188,7 @@ void freeArrayB(word* b) // else // return 1; // } -// inline int minimalSwap(word* pInOut, word* pMinimal, word* PDuplicat, int nVars) +// int minimalSwap(word* pInOut, word* pMinimal, word* PDuplicat, int nVars) // { // int i; // int blockSize = Kit_TruthWordNum_64bit( nVars )*sizeof(word); @@ -561,7 +561,7 @@ int luckyCheck(word* pAfter, word* pBefore, int nVars, char * pCanonPerm, unsign ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// -inline void luckyCanonicizer(word* pInOut, word* pAux, word* pAux1, int nVars, char * pCanonPerm, char * tempArray, unsigned* p_uCanonPhase) +void luckyCanonicizer(word* pInOut, word* pAux, word* pAux1, int nVars, char * pCanonPerm, char * tempArray, unsigned* p_uCanonPhase) { int counter=1; assert( nVars <= 16 ); -- cgit v1.2.3