| Class | Description |
|---|---|
| SizeDFAModelCheckerCache<I,P,R> |
A DFAModelCheckerCache that invalidates the cached counter examples when
ModelChecker.findCounterExample(Object, Collection, Object) is called with a DFA with a size different, and
an input alphabet different than the previous call. |
| SizeDFAModelCheckerLassoCache<I,P> | |
| SizeMealyModelCheckerCache<I,O,P,R> | |
| SizeMealyModelCheckerLassoCache<I,O,P> |
Copyright © 2019. All rights reserved.