Package de.learnlib.algorithm.aaar
Interface ExplicitInitialAbstraction<AI,CI>
-
- Type Parameters:
AI
- abstract input symbol typeCI
- concrete input symbol type
- All Superinterfaces:
Abstraction<AI,CI>
public interface ExplicitInitialAbstraction<AI,CI> extends Abstraction<AI,CI>
This interface denotes anAbstraction
that additionally provides an initial classification of abstract input symbols.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Collection<AI>
getInitialAbstracts()
Return the initial collection of abstract symbols.-
Methods inherited from interface de.learnlib.algorithm.aaar.Abstraction
getAbstractSymbol, getRepresentative
-
-
-
-
Method Detail
-
getInitialAbstracts
Collection<AI> getInitialAbstracts()
Return the initial collection of abstract symbols.- Returns:
- the initial collection of abstract symbols
-
-