cprover
|
#include "expr_lowering.h"
#include <util/arith_tools.h>
#include <util/invariant.h>
#include <util/pointer_offset_size.h>
#include <util/std_expr.h>
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... | |
exprt lower_popcount | ( | const popcount_exprt & | expr, |
const namespacet & | ns | ||
) |
Lower a popcount_exprt to arithmetic and logic expressions.
expr | Input expression to be translated |
ns | Namespace for type lookups |
Definition at line 16 of file popcount.cpp.