CBMC: /home/runner/work/cbmc/cbmc/src/util/expr.h File Reference
#include "as_const.h"
#include "deprecate.h"
#include "type.h"
#include "validate_expressions.h"
#include "validate_types.h"
#include "validation_mode.h"
#include <functional>
Go to the source code of this file.
Classes | |
| class | exprt |
| Base class for all expressions. More... | |
| class | expr_protectedt |
| Base class for all expressions. More... | |
| class | expr_visitort |
| class | const_expr_visitort |
Macros | |
| #define | forall_operands(it, expr) |
| #define | Forall_operands(it, expr) |
| #define | forall_expr(it, expr) |
| #define | Forall_expr(it, expr) |
◆ forall_expr
| #define forall_expr | ( | it, | |
| expr | |||
| ) |
◆ Forall_expr
| #define Forall_expr | ( | it, | |
| expr | |||
| ) |
◆ forall_operands
| #define forall_operands | ( | it, | |
| expr | |||
| ) |
Value:
for(exprt::operandst::const_iterator \
it = as_const(expr).operands().begin(), \
it != it##_end; \
++it)
const T & as_const(T &value)
Return a reference to the same object but ensures the type is const.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...