cprover
|
#include <util/expr.h>
Go to the source code of this file.
Functions | |
exprt | lower_byte_extract (const byte_extract_exprt &src, const namespacet &ns) |
rewrite byte extraction from an array to byte extraction from a concatenation of array index expressions More... | |
exprt | lower_byte_operators (const exprt &src, const namespacet &ns) |
bool | has_byte_operator (const exprt &src) |
exprt | lower_popcount (const popcount_exprt &expr, const namespacet &ns) |
Lower a popcount_exprt to arithmetic and logic expressions. More... | |
bool has_byte_operator | ( | const exprt & | src | ) |
Definition at line 630 of file byte_operators.cpp.
exprt lower_byte_extract | ( | const byte_extract_exprt & | src, |
const namespacet & | ns | ||
) |
rewrite byte extraction from an array to byte extraction from a concatenation of array index expressions
Definition at line 166 of file byte_operators.cpp.
exprt lower_byte_operators | ( | const exprt & | src, |
const namespacet & | ns | ||
) |
Definition at line 645 of file byte_operators.cpp.
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.