cprover
|
Go to the source code of this file.
Macros | |
#define | OPTIMAL_FULL_ADDER |
Generates the encoding of a full adder. More... | |
#define | COMPACT_CARRY |
#define COMPACT_CARRY |
Definition at line 229 of file bv_utils.cpp.
#define OPTIMAL_FULL_ADDER |
Generates the encoding of a full adder.
The optimal encoding is the default.
Definition at line 138 of file bv_utils.cpp.