Package de.learnlib.oracle
Interface SingleQueryOracle.SingleQueryOracleDFA<I>
-
- All Superinterfaces:
BatchProcessor<Query<I,Boolean>>
,MembershipOracle<I,Boolean>
,MembershipOracle.DFAMembershipOracle<I>
,QueryAnswerer<I,Boolean>
,SingleQueryOracle<I,Boolean>
- All Known Implementing Classes:
DFASimulatorOracle
,NFASimulatorOracle
,SBASimulatorOracle
,SEVPASimulatorOracle
,SPASimulatorOracle
- Enclosing interface:
- SingleQueryOracle<I,D>
public static interface SingleQueryOracle.SingleQueryOracleDFA<I> extends SingleQueryOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>
-
-
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>
-
-
Method Summary
-
Methods inherited from interface de.learnlib.oracle.MembershipOracle
answerQuery, asOracle, processBatch
-
Methods inherited from interface de.learnlib.oracle.SingleQueryOracle
answerQuery, processQueries, processQuery
-
-