public class SafeOracle<I,D> extends Object implements MembershipOracle<I,D>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
SafeOracle(MembershipOracle<I,D> nextOracle) |
Modifier and Type | Method and Description |
---|---|
protected void |
checkQuery(Query<I,D> query) |
void |
processQueries(Collection<? extends Query<I,D>> queries)
Processes the specified collection of queries.
|
public SafeOracle(MembershipOracle<I,D> nextOracle)
public void processQueries(Collection<? extends Query<I,D>> queries)
MembershipOracle
processQueries
in interface MembershipOracle<I,D>
queries
- the queries to processDefaultQuery.getOutput()
Copyright © 2015. All rights reserved.