Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl | |
net.automatalib.modelchecking | |
net.automatalib.modelchecking.modelchecker.cache |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLTSminLTLMealy<I,O>
An LTL model checker using LTSmin for Mealy machines.
|
class |
LTSminLTLAlternating<I,O>
An LTL model checker using LTSmin for Mealy machines using alternating edge semantics.
|
class |
LTSminLTLIO<I,O>
An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.
|
Modifier and Type | Interface and Description |
---|---|
static interface |
ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P> |
Modifier and Type | Class and Description |
---|---|
class |
SizeMealyModelCheckerLassoCache<I,O,P> |
Modifier and Type | Method and Description |
---|---|
ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> |
SizeMealyModelCheckerLassoCache.getModelChecker() |
Constructor and Description |
---|
SizeMealyModelCheckerLassoCache(ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> modelChecker) |
Copyright © 2020. All rights reserved.