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>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOracle
SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>
-
-
Constructor Summary
Constructors Constructor Description MappedOracle(QueryAnswerer<CI,CO> delegate, Mapper.AsynchronousMapper<AI,AO,CI,CO> mapper)
-
Method Summary
All Methods Instance Methods Concrete Methods 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 interfaceMembershipOracle<AI,AO>
- Specified by:
answerQuery
in interfaceQueryAnswerer<AI,AO>
- Specified by:
answerQuery
in interfaceSingleQueryOracle<AI,AO>
-
-