Package de.learnlib.algorithm.lsharp

Class LSOracle<I,O>

java.lang.Object

de.learnlib.algorithm.lsharp.LSOracle<I,O>

public class LSOracle<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
LSOracle(AdaptiveMembershipOracle<I,O> sul, NormalObservationTree<I,O> obsTree, Rule2 rule2, Rule3 rule3, @Nullable net.automatalib.word.Word<I> sinkState, O sinkOutput, Random random)

Method Summary

Modifier and Type	Method	Description
net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,net.automatalib.word.Word<O>>	adaptiveOutputQuery(net.automatalib.word.Word<I> prefix, @Nullable I infix, ADSTree<Integer,I,O> suffix)
net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,net.automatalib.word.Word<O>>	adaptiveOutputQuery(net.automatalib.word.Word<I> prefix, ADSTree<Integer,I,O> suffix)
Integer	addObservation(net.automatalib.word.Word<I> i, net.automatalib.word.Word<O> o)
@Nullable net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,net.automatalib.word.Word<O>>	answerADSFromTree(ADSTree<Integer,I,O> ads, Integer fromState)
List<net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,List<net.automatalib.word.Word<I>>>>	exploreFrontier(Collection<net.automatalib.word.Word<I>> basis)
net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,List<net.automatalib.word.Word<I>>>	exploreFrontier(net.automatalib.word.Word<I> accQ, I i, Collection<net.automatalib.word.Word<I>> basis)
NormalObservationTree<I,O>	getTree()
List<net.automatalib.word.Word<I>>	identifyFrontier(net.automatalib.word.Word<I> fsAcc, List<net.automatalib.word.Word<I>> candidates)
void	makeSink(Integer s)
net.automatalib.word.Word<O>	outputQuery(net.automatalib.word.Word<I> inputSeq)

Methods inherited from class java.lang.Object

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

Constructor Detail

LSOracle

public LSOracle(AdaptiveMembershipOracle<I,O> sul,
                NormalObservationTree<I,O> obsTree,
                Rule2 rule2,
                Rule3 rule3,
                @Nullable net.automatalib.word.Word<I> sinkState,
                O sinkOutput,
                Random random)

Method Detail

getTree

public NormalObservationTree<I,O> getTree()

makeSink

public void makeSink(Integer s)

addObservation

public Integer addObservation(net.automatalib.word.Word<I> i,
                              net.automatalib.word.Word<O> o)

identifyFrontier

public List<net.automatalib.word.Word<I>> identifyFrontier(net.automatalib.word.Word<I> fsAcc,
                                                           List<net.automatalib.word.Word<I>> candidates)

exploreFrontier

public List<net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,List<net.automatalib.word.Word<I>>>> exploreFrontier(Collection<net.automatalib.word.Word<I>> basis)

exploreFrontier

public net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,List<net.automatalib.word.Word<I>>> exploreFrontier(net.automatalib.word.Word<I> accQ,
                                                                                                                               I i,
                                                                                                                               Collection<net.automatalib.word.Word<I>> basis)

outputQuery

public net.automatalib.word.Word<O> outputQuery(net.automatalib.word.Word<I> inputSeq)

adaptiveOutputQuery

public net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,net.automatalib.word.Word<O>> adaptiveOutputQuery(net.automatalib.word.Word<I> prefix,
                                                                                                                             @Nullable I infix,
                                                                                                                             ADSTree<Integer,I,O> suffix)

adaptiveOutputQuery

public net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,net.automatalib.word.Word<O>> adaptiveOutputQuery(net.automatalib.word.Word<I> prefix,
                                                                                                                             ADSTree<Integer,I,O> suffix)

answerADSFromTree

public @Nullable net.automatalib.common.util.Pair<net.automatalib.word.Word<I>,net.automatalib.word.Word<O>> answerADSFromTree(ADSTree<Integer,I,O> ads,
                                                                                                                                     Integer fromState)