public static interface ModelCheckerLasso.DFAModelCheckerLasso<I,P> extends ModelCheckerLasso<I,DFA<?,I>,P,Lasso.DFALasso<I>>, ModelChecker.DFAModelChecker<I,P,Lasso.DFALasso<I>>
ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
computeUnfolds, getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier
findCounterExample
Copyright © 2019. All rights reserved.