Loading...

Searching...

No Matches

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:

Classes

class codet

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

Namespaces

namespace detail

template<typename Tag >

template<>

template<>

inline

Definition at line 96 of file std_code_base.h.

const codet & to_code ( const exprt & expr )

inline

Definition at line 104 of file std_code_base.h.

codet & to_code ( exprt & expr )

inline

Definition at line 110 of file std_code_base.h.