expr.h File Reference

#include <util/irep/location.h>
#include <util/irep/type.h>

Include dependency graph for expr.h:

Go to the source code of this file.

Classes
class	exprt

Macros
#define	forall_operands(it, expr)
#define	Forall_operands(it, expr)
#define	forall_expr(it, expr)
#define	Forall_expr(it, expr)
#define	forall_expr_list(it, expr)
#define	Forall_expr_list(it, expr)

Typedefs
typedef std::list< exprt >	expr_listt

Macro Definition Documentation

Forall_expr

#define Forall_expr	(		it,
			expr )

Value:

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

forall_expr

#define forall_expr	(		it,
			expr )

Value:

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

Forall_expr_list

#define Forall_expr_list	(		it,
			expr )

Value:

  for (expr_listt::iterator it = (expr).begin(); it != (expr).end(); it++)

forall_expr_list

#define forall_expr_list	(		it,
			expr )

Value:

  for (expr_listt::const_iterator it = (expr).begin(); it != (expr).end(); it++)

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++)

forall_operands

#define forall_operands	(		it,
			expr )

Value:

  if ((expr).has_operands())                                                   \
    for (exprt::operandst::const_iterator it = (expr).operands().begin();      \
         it != (expr).operands().end();                                        \
         it++)

Typedef Documentation

expr_listt

typedef std::list<exprt> expr_listt