public interface VisitedSet
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 set ever had.
|
ReplayAlgorithm getAlgorithm()
int add(byte[] marking, int newIndex)
marking
- the byte[] indicating the number of tokens per placelong getEstimatedMemorySize()
void clear()
int capacity()