Method ADT.History()->flush()

class ADT.History

Method flush

void flush()

Description

Empties the history. All entries in the history are removed, to allow garbage collect to remove them. The entry sequence counter is not reset.