std_code_base.h File Reference

#include "expr_cast.h"
#include "invariant.h"
#include "std_types.h"
#include "validate.h"

Include dependency graph for std_code_base.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	codet
	Data structure for representing an arbitrary statement in a program. More...

Namespaces
	detail

Functions
template<typename Tag >
bool	detail::can_cast_code_impl (const exprt &expr, const Tag &tag)
template<>
bool	can_cast_expr< codet > (const exprt &base)
const codet &	to_code (const exprt &expr)
codet &	to_code (exprt &expr)

Function Documentation

can_cast_expr< codet >()

template<>

bool can_cast_expr< codet > ( const exprt &  base )

inline

Definition at line 96 of file std_code_base.h.

to_code() [1/2]

const codet& to_code ( const exprt &  expr )

inline

Definition at line 104 of file std_code_base.h.

to_code() [2/2]

codet& to_code ( exprt &  expr )

inline

Definition at line 110 of file std_code_base.h.