cprover
Loading...
Searching...
No Matches
bv_utils.cpp File Reference
#include "bv_utils.h"
+ Include dependency graph for bv_utils.cpp:

Go to the source code of this file.

Macros

#define OPTIMAL_FULL_ADDER
 Generates the encoding of a full adder.
 
#define COMPACT_CARRY
 

Macro Definition Documentation

◆ COMPACT_CARRY

#define COMPACT_CARRY

Definition at line 225 of file bv_utils.cpp.

◆ OPTIMAL_FULL_ADDER

#define OPTIMAL_FULL_ADDER

Generates the encoding of a full adder.

The optimal encoding is the default.

parameters: a, b, carry_in are the literals representing inputs
Returns
return value is the literal for the sum, carry_out gets the output carry

Definition at line 134 of file bv_utils.cpp.