net.automatalib.util.automata.ads

Class ADS

java.lang.Object

net.automatalib.util.automata.ads.ADS

public final class ADS
extends Object

General purpose facade for computing adaptive distinguishing sequences. Delegates to LeeYannakakis, BacktrackingSearch (non-optimal) and StateEquivalence for the actual computation of the ADS.

Author:

frohme

Method Summary

Modifier and Type	Method and 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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 type

I - input alphabet type

O - output alphabet type

Parameters:

automaton - the automaton for which an ADS should be computed

input - the input alphabet of the automaton

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