diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:52:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:52:54 -0700 |
| commit | 39fe23f079a44d8bfdd83b7e21ac7b61b69f3ee7 (patch) | |
| tree | da5d70bc789f1e612f6bc6fc75df5115529d664c /src/bool/lucky/luckyInt.h | |
| parent | 7a6cf9f48c924548c601a3caf63c68db3cbc346b (diff) | |
| download | abc-39fe23f079a44d8bfdd83b7e21ac7b61b69f3ee7.tar.gz abc-39fe23f079a44d8bfdd83b7e21ac7b61b69f3ee7.tar.bz2 abc-39fe23f079a44d8bfdd83b7e21ac7b61b69f3ee7.zip | |
Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.
Diffstat (limited to 'src/bool/lucky/luckyInt.h')
| -rw-r--r-- | src/bool/lucky/luckyInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h index 0e5de5c3..2e476f86 100644 --- a/src/bool/lucky/luckyInt.h +++ b/src/bool/lucky/luckyInt.h @@ -78,7 +78,7 @@ typedef struct int totalSwaps; int* flipArray; int flipCtr; - int totalFlips; + int totalFlips; }permInfo; |