I
- the input typeA
- the automaton typeP
- the property typeR
- the type of a counterexample@ParametersAreNonnullByDefault public interface ModelCheckerCache<I,A,P,R> extends ModelChecker<I,A,P,R>
ModelChecker.findCounterExample(Object, Collection, Object)
.Modifier and Type | Interface and Description |
---|---|
static interface |
ModelCheckerCache.DFAModelCheckerCache<I,P,R> |
static interface |
ModelCheckerCache.MealyModelCheckerCache<I,O,P,R> |
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clears the cache.
|
findCounterExample
Copyright © 2019. All rights reserved.