Uses of Interface
net.automatalib.modelchecking.ModelChecker.MealyModelChecker
-
Packages that use ModelChecker.MealyModelChecker Package Description net.automatalib.modelchecker.ltsmin This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.net.automatalib.modelchecker.ltsmin.ltl net.automatalib.modelchecker.ltsmin.monitor net.automatalib.modelchecking -
-
Uses of ModelChecker.MealyModelChecker in net.automatalib.modelchecker.ltsmin
Subinterfaces of ModelChecker.MealyModelChecker in net.automatalib.modelchecker.ltsmin Modifier and Type Interface Description interface
LTSminAlternating<I,O,R>
A model checker using LTSmin for Mealy machines using alternating edge semantics.interface
LTSminIO<I,O,R>
A model checker using LTSmin for Mealy machines using synchronous edge semantics.interface
LTSminMealy<I,O,R>
A feature of thisModelChecker
, is that one can remove particular output symbols from the given MealyMachine hypothesis. -
Uses of ModelChecker.MealyModelChecker in net.automatalib.modelchecker.ltsmin.ltl
Classes in net.automatalib.modelchecker.ltsmin.ltl that implement ModelChecker.MealyModelChecker Modifier and Type Class 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. -
Uses of ModelChecker.MealyModelChecker in net.automatalib.modelchecker.ltsmin.monitor
Classes in net.automatalib.modelchecker.ltsmin.monitor that implement ModelChecker.MealyModelChecker Modifier and Type Class Description class
AbstractLTSminMonitorMealy<I,O>
A monitor model checker using LTSmin for Mealy machines.class
LTSminMonitorAlternating<I,O>
A monitor model checker using LTSmin for Mealy machines using alternating edge semantics.class
LTSminMonitorIO<I,O>
A monitor model checker using LTSmin for Mealy machines using synchronous edge semantics. -
Uses of ModelChecker.MealyModelChecker in net.automatalib.modelchecking
Subinterfaces of ModelChecker.MealyModelChecker in net.automatalib.modelchecking Modifier and Type Interface Description static interface
ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
static interface
ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
static interface
ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>
Classes in net.automatalib.modelchecking that implement ModelChecker.MealyModelChecker Modifier and Type Class Description class
SizeMealyModelCheckerCache<I,O,P,R>
class
SizeMealyModelCheckerLassoCache<I,O,P>
Methods in net.automatalib.modelchecking that return ModelChecker.MealyModelChecker Modifier and Type Method Description ModelChecker.MealyModelChecker<I,O,P,R>
SizeMealyModelCheckerCache. getModelChecker()
Constructors in net.automatalib.modelchecking with parameters of type ModelChecker.MealyModelChecker Constructor Description SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> modelChecker)
-