cprover
expr.h File Reference
#include "deprecate.h"
#include "type.h"
#include "validate_expressions.h"
#include "validate_types.h"
#include "validation_mode.h"
+ 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 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()) /* NOLINT(readability/braces) */ \
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()) /* NOLINT(readability/braces) */ \
for(exprt::operandst::iterator it=(expr).operands().begin(); \
it!=(expr).operands().end(); ++it)

Definition at line 24 of file expr.h.