Package de.learnlib
Interface AccessSequenceProvider<I>
-
- Type Parameters:
I
- input symbol type
- All Known Implementing Classes:
AbstractHypTrans
,ADTState
,HypIntTrans
,HypLoc
,HypRetTrans
,TTTState
,TTTStateDFA
,TTTStateMoore
,TTTTransition
,TTTTransitionMealy
public interface AccessSequenceProvider<I>
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Word<I>
getAccessSequence()
Retrieves the access sequence of this object.
-