cprover
popcount.cpp File Reference
#include "expr_lowering.h"
#include <util/arith_tools.h>
#include <util/invariant.h>
#include <util/pointer_offset_size.h>
#include <util/std_expr.h>
+ Include dependency graph for popcount.cpp:

Go to the source code of this file.

Functions

exprt lower_popcount (const popcount_exprt &expr, const namespacet &ns)
 Lower a popcount_exprt to arithmetic and logic expressions. More...
 

Function Documentation

◆ lower_popcount()

exprt lower_popcount ( const popcount_exprt expr,
const namespacet ns 
)

Lower a popcount_exprt to arithmetic and logic expressions.

Parameters
exprInput expression to be translated
nsNamespace for type lookups
Returns
Semantically equivalent expression

Definition at line 16 of file popcount.cpp.