Loading...

Searching...

No Matches

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::const_iterator it=(expr).begin(); \

it!=(expr).end(); ++it)

Definition at line 33 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 37 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)

as_const

const T & as_const(T &value)

Return a reference to the same object but ensures the type is const.

Definition as_const.h:14

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

Definition at line 21 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.