Package net.automatalib.alphabet
Interface SupportsGrowingAlphabet<I>
-
- Type Parameters:
I
- input alphabet type
public interface SupportsGrowingAlphabet<I>
Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addAlphabetSymbol(I symbol)
Notifies the data structure that a new symbol should be added to the alphabet.
-
-
-
Method Detail
-
addAlphabetSymbol
void addAlphabetSymbol(I symbol)
Notifies the data structure that a new symbol should be added to the alphabet. Behavior depends on the implementation:- After adding a new symbol, the symbol-related data may either be initialized with default values or undefined.
- Duplicate symbols may: (1) be handled accordingly, (2) be ignored or (3) result in an error.
GrowingAlphabet
) to handle potentially shared state across multiple instances. If the needed requirements are not met, aGrowingAlphabetNotSupportedException
can be thrown.- Parameters:
symbol
- the symbol to add to the alphabet.- Throws:
GrowingAlphabetNotSupportedException
- if the data structure was not properly initialized (e.g. with aGrowingAlphabet
).
-
-