Class ADS
- java.lang.Object
-
- net.automatalib.util.automaton.ads.ADS
-
public final class ADS extends Object
General purpose facade for computing adaptive distinguishing sequences. Delegates toLeeYannakakis
,BacktrackingSearch
(non-optimal) andStateEquivalence
for the actual computation of the ADS.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,I,O>
Optional<ADSNode<S,I,O>>compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)
Compute an adaptive distinguishing sequence for the given automaton and the given set of states.
-
-
-
Method Detail
-
compute
public static <S,I,O> Optional<ADSNode<S,I,O>> compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)
Compute an adaptive distinguishing sequence for the given automaton and the given set of states.- Type Parameters:
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type- Parameters:
automaton
- the automaton for which an ADS should be computedinput
- the input alphabet of the automatonstates
- the set of states which should be distinguished by the computed ADS- Returns:
Optional.empty()
if there exists no ADS that distinguishes the given states, a valid ADS otherwise.
-
-