public static interface SingleQueryOracle.SingleQueryOracleDFA<I> extends SingleQueryOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>
SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
answerQuery, processQueries, processQuery
answerQuery, asOracle
Copyright © 2018. All rights reserved.