public interface ModelCheckerLassoCache<I,A,P,R extends Lasso<I,?>> extends ModelCheckerCache<I,A,P,R>, ModelCheckerLasso<I,A,P,R>
ModelCheckerCache
Modifier and Type | Interface and Description |
---|---|
static interface |
ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P> |
static interface |
ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P> |
ModelCheckerCache.DFAModelCheckerCache<I,P,R>, ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
clear
computeUnfolds, getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier
findCounterExample
Copyright © 2020. All rights reserved.