cprover
Loading...
Searching...
No Matches
generic_parameter_specialization_mapt::printert Struct Reference

A wrapper for a generic_parameter_specialization_mapt and a namespacet that can be output to a stream. More...

#include <generic_parameter_specialization_map.h>

Collaboration diagram for generic_parameter_specialization_mapt::printert:

Public Member Functions

 printert (const generic_parameter_specialization_mapt &map, const namespacet &ns)

Public Attributes

const generic_parameter_specialization_maptmap
const namespacetns

Detailed Description

A wrapper for a generic_parameter_specialization_mapt and a namespacet that can be output to a stream.

Definition at line 61 of file generic_parameter_specialization_map.h.

Constructor & Destructor Documentation

◆ printert()

generic_parameter_specialization_mapt::printert::printert ( const generic_parameter_specialization_mapt & map,
const namespacet & ns )
inline

Definition at line 66 of file generic_parameter_specialization_map.h.

Member Data Documentation

◆ map

const generic_parameter_specialization_mapt& generic_parameter_specialization_mapt::printert::map

Definition at line 63 of file generic_parameter_specialization_map.h.

◆ ns

const namespacet& generic_parameter_specialization_mapt::printert::ns

Definition at line 64 of file generic_parameter_specialization_map.h.


The documentation for this struct was generated from the following file: