de.learnlib.oracle.membership

Class SULOracle<I,O>

java.lang.Object

de.learnlib.oracle.membership.SULOracle<I,O>

All Implemented Interfaces:

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

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

A wrapper around a system under learning (SUL).

This membership oracle is thread-safe. Thread-safety is obtained in either of the following ways:

• if the SUL can be forked, each thread from which processQueries(Collection) will maintain a thread-local fork of the SUL, which is used for processing queries.
• otherwise, if the SUL is not forkable, accesses to the SUL in processQueries(Collection) will be synchronized explicitly.

Author:

Falk Howar, Malte Isberner

Nested Class Summary

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static <I,O> Word<O>	answerQuery(SUL<I,O> sul, Word<I> prefix, Word<I> suffix)
void	processQueries(Collection<? extends Query<I,Word<O>>> queries)

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.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

Constructor Detail

SULOracle

public SULOracle(SUL<I,O> sul)

Method Detail

processQueries

public void processQueries(Collection<? extends Query<I,Word<O>>> queries)

Specified by:

processQueries in interface MembershipOracle<I,Word<O>>

answerQuery

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