Go to the source code of this file.
◆ forall_expr
#define forall_expr |
( |
|
it, |
|
|
|
expr |
|
) |
| |
Value: for(exprt::operandst::const_iterator it=(expr).begin(); \
it!=(expr).end(); ++it)
Definition at line 30 of file expr.h.
◆ Forall_expr
#define Forall_expr |
( |
|
it, |
|
|
|
expr |
|
) |
| |
Value: for(exprt::operandst::iterator it=(expr).begin(); \
it!=(expr).end(); ++it)
Definition at line 34 of file expr.h.
◆ forall_operands
#define forall_operands |
( |
|
it, |
|
|
|
expr |
|
) |
| |
Value: for(exprt::operandst::const_iterator \
it =
as_const(expr).operands().begin(), \
++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...
Definition at line 18 of file expr.h.
◆ Forall_operands
#define Forall_operands |
( |
|
it, |
|
|
|
expr |
|
) |
| |
Value: if((expr).has_operands())
\
for(exprt::operandst::iterator it=(expr).operands().begin(); \
it!=(expr).operands().end(); ++it)
Definition at line 25 of file expr.h.