cprover
template_mapt Class Reference

#include <template_map.h>

Collaboration diagram for template_mapt:
[legend]

Public Types

typedef std::map< irep_idt, typettype_mapt
 
typedef std::map< irep_idt, exprtexpr_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 23 of file template_map.h.

Member Typedef Documentation

◆ expr_mapt

Definition at line 28 of file template_map.h.

◆ type_mapt

Definition at line 27 of file template_map.h.

Member Function Documentation

◆ apply() [1/2]

void template_mapt::apply ( exprt dest) const

◆ apply() [2/2]

void template_mapt::apply ( typet dest) const

◆ build()

◆ build_template_args()

◆ build_unassigned()

◆ clear()

void template_mapt::clear ( void  )
inline

Definition at line 47 of file template_map.h.

References expr_map, and type_map.

◆ lookup()

exprt template_mapt::lookup ( const irep_idt identifier) const

◆ lookup_expr()

exprt template_mapt::lookup_expr ( const irep_idt identifier) const

Definition at line 120 of file template_map.cpp.

References expr_map, and get_nil_irep().

Referenced by build_template_args().

◆ lookup_type()

typet template_mapt::lookup_type ( const irep_idt identifier) const

Definition at line 109 of file template_map.cpp.

References get_nil_irep(), and type_map.

Referenced by build_template_args().

◆ print()

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

◆ set()

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

◆ swap()

void template_mapt::swap ( template_mapt template_map)
inline

Member Data Documentation

◆ expr_map

◆ type_map


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