de.learnlib.oracle.membership

Class MappedOracle<AI,AO,CI,CO>

java.lang.Object

de.learnlib.oracle.membership.MappedOracle<AI,AO,CI,CO>

Type Parameters:

AI - abstract input symbol type.

AO - abstract output symbol type.

CI - concrete input symbol type.

CO - concrete output symbol type.

All Implemented Interfaces:

MembershipOracle<AI,AO>, QueryAnswerer<AI,AO>, SingleQueryOracle<AI,AO>

public class MappedOracle<AI,AO,CI,CO>
extends Object
implements SingleQueryOracle<AI,AO>

A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.

Author:

frohme

Nested Class Summary

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

SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>

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

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

Constructor Summary

Constructors

Constructor and Description
MappedOracle(QueryAnswerer<CI,CO> delegate, Mapper.AsynchronousMapper<AI,AO,CI,CO> mapper)

Method Summary

Modifier and Type	Method and Description
AO	answerQuery(Word<AI> prefix, Word<AI> suffix)

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.SingleQueryOracle

processQueries, processQuery

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, asOracle

Constructor Detail

MappedOracle

public MappedOracle(QueryAnswerer<CI,CO> delegate,
                    Mapper.AsynchronousMapper<AI,AO,CI,CO> mapper)

Method Detail

answerQuery

public AO answerQuery(Word<AI> prefix,
                      Word<AI> suffix)

Specified by:

answerQuery in interface MembershipOracle<AI,AO>

Specified by:

answerQuery in interface QueryAnswerer<AI,AO>

Specified by:

answerQuery in interface SingleQueryOracle<AI,AO>