Uses of Interface
net.automatalib.modelchecking.Lasso
-
Packages that use Lasso Package Description net.automatalib.modelchecker.ltsmin.ltl net.automatalib.modelchecking -
-
Uses of Lasso in net.automatalib.modelchecker.ltsmin.ltl
Classes in net.automatalib.modelchecker.ltsmin.ltl with type parameters of type Lasso Modifier and Type Class Description class
AbstractLTSminLTL<I,A,L extends Lasso<I,?>>
An LTSmin model checker for full LTL. -
Uses of Lasso in net.automatalib.modelchecking
Classes in net.automatalib.modelchecking with type parameters of type Lasso Modifier and Type Class Description class
AbstractUnfoldingModelChecker<I,A,P,L extends Lasso<I,?>>
AnModelCheckerLasso
that can unfold loops of lassos.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,?>>
Subinterfaces of Lasso in net.automatalib.modelchecking Modifier and Type Interface Description static interface
Lasso.DFALasso<I>
A DFALasso is a lasso forDFA
s.static interface
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso forMealyMachine
s.Classes in net.automatalib.modelchecking that implement Lasso Modifier and Type Class Description class
AbstractLasso<I,D>
class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s.class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s.
-