de.learnlib.oracles

Class SULOracle<I,O>

java.lang.Object

de.learnlib.oracles.AbstractSingleQueryOracle<I,Word<O>>

de.learnlib.oracles.SULOracle<I,O>

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, QueryAnswerer<I,Word<O>>

public class SULOracle<I,O>
extends AbstractSingleQueryOracle<I,Word<O>>
implements MembershipOracle.MealyMembershipOracle<I,O>

A wrapper around a system under learning (SUL).

Author:

falkhowar

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
SULOracle(SUL<I,O> sul)

Method Summary

Methods

Modifier and Type	Method and Description
Word<O>	answerQuery(Word<I> prefix, Word<I> suffix)

Methods inherited from class de.learnlib.oracles.AbstractSingleQueryOracle

processQueries

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.MembershipOracle

processQueries

Constructor Detail

SULOracle

public SULOracle(SUL<I,O> sul)

Method Detail

answerQuery

public Word<O> answerQuery(Word<I> prefix,
                  Word<I> suffix)

Specified by:

answerQuery in interface QueryAnswerer<I,Word<O>>