Module de.learnlib.algorithm.lsharp

Package de.learnlib.algorithm.lsharp

Interface ObservationTree<S extends Comparable<S>,I,O>

All Known Implementing Classes:

NormalObservationTree

public interface ObservationTree<S extends Comparable<S>,I,O>

Method Summary

Modifier and Type	Method	Description
S	defaultState()
net.automatalib.word.Word<I>	getAccessSeq(S state)
net.automatalib.alphabet.Alphabet<I>	getInputAlphabet()
@Nullable net.automatalib.word.Word<O>	getObservation(@Nullable S start, net.automatalib.word.Word<I> input)
default @Nullable O	getOut(S src, I input)
@Nullable net.automatalib.common.util.Pair<O,S>	getOutSucc(S src, I input)
@Nullable S	getSucc(S src, net.automatalib.word.Word<I> input)
net.automatalib.word.Word<I>	getTransferSeq(S toState, S fromState)
S	insertObservation(@Nullable S start, net.automatalib.word.Word<I> input, net.automatalib.word.Word<O> output)

Method Detail

defaultState

S defaultState()

insertObservation

S insertObservation(@Nullable S start,
                    net.automatalib.word.Word<I> input,
                    net.automatalib.word.Word<O> output)

getAccessSeq

net.automatalib.word.Word<I> getAccessSeq(S state)

getTransferSeq

net.automatalib.word.Word<I> getTransferSeq(S toState,
                                            S fromState)

getObservation

@Nullable net.automatalib.word.Word<O> getObservation(@Nullable S start,
                                                      net.automatalib.word.Word<I> input)

getOutSucc

@Nullable net.automatalib.common.util.Pair<O,S> getOutSucc(S src,
                                                                 I input)

getOut

default @Nullable O getOut(S src,
                           I input)

getSucc

@Nullable S getSucc(S src,
                    net.automatalib.word.Word<I> input)

getInputAlphabet

net.automatalib.alphabet.Alphabet<I> getInputAlphabet()