Modifier and Type | Interface and Description |
---|---|
interface |
LTSminDFA<I,R>
A model checker using LTSmin for DFAs.
|
Modifier and Type | Class and Description |
---|---|
class |
LTSminLTLDFA<I>
An LTL model checker using LTSmin for DFAs.
|
Modifier and Type | Class and Description |
---|---|
class |
LTSminMonitorDFA<I>
A monitor model checker using LTSmin for DFAs.
|
Modifier and Type | Interface and Description |
---|---|
static interface |
ModelCheckerCache.DFAModelCheckerCache<I,P,R> |
static interface |
ModelCheckerLasso.DFAModelCheckerLasso<I,P> |
static interface |
ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P> |
Modifier and Type | Class and Description |
---|---|
class |
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. |
class |
SizeDFAModelCheckerLassoCache<I,P> |
Constructor and Description |
---|
SizeDFAModelCheckerCache(ModelChecker.DFAModelChecker<I,P,R> modelChecker) |
Copyright © 2020. All rights reserved.