CBMC
Loading...
Searching...
No Matches
Classes | Namespaces | Functions
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

namespace   detail
 

Functions

template<typename Tag >
 
template<>
 
 
codetto_code (exprt &expr)
 

Function Documentation

◆  can_cast_expr< codet >()

template<>
bool can_cast_expr< codet > ( const exprtbase )
inline

Definition at line 96 of file std_code_base.h.

◆  to_code() [1/2]

const codet & to_code ( const exprtexpr )
inline

Definition at line 104 of file std_code_base.h.

◆  to_code() [2/2]

codet & to_code ( exprtexpr )
inline

Definition at line 110 of file std_code_base.h.

AltStyle によって変換されたページ (->オリジナル) /