Package 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>, BatchProcessor<Query<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.

Nested Class Summary

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

MembershipOracle.DFAMembershipOracle<I extends Object>, MembershipOracle.MealyMembershipOracle<I extends Object,O extends Object>, MembershipOracle.MooreMembershipOracle<I extends Object,O extends Object>

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

SingleQueryOracle.SingleQueryOracleDFA<I extends Object>, SingleQueryOracle.SingleQueryOracleMealy<I extends Object,O extends Object>, SingleQueryOracle.SingleQueryOracleMoore<I extends Object,O extends Object>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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.oracle.MembershipOracle

answerQuery, asOracle, processBatch

Methods inherited from interface de.learnlib.oracle.SingleQueryOracle

processQueries, processQuery

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>