Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl | |
net.automatalib.modelchecking | |
net.automatalib.modelchecking.lasso | |
net.automatalib.modelchecking.modelchecker |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLTSminLTL<I,A,L extends Lasso<I,?>>
An LTSmin model checker for full LTL.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ModelCheckerLasso<I,A,P,R extends Lasso<I,?>>
A model checker where the counterexample is a lasso.
|
interface |
ModelCheckerLassoCache<I,A,P,R extends Lasso<I,?>> |
Modifier and Type | Interface and Description |
---|---|
static interface |
Lasso.DFALasso<I>
A DFALasso is a lasso for
DFA s. |
static interface |
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLasso<I,D> |
class |
DFALassoImpl<I>
A DFALasso is a lasso for
DFA s. |
class |
MealyLassoImpl<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractUnfoldingModelChecker<I,A,P,L extends Lasso<I,?>>
An
ModelCheckerLasso that can unfold loops of lassos. |
Copyright © 2019. All rights reserved.