Index of class ADT.History create() flush() get_first_entry_num() get_latest_entry_num() get_maxsize() push() query_no_adjacent_duplicates() set_maxsize() set_no_adjacent_duplicates()