Module de.learnlib.algorithm.adt
Package de.learnlib.algorithm.adt.automaton
-
Class Summary Class Description ADTHypothesis<I,O> Hypothesis model.ADTState<I,O> Hypothesis state model.ADTTransition<I,O> Hypothesis transition model.
Class | Description |
---|---|
ADTHypothesis<I,O> |
Hypothesis model.
|
ADTState<I,O> |
Hypothesis state model.
|
ADTTransition<I,O> |
Hypothesis transition model.
|