#include <template_map.h>

Collaboration diagram for template_mapt:

Public Types
typedef std::map< irep_idt, typet >	type_mapt

typedef std::map< irep_idt, exprt >	expr_mapt

Public Member Functions
void	apply (exprt &dest) const

void	apply (typet &dest) const

void	swap (template_mapt &template_map)

exprt	lookup (const irep_idt &identifier) const

typet	lookup_type (const irep_idt &identifier) const

exprt	lookup_expr (const irep_idt &identifier) const

void	print (std::ostream &out) const

void	clear ()

void	set (const template_parametert &parameter, const exprt &value)

void	build (const template_typet &template_type, const cpp_template_args_tct &template_args)

void	build_unassigned (const template_typet &template_type)

cpp_template_args_tct	build_template_args (const template_typet &template_type) const

Public Attributes
type_mapt	type_map

expr_mapt	expr_map

Detailed Description

Definition at line 25 of file template_map.h.

Member Typedef Documentation

◆ expr_mapt

typedef std::map<irep_idt, exprt> template_mapt::expr_mapt

Definition at line 30 of file template_map.h.

◆ type_mapt

typedef std::map<irep_idt, typet> template_mapt::type_mapt

Definition at line 29 of file template_map.h.

Member Function Documentation

◆ apply() [1/2]

void template_mapt::apply ( exprt & dest ) const

Definition at line 73 of file template_map.cpp.

◆ apply() [2/2]

void template_mapt::apply ( typet & dest ) const

Definition at line 23 of file template_map.cpp.

◆ build()

void template_mapt::build	(	const template_typet &	template_type,
		const cpp_template_args_tct &	template_args
	)

Definition at line 145 of file template_map.cpp.

◆ build_template_args()

cpp_template_args_tct template_mapt::build_template_args ( const template_typet & template_type ) const

Definition at line 236 of file template_map.cpp.

◆ build_unassigned()

void template_mapt::build_unassigned ( const template_typet & template_type )

Definition at line 214 of file template_map.cpp.

◆ clear()

void template_mapt::clear ( void )

inline

Definition at line 49 of file template_map.h.

◆ lookup()

exprt template_mapt::lookup ( const irep_idt & identifier ) const

Definition at line 93 of file template_map.cpp.

◆ lookup_expr()

exprt template_mapt::lookup_expr ( const irep_idt & identifier ) const

Definition at line 125 of file template_map.cpp.

◆ lookup_type()

typet template_mapt::lookup_type ( const irep_idt & identifier ) const

Definition at line 114 of file template_map.cpp.

◆ print()

void template_mapt::print ( std::ostream & out ) const

Definition at line 136 of file template_map.cpp.

◆ set()

void template_mapt::set	(	const template_parametert &	parameter,
		const exprt &	value
	)

Definition at line 188 of file template_map.cpp.

◆ swap()

void template_mapt::swap ( template_mapt & template_map )

inline

Definition at line 37 of file template_map.h.

Member Data Documentation

◆ expr_map

expr_mapt template_mapt::expr_map

Definition at line 32 of file template_map.h.

◆ type_map

type_mapt template_mapt::type_map

Definition at line 31 of file template_map.h.

The documentation for this class was generated from the following files:

/home/runner/work/cbmc/cbmc/src/cpp/template_map.h
/home/runner/work/cbmc/cbmc/src/cpp/template_map.cpp

Public Types

Public Member Functions

Public Attributes