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. |