29{

30public:

38

44

53

59

64

69

74

79};

85{

87 {

88 return ptr->get_statement() == tag;

89 }

90 return false;

91}

105{

107 return static_cast<const codet &>(expr);

108}

111{

113 return static_cast<codet &>(expr);

114}

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

Data structure for representing an arbitrary statement in a program.

codet(const irep_idt &statement, source_locationt loc)

codet(const irep_idt &statement)

codet(const irep_idt &statement, operandst op, source_locationt loc)

codet & first_statement()

In the case of a codet type that represents multiple statements, return the first of them.

codet & last_statement()

In the case of a codet type that represents multiple statements, return the last of them.

const irep_idt & get_statement() const

void set_statement(const irep_idt &statement)

codet(const irep_idt &statement, operandst _op)

dstringt has one field, an unsigned integer no which is an index into a static table of strings.

Base class for all expressions.

std::vector< exprt > operandst

const irep_idt & get(const irep_idt &name) const

void set(const irep_idt &name, const irep_idt &value)

const irep_idt & id() const

Templated functions to cast to specific exprt-derived classes.

bool can_cast_code_impl(const exprt &expr, const Tag &tag)

#define PRECONDITION(CONDITION)

bool can_cast_expr< codet >(const exprt &base)

const codet & to_code(const exprt &expr)