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

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.

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