CBMC
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:
+ This graph shows which files directly or indirectly include this file:

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)
const T & as_const(T &value)
Return a reference to the same object but ensures the type is const.
Definition: as_const.h:14

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.