public static interface ModelChecker.MealyModelChecker<I,O,P,R> extends ModelChecker<I,MealyMachine<?,I,?,O>,P,R>
MealyMachinetype here is that it may not be input-complete. Implementations of
MealyMachines should in these cases not return any output for a given input sequence. I.e.
DetSuffixOutputAutomaton.computeOutput(Iterable)should return null when its argument is not accepted.
|Modifier and Type||Method and Description|
Returns the outputs for which all transitions should be removed.
Sets the outputs which should be skipped.
Collection<? super O> getSkipOutputs()
That is, before the model checker tries to find a counter example to the automaton every transition which output symbol is in the returned collection is removed.
Copyright © 2020. All rights reserved.