de.jstacs.motifDiscovery.history
Interface History

All Superinterfaces:

Cloneable, Storable

All Known Implementing Classes:

CappedHistory, NoRevertHistory, RestrictedRepeatHistory, SimpleHistory

public interface History
extends Cloneable, Storable

This interface is used to manage the history of some process.

Author:

Jan Grau, Jens Keilwagen

Method Summary

void	clear() This method clears the history, i.e.
History	clone() This method returns a deep copy of the instance
boolean	operationAllowed(int... op) Returns true if the specified operation is allowed, i.e.
void	operationPerfomed(int... op) This method puts an operation to the history.

Methods inherited from interface de.jstacs.Storable

toXML

Method Detail

operationAllowed

boolean operationAllowed(int... op)

Returns true if the specified operation is allowed, i.e. it does not conflict with any operation from the history.

Parameters:

op - the operation to be tested

Returns:

true if the specified operation is allowed

operationPerfomed

void operationPerfomed(int... op)

This method puts an operation to the history.

Parameters:

op - the performed operation

clear

void clear()

This method clears the history, i.e. it removes all operations from the history.

clone

History clone()
              throws CloneNotSupportedException

This method returns a deep copy of the instance

Returns:

a deep copy

Throws:

CloneNotSupportedException - if not possible

See Also:

Cloneable, Object.clone()