Index of class ADT.History _indices() _sizeof() _values() `[]() `[]=() create() flush() get_first_entry_num() get_latest_entry_num() get_maxsize() push() query_no_adjacent_duplicates() set_maxsize() set_no_adjacent_duplicates()