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 voidaddAlphabetSymbol(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, aGrowingAlphabetNotSupportedExceptioncan 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).
-
-