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 29 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 33 of file expr.h.
◆ forall_operands
#define forall_operands |
( |
|
it, |
|
|
|
expr |
|
) |
| |
Value: if((expr).has_operands()) \
for(exprt::operandst::const_iterator it=(expr).operands().begin(), \
it##_end=(expr).operands().end(); \
it!=it##_end; ++it)
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 24 of file expr.h.