Uses of Interface
net.automatalib.modelchecking.ModelChecker.DFAModelChecker
-
Packages that use ModelChecker.DFAModelChecker 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.DFAModelChecker in net.automatalib.modelchecker.ltsmin
Subinterfaces of ModelChecker.DFAModelChecker in net.automatalib.modelchecker.ltsmin Modifier and Type Interface Description interface
LTSminDFA<I,R>
A model checker using LTSmin for DFAs. -
Uses of ModelChecker.DFAModelChecker in net.automatalib.modelchecker.ltsmin.ltl
Classes in net.automatalib.modelchecker.ltsmin.ltl that implement ModelChecker.DFAModelChecker Modifier and Type Class Description class
LTSminLTLDFA<I>
An LTL model checker using LTSmin for DFAs. -
Uses of ModelChecker.DFAModelChecker in net.automatalib.modelchecker.ltsmin.monitor
Classes in net.automatalib.modelchecker.ltsmin.monitor that implement ModelChecker.DFAModelChecker Modifier and Type Class Description class
LTSminMonitorDFA<I>
A monitor model checker using LTSmin for DFAs. -
Uses of ModelChecker.DFAModelChecker in net.automatalib.modelchecking
Subinterfaces of ModelChecker.DFAModelChecker in net.automatalib.modelchecking Modifier and Type Interface Description static interface
ModelCheckerCache.DFAModelCheckerCache<I,P,R>
static interface
ModelCheckerLasso.DFAModelCheckerLasso<I,P>
static interface
ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>
Classes in net.automatalib.modelchecking that implement ModelChecker.DFAModelChecker Modifier and Type Class Description class
SizeDFAModelCheckerCache<I,P,R>
A DFAModelCheckerCache that invalidates the cached counter examples whenModelChecker.findCounterExample(Object, Collection, Object)
is called with a DFA with a size different, and an input alphabet different from the previous call.class
SizeDFAModelCheckerLassoCache<I,P>
Constructors in net.automatalib.modelchecking with parameters of type ModelChecker.DFAModelChecker Constructor Description SizeDFAModelCheckerCache(ModelChecker.DFAModelChecker<I,P,R> modelChecker)
-