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_mapt &	map
const namespacet &	ns

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:

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/generic_parameter_specialization_map.h