de.jstacs.motifDiscovery.history
Interfaces 
History
Classes 
CappedHistory
NoRevertHistory
RestrictedRepeatHistory
SimpleHistory