diff options
Diffstat (limited to 'src/bool/lucky/luckyInt.h')
-rw-r--r-- | src/bool/lucky/luckyInt.h | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h index 4801b961..f236693c 100644 --- a/src/bool/lucky/luckyInt.h +++ b/src/bool/lucky/luckyInt.h @@ -24,13 +24,16 @@ #include <math.h> #include <time.h> - // comment out this line to run Lucky Code outside of ABC #define _RUNNING_ABC_ #ifdef _RUNNING_ABC_ + #include "misc/util/abc_global.h" +#include "lucky.h" + #else + #define ABC_NAMESPACE_HEADER_START #define ABC_NAMESPACE_HEADER_END #define ABC_NAMESPACE_IMPL_START @@ -42,6 +45,18 @@ typedef unsigned __int64 word; #define inline __inline // compatible with MS VS 6.0 #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (num))) // #define LUCKY_VERIFY + +typedef struct +{ + int varN; + int* swapArray; + int swapCtr; + int totalSwaps; + int* flipArray; + int flipCtr; + int totalFlips; +}permInfo; + #endif @@ -71,17 +86,6 @@ typedef struct int positionToSwap2; } swapInfo; -typedef struct -{ - int varN; - int* swapArray; - int swapCtr; - int totalSwaps; - int* flipArray; - int flipCtr; - int totalFlips; -}permInfo; - static inline void TimePrint( char* Message ) { |