Uses of Interface
de.learnlib.algorithm.lsharp.ObservationTree

Packages that use ObservationTree

Package	Description
de.learnlib.algorithm.lsharp
de.learnlib.algorithm.lsharp.ads

Uses of ObservationTree in de.learnlib.algorithm.lsharp

Classes in de.learnlib.algorithm.lsharp that implement ObservationTree

Modifier and Type	Class	Description
class	NormalObservationTree<I,O>

Methods in de.learnlib.algorithm.lsharp with parameters of type ObservationTree

Modifier and Type	Method	Description
static <S extends Comparable<S>,I,O> boolean	ApartnessUtil.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>	ApartnessUtil.computeWitness(ObservationTree<S,I,O> tree, S s1, S s2)
static <S extends Comparable<S>,I,O> @Nullable S	ApartnessUtil.showsStatesAreApart(ObservationTree<S,I,O> tree, S s1, S s2)
static <S extends Comparable<S>,I,O> boolean	ApartnessUtil.statesAreApart(ObservationTree<S,I,O> tree, S s1, S s2)
static <S1 extends Comparable<S1>,S2,I,O> @Nullable net.automatalib.word.Word<I>	ApartnessUtil.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	ApartnessUtil.treeAndHypShowsStatesAreApart(ObservationTree<S1,I,O> tree, S1 st, S2 sh, net.automatalib.automaton.transducer.MealyMachine<S2,I,?,O> fsm)

Uses of ObservationTree in de.learnlib.algorithm.lsharp.ads

Methods in de.learnlib.algorithm.lsharp.ads with parameters of type ObservationTree

Modifier and Type	Method	Description
static <S extends Comparable<S>,I,O> net.automatalib.common.util.Pair<Integer,net.automatalib.common.util.Pair<O,ADSNode<I,O>>>	ADSTree.computeOSubtree(ObservationTree<S,I,O> tree, O o, List<S> oPart, @Nullable O sinkOut, int ui)
static <S extends Comparable<S>,I,O> ADSNode<I,O>	ADSTree.constructADS(ObservationTree<S,I,O> tree, Collection<S> currentBlock, @Nullable O sinkOut)
static <S extends Comparable<S>,I,O> net.automatalib.common.util.Pair<I,Integer>	ADSTree.maximalBaseInput(ObservationTree<S,I,O> tree, Collection<S> currentBlock, Map<I,net.automatalib.common.util.Pair<Integer,Integer>> splitScore)

Constructors in de.learnlib.algorithm.lsharp.ads with parameters of type ObservationTree

Constructor	Description
ADSTree(ObservationTree<S,I,O> tree, Collection<S> currentBlock, @Nullable O sinkOut)