CBMC
Loading...
Searching...
No Matches
Classes | Functions
cpp_template_args.h File Reference

C++ Language Type Checking. More...

#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

 
 
 

Functions

 
 
 
 

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 ireptirep )
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 ( ireptirep )
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 ireptirep )
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 ( ireptirep )
inline

Definition at line 82 of file cpp_template_args.h.

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