Extracted from Pike v8.0 release 182 as of 2016-03-26.

[Top]
ADT
ADT.History

ADT.History()->get_maxsize() ADT.History()->query_no_adjacent_duplicates() next

Method ADT.History()->push()

Method push: void push(mixed value)
Description: Push a new value into the history.