Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
ADT
ADT.History

Methods
 _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()
previousADT.History()->`[]=()
ADT.History()->flush()next

Method ADT.History()->create()

Method create

void ADT.History(int max_size)

Description

max_size is the maximum number of entries that can reside in the history at the same time.