cpp_template_args.h File Reference

#include <util/expr.h>
#include <util/invariant.h>

Include dependency graph for cpp_template_args.h:

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

Go to the source code of this file.

Classes
class	cpp_template_args_baset
class	cpp_template_args_non_tct
class	cpp_template_args_tct

Functions
cpp_template_args_non_tct &	to_cpp_template_args_non_tc (irept &irep)
const cpp_template_args_non_tct &	to_cpp_template_args_non_tc (const irept &irep)
cpp_template_args_tct &	to_cpp_template_args_tc (irept &irep)
const cpp_template_args_tct &	to_cpp_template_args_tc (const irept &irep)

Detailed Description

C++ Language Type Checking

Definition in file cpp_template_args.h.

Function Documentation

to_cpp_template_args_non_tc() [1/2]

const cpp_template_args_non_tct& to_cpp_template_args_non_tc ( const irept &  irep )

inline

Definition at line 55 of file cpp_template_args.h.

to_cpp_template_args_non_tc() [2/2]

cpp_template_args_non_tct& to_cpp_template_args_non_tc ( irept &  irep )

inline

Definition at line 48 of file cpp_template_args.h.

to_cpp_template_args_tc() [1/2]

const cpp_template_args_tct& to_cpp_template_args_tc ( const irept &  irep )

inline

Definition at line 88 of file cpp_template_args.h.

to_cpp_template_args_tc() [2/2]

cpp_template_args_tct& to_cpp_template_args_tc ( irept &  irep )

inline

Definition at line 82 of file cpp_template_args.h.