public static interface PropertyOracle.MealyPropertyOracle<I,O,P> extends PropertyOracle<I,MealyMachine<?,I,?,O>,P,Word<O>>, InclusionOracle.MealyInclusionOracle<I,O>
PropertyOracle.DFAPropertyOracle<I,P>, PropertyOracle.MealyPropertyOracle<I,O,P>InclusionOracle.DFAInclusionOracle<I>, InclusionOracle.MealyInclusionOracle<I,O>EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>disprove, doFindCounterExample, findCounterExample, getCounterExample, getProperty, isDisproved, setPropertyisCounterExampleCopyright © 2019. All rights reserved.