Package de.learnlib.oracle.membership
Class StateLocalInputSULSymbolQueryOracle<I,O>
- java.lang.Object
-
- de.learnlib.oracle.membership.SULSymbolQueryOracle<I,O>
-
- de.learnlib.oracle.membership.StateLocalInputSULSymbolQueryOracle<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Implemented Interfaces:
MembershipOracle<I,Word<O>>
,MembershipOracle.MealyMembershipOracle<I,O>
,BatchProcessor<Query<I,Word<O>>>
,QueryAnswerer<I,Word<O>>
,SymbolQueryOracle<I,O>
public class StateLocalInputSULSymbolQueryOracle<I,O> extends SULSymbolQueryOracle<I,O> implements SymbolQueryOracle<I,O>
ASymbolQueryOracle
wrapper forStateLocalInputSUL
s. SeeSULSymbolQueryOracle
.This oracle is not thread-safe.
- See Also:
SULSymbolQueryOracle
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>
-
-
Constructor Summary
Constructors Constructor Description StateLocalInputSULSymbolQueryOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected O
queryInternal(I i)
void
reset()
Reset the system under learning.-
Methods inherited from class de.learnlib.oracle.membership.SULSymbolQueryOracle
query
-
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, answerQuery, asOracle, processBatch, processQuery
-
Methods inherited from interface de.learnlib.oracle.SymbolQueryOracle
processQueries, query
-
-
-
-
Constructor Detail
-
StateLocalInputSULSymbolQueryOracle
public StateLocalInputSULSymbolQueryOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)
-
-
Method Detail
-
reset
public void reset()
Description copied from interface:SymbolQueryOracle
Reset the system under learning.- Specified by:
reset
in interfaceSymbolQueryOracle<I,O>
- Overrides:
reset
in classSULSymbolQueryOracle<I,O>
-
queryInternal
protected O queryInternal(I i)
- Overrides:
queryInternal
in classSULSymbolQueryOracle<I,O>
-
-