This is the complete list of members for create_deprecated_headers.HeaderSummary, including all inherited members.

__init__(self, int n_processed_hpps, List[str] bad_hpps)	create_deprecated_headers.HeaderSummary
__repr__(self)	create_deprecated_headers.HeaderSummary
bad_hpps	create_deprecated_headers.HeaderSummary
n_processed_hpps	create_deprecated_headers.HeaderSummary
were_all_hpps_processed(self)	create_deprecated_headers.HeaderSummary