org.processmining.multilayeralignment.algorithms

Class VisitedHashSet

java.lang.Object

org.processmining.multilayeralignment.algorithms.VisitedHashSet

All Implemented Interfaces:

VisitedSet

public class VisitedHashSet
extends java.lang.Object
implements VisitedSet

Field Summary

Fields

Modifier and Type	Field and Description
static int	NEV

Constructor Summary

Constructors

Constructor and Description
VisitedHashSet(ReplayAlgorithm algorithm, int initialCapacity) Initializes a closed set with the given initial capacity

Method Summary

Modifier and Type	Method and Description
int	add(byte[] marking, int newIndex) Add a marking to the set of visited markings.
int	capacity() returns the current capacity of the set, including the non-used slots.
void	clear() empties the set and restores it to its original state
ReplayAlgorithm	getAlgorithm() Return the algorithm for which this closedSet is used.
long	getEstimatedMemorySize() returns the maximum memory use in bytes the queue ever had.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NEV

public static final int NEV

See Also:

Constant Field Values

Constructor Detail

VisitedHashSet

public VisitedHashSet(ReplayAlgorithm algorithm,
                      int initialCapacity)

Initializes a closed set with the given initial capacity

Parameters:

algorithm -

initialCapacity -

Method Detail

getAlgorithm

public ReplayAlgorithm getAlgorithm()

Description copied from interface: VisitedSet

Return the algorithm for which this closedSet is used.

Specified by:

getAlgorithm in interface VisitedSet

Returns:

add

public int add(byte[] marking,
               int newIndex)

Description copied from interface: VisitedSet

Add a marking to the set of visited markings. If it already exists, return it's number, otherwise add it and return newIndex

Specified by:

add in interface VisitedSet

Parameters:

marking - the byte[] indicating the number of tokens per place

Returns:

the id of the marking in the set. If the marking existed before, the existing ID is returned, otherwise a new successive ID is returned.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

capacity

public int capacity()

Description copied from interface: VisitedSet

returns the current capacity of the set, including the non-used slots.

Specified by:

capacity in interface VisitedSet

Returns:

clear

public void clear()

Description copied from interface: VisitedSet

empties the set and restores it to its original state

Specified by:

clear in interface VisitedSet

getEstimatedMemorySize

public long getEstimatedMemorySize()

returns the maximum memory use in bytes the queue ever had.

Specified by:

getEstimatedMemorySize in interface VisitedSet

Returns: