expr.h File Reference

#include "as_const.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::const_iterator it=(expr).begin(); \
      it!=(expr).end(); ++it)

Definition at line 32 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 36 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 20 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 27 of file expr.h.