diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-03 22:11:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-03 22:11:55 -0700 |
| commit | 55594441265e413a1535ab7e29d4961179d0d5d9 (patch) | |
| tree | 45e99f822f28d46f919daeda21563e1b1691648a /src/bool/lucky | |
| parent | c890440fd94077ec76cf85a4dcc0bd9fb3067d3e (diff) | |
| download | abc-55594441265e413a1535ab7e29d4961179d0d5d9.tar.gz abc-55594441265e413a1535ab7e29d4961179d0d5d9.tar.bz2 abc-55594441265e413a1535ab7e29d4961179d0d5d9.zip | |
C++ portability changes.
Diffstat (limited to 'src/bool/lucky')
| -rw-r--r-- | src/bool/lucky/luckyFast6.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/bool/lucky/luckyFast6.c b/src/bool/lucky/luckyFast6.c index c5b18b93..3105e2e8 100644 --- a/src/bool/lucky/luckyFast6.c +++ b/src/bool/lucky/luckyFast6.c @@ -48,7 +48,7 @@ void resetPCanonPermArray(char* x, int nVars) } -inline unsigned adjustInfoAfterSwap(char* pCanonPerm, unsigned uCanonPhase, int iVar, unsigned info) +unsigned adjustInfoAfterSwap(char* pCanonPerm, unsigned uCanonPhase, int iVar, unsigned info) { if(info<4) return (uCanonPhase ^= (info << iVar)); @@ -262,12 +262,12 @@ inline word Extra_Truth6MinimumRoundMany1( word t, int* pStore, char* pCanonPerm return Extra_Truth6MinimumRoundMany( t, pStore, pCanonPerm, pCanonPhase); } -inline word luckyCanonicizer_final_fast_6Vars(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase) +word luckyCanonicizer_final_fast_6Vars(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase) { (* pCanonPhase) = Kit_TruthSemiCanonicize_Yasha1( &InOut, 6, pCanonPerm, pStore); return Extra_Truth6MinimumRoundMany1(InOut, pStore, pCanonPerm, pCanonPhase); } -inline word luckyCanonicizer_final_fast_6Vars1(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase ) +word luckyCanonicizer_final_fast_6Vars1(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase ) { (* pCanonPhase) = Kit_TruthSemiCanonicize_Yasha1( &InOut, 6, pCanonPerm, pStore); InOut = Extra_Truth6MinimumRoundMany1(InOut, pStore, pCanonPerm, pCanonPhase); |