de.jstacs.motifDiscovery.history

Interfaces

• History

Classes

• CappedHistory
• NoRevertHistory
• RestrictedRepeatHistory
• SimpleHistory