generic_parameter_specialization_mapt::container_paramt Struct Reference

The index of the container and the type parameter inside that container. More...

Public Attributes
std::size_t	container_index
std::size_t	param_index

Detailed Description

The index of the container and the type parameter inside that container.

Definition at line 27 of file generic_parameter_specialization_map.h.

Member Data Documentation

container_index

std::size_t generic_parameter_specialization_mapt::container_paramt::container_index

Definition at line 29 of file generic_parameter_specialization_map.h.

param_index

std::size_t generic_parameter_specialization_mapt::container_paramt::param_index

Definition at line 30 of file generic_parameter_specialization_map.h.

---

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

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