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>

Include dependency graph for expr.h:

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)

Macro Definition Documentation

Forall_expr

#define Forall_expr	(		it,
			expr )

Value:

for(exprt::operandst::iterator it=(expr).begin(); \
    it!=(expr).end(); ++it)

Definition at line 37 of file expr.h.

forall_expr

#define forall_expr	(		it,
			expr )

Value:

for(exprt::operandst::const_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()) /* NOLINT(readability/braces) */ \
  for(exprt::operandst::iterator it=(expr).operands().begin(); \
      it!=(expr).operands().end(); ++it)

Definition at line 28 of file expr.h.

forall_operands

#define forall_operands	(		it,
			expr )

Value:

for(exprt::operandst::const_iterator                                         \
      it = as_const(expr).operands().begin(),                                \
      it##_end = as_const(expr).operands().end();                            \
    it != it##_end;                                                          \
    ++it)

Definition at line 21 of file expr.h.