Package de.learnlib.algorithm.adt.ads
-
Class Summary Class Description DefensiveADS<S,I,O> A variant of the backtracking ADS search (seeADS,BacktrackingSearch), that works on partially defined automata.
| Class | Description |
|---|---|
| DefensiveADS<S,I,O> |
A variant of the backtracking ADS search (see
ADS, BacktrackingSearch), that works on partially defined automata. |