CBMC: /home/runner/work/cbmc/cbmc/src/util/std_code

CBMC: /home/runner/work/cbmc/cbmc/src/util/std_code_base.h File Reference

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

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

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)

Classes