diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:10:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:10:52 -0700 |
| commit | 0a9236add5e4c4f81dfff79f0ec24fc7d69cf323 (patch) | |
| tree | bfc10780aa3f30e9692e91448796074f2238d16a /src/bool/lucky/luckyInt.h | |
| parent | aed3b3a13acf9113cc4ec254933efce6114519be (diff) | |
| download | abc-0a9236add5e4c4f81dfff79f0ec24fc7d69cf323.tar.gz abc-0a9236add5e4c4f81dfff79f0ec24fc7d69cf323.tar.bz2 abc-0a9236add5e4c4f81dfff79f0ec24fc7d69cf323.zip | |
Improvements to the NPN semi-canonical form computation package.
Diffstat (limited to 'src/bool/lucky/luckyInt.h')
| -rw-r--r-- | src/bool/lucky/luckyInt.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h index 2e476f86..4801b961 100644 --- a/src/bool/lucky/luckyInt.h +++ b/src/bool/lucky/luckyInt.h @@ -41,6 +41,7 @@ typedef unsigned __int64 word; #define true 1 #define inline __inline // compatible with MS VS 6.0 #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (num))) +// #define LUCKY_VERIFY #endif @@ -118,9 +119,9 @@ extern permInfo* setPermInfoPtr(int var); extern void freePermInfoPtr(permInfo* x); extern inline void Kit_TruthSemiCanonicize_Yasha_simple( word* pInOut, int nVars, int * pStore ); extern inline unsigned Kit_TruthSemiCanonicize_Yasha( word* pInOut, int nVars, char * pCanonPerm); -extern inline unsigned Kit_TruthSemiCanonicize_Yasha1( word* pInOut, int nVars, char * pCanonPerm, int * pStore ); -extern inline word luckyCanonicizer_final_fast_6Vars(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase ); -extern inline void luckyCanonicizer_final_fast_16Vars(word* pInOut, int nVars, int nWords, int * pStore, char * pCanonPerm, unsigned* pCanonPhase); +extern inline unsigned Kit_TruthSemiCanonicize_Yasha1( word* pInOut, int nVars, char * pCanonPerm, int * pStore); +extern inline word luckyCanonicizer_final_fast_6Vars(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase); +extern inline word luckyCanonicizer_final_fast_6Vars1(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase); extern inline void resetPCanonPermArray_6Vars(char* x); extern void swap_ij( word* f,int totalVars, int varI, int varJ); extern inline unsigned adjustInfoAfterSwap(char* pCanonPerm, unsigned uCanonPhase, int iVar, unsigned info); |