public static interface ModelCheckerCache.MealyModelCheckerCache<I,O,P,R> extends ModelCheckerCache<I,MealyMachine<?,I,?,O>,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
ModelCheckerCache.DFAModelCheckerCache<I,P,R>, ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
clear
getSkipOutputs, setSkipOutputs
findCounterExample
Copyright © 2020. All rights reserved.