Package net.automatalib.alphabet
Interface SupportsGrowingAlphabet<I>
-
- Type Parameters:
I
- input alphabet type
- All Known Subinterfaces:
AdaptiveMealyBuilder<I,O>
,IncrementalDFABuilder<I>
,IncrementalMealyBuilder<I,O>
,IncrementalMooreBuilder<I,O>
,MealyBuilder<I,O>
- All Known Implementing Classes:
AbstractCompact
,AbstractCompactDeterministic
,AbstractCompactMTS
,AbstractCompactSimpleDeterministic
,AbstractCompactSimpleNondet
,AbstractFastMutable
,AbstractFastMutableDet
,AbstractFastMutableNondet
,AbstractIncrementalDFABuilder
,AdaptiveMealyTreeBuilder
,CompactDFA
,CompactMealy
,CompactMoore
,CompactMTS
,CompactNFA
,CompactSST
,DynamicIncrementalMealyTreeBuilder
,FastDFA
,FastMealy
,FastMoore
,FastNFA
,FastProbMealy
,IncrementalDFADAGBuilder
,IncrementalDFATreeBuilder
,IncrementalMealyDAGBuilder
,IncrementalMealyTreeBuilder
,IncrementalMooreDAGBuilder
,IncrementalMooreTreeBuilder
,IncrementalPCDFADAGBuilder
,IncrementalPCDFATreeBuilder
,UniversalCompactDet
,UniversalCompactSimpleDet
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
).
-
-