public interface MembershipOracle<I,O>
DefaultQuery
s: A query is a sequence
of input symbols (divided into a prefix and a suffix part, cf. AbstractQuery.getPrefix()
and AbstractQuery.getSuffix()
, in reaction to which the SUL produces a specific observable
behavior (outputting a word, acceptance/rejection etc.).DefaultQuery
Modifier and Type | Interface and Description |
---|---|
static interface |
MembershipOracle.DFAMembershipOracle<I> |
static interface |
MembershipOracle.MealyMembershipOracle<I,O> |
Modifier and Type | Method and Description |
---|---|
void |
processQueries(Collection<? extends Query<I,O>> queries)
Processes the specified collection of queries.
|
void processQueries(Collection<? extends Query<I,O>> queries)
queries
- the queries to processDefaultQuery.getOutput()
Copyright © 2014. All Rights Reserved.