Module de.learnlib.algorithm.lsharp

Package de.learnlib.algorithm.lsharp

Class ApartnessUtil

java.lang.Object

de.learnlib.algorithm.lsharp.ApartnessUtil

public final class ApartnessUtil
extends Object

Method Summary

Modifier and Type	Method	Description
static <S extends Comparable<S>,I,O> boolean	accStatesAreApart(ObservationTree<S,I,O> tree, net.automatalib.word.Word<I> s1a, net.automatalib.word.Word<I> s2a)
static <S extends Comparable<S>,I,O> @Nullable net.automatalib.word.Word<I>	computeWitness(ObservationTree<S,I,O> tree, S s1, S s2)
static <S extends Comparable<S>,I,O> @Nullable S	showsStatesAreApart(ObservationTree<S,I,O> tree, S s1, S s2)
static <S extends Comparable<S>,I,O> boolean	statesAreApart(ObservationTree<S,I,O> tree, S s1, S s2)
static <S1 extends Comparable<S1>,S2,I,O> @Nullable net.automatalib.word.Word<I>	treeAndHypComputeWitness(ObservationTree<S1,I,O> tree, S1 st, net.automatalib.automaton.transducer.MealyMachine<S2,I,?,O> fsm, S2 sh)
static <S1 extends Comparable<S1>,S2,I,O> @Nullable S1	treeAndHypShowsStatesAreApart(ObservationTree<S1,I,O> tree, S1 st, S2 sh, net.automatalib.automaton.transducer.MealyMachine<S2,I,?,O> fsm)

Methods inherited from class java.lang.Object

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

Method Detail

computeWitness

public static <S extends Comparable<S>,I,O> @Nullable net.automatalib.word.Word<I> computeWitness(ObservationTree<S,I,O> tree,
                                                                                                              S s1,
                                                                                                              S s2)

statesAreApart

public static <S extends Comparable<S>,I,O> boolean statesAreApart(ObservationTree<S,I,O> tree,
                                                                               S s1,
                                                                               S s2)

accStatesAreApart

public static <S extends Comparable<S>,I,O> boolean accStatesAreApart(ObservationTree<S,I,O> tree,
                                                                                  net.automatalib.word.Word<I> s1a,
                                                                                  net.automatalib.word.Word<I> s2a)

treeAndHypComputeWitness

public static <S1 extends Comparable<S1>,S2,I,O> @Nullable net.automatalib.word.Word<I> treeAndHypComputeWitness(ObservationTree<S1,I,O> tree,
                                                                                                                                   S1 st,
                                                                                                                                   net.automatalib.automaton.transducer.MealyMachine<S2,I,?,O> fsm,
                                                                                                                                   S2 sh)

treeAndHypShowsStatesAreApart

public static <S1 extends Comparable<S1>,S2,I,O> @Nullable S1 treeAndHypShowsStatesAreApart(ObservationTree<S1,I,O> tree,
                                                                                                              S1 st,
                                                                                                              S2 sh,
                                                                                                              net.automatalib.automaton.transducer.MealyMachine<S2,I,?,O> fsm)

showsStatesAreApart

public static <S extends Comparable<S>,I,O> @Nullable S showsStatesAreApart(ObservationTree<S,I,O> tree,
                                                                                        S s1,
                                                                                        S s2)