Struct NameRecyclingResult¶
Defined in File name_recycling.hpp
Struct Documentation¶
-
struct NameRecyclingResult¶
Statistics about the outcome of recycle_intermediate_names.
Defined in File name_recycling.hpp
Statistics about the outcome of recycle_intermediate_names.