A C D E F G H I L M N O P R S T V W
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbstractLTSmin<I,A,R> - Class in net.automatalib.modelchecker.ltsmin
-
An LTL model checker using LTSmin.
- AbstractLTSmin(boolean, Function<String, I>) - Constructor for class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
-
Constructs a new AbstractLTSmin.
- AbstractLTSminLTL<I,A,L extends Lasso<I,?>> - Class in net.automatalib.modelchecker.ltsmin.ltl
-
An LTSmin model checker for full LTL.
- AbstractLTSminLTL(boolean, Function<String, I>, int, double) - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
-
Constructs a new AbstractLTSminLTL.
- AbstractLTSminLTLMealy<I,O> - Class in net.automatalib.modelchecker.ltsmin.ltl
-
An LTL model checker using LTSmin for Mealy machines.
- AbstractLTSminLTLMealy(boolean, Function<String, I>, Function<String, O>, int, double, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
-
Constructs a new AbstractLTSminLTLMealy.
- AbstractLTSminMonitor<I,A,R> - Class in net.automatalib.modelchecker.ltsmin.monitor
-
An LTSmin model checker for monitors.
- AbstractLTSminMonitor(boolean, Function<String, I>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
-
Constructs a new AbstractLTSminMonitor.
- AbstractLTSminMonitorMealy<I,O> - Class in net.automatalib.modelchecker.ltsmin.monitor
-
A monitor model checker using LTSmin for Mealy machines.
- AbstractLTSminMonitorMealy(boolean, Function<String, I>, Function<String, O>, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
-
Constructs a new AbstractLTSminLTLMealy.
- automaton2ETF(A, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSmin
-
Writes the given
automaton
to the givenetf
file. - automaton2ETF(DFA<?, I>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminDFA
- automaton2ETF(MealyMachine<?, I, ?, O>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminMealy
-
Writes the
MealyMachine
to theetf
file while pruning way the outputs given inModelChecker.MealyModelChecker.getSkipOutputs()
.
C
- create() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- create() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- create() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- create() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- create() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- create() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- currentToken - Variable in exception net.automatalib.modelchecker.ltsmin.ParseException
-
This is the last token that has been consumed successfully.
D
- detectLTSmin() - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
(Re-)Checks whether the required binaries for the
LTSmin modelchecker
can be executed, by performing a version check. - dfa2ETF(DFA<S, I>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminDFA
-
Writes the given
dfa
toetf
, while skipping rejecting states.
E
- EOL - Static variable in exception net.automatalib.modelchecker.ltsmin.ParseException
-
The end of line string for this machine.
- equals(Object) - Method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
- ETF2LTS_MC - Static variable in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Path to the "etf2lts-mc" binary.
- expectedTokenSequences - Variable in exception net.automatalib.modelchecker.ltsmin.ParseException
-
Each entry in this array is an array of integers.
F
- findCounterExample(DFA<?, I>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA
-
Converts the FSM file to a
Lasso.DFALasso
. - findCounterExample(DFA<?, I>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFA
-
Converts the FSM file to a
DFA
. - findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
- findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
-
Converts the FSM file to a
MealyMachine
. - findCounterExampleFSM(A, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
-
Finds a counterexample for the given
formula
, and givenhypothesis
in FSM format. - fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminAlternating
- fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminIO
- fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminMealy
-
Converts the given
fsm
to aCompactMealy
.
G
- getExtraCommandLineOptions() - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
-
Returns the extra command line options that should be given to the etf2lts-mc binary.
- getExtraCommandLineOptions() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- getExtraCommandLineOptions() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
- getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- getMinimumRequiredVersion() - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
-
Returns the minimum required version of LTSmin.
- getMinimumRequiredVersion() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- getMinimumRequiredVersion() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
- getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
-
Gets a set of outputs that need to be skipped while writing the Mealy machine to ETF.
- getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
-
Gets a set of outputs that need to be skipped while writing the Mealy machine to ETF.
- getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- getString2Input() - Method in interface net.automatalib.modelchecker.ltsmin.LTSmin
-
Returns the function that transforms edges in FSM files to actual input.
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
-
Gets a function that transforms edges in the FSM file to actual output.
- getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- getString2Output() - Method in interface net.automatalib.modelchecker.ltsmin.LTSminMealy
-
Gets a function that transforms edges in the FSM file to actual output.
- getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
-
Gets a function that transforms edges in the FSM file to actual output.
- getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- getVersion() - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Returns the detected version of the LTSmin installation.
H
- hashCode() - Method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
I
- isInstalled() - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Returns whether an LTSmin installation was detected.
- isKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
- isKeepFiles() - Method in interface net.automatalib.modelchecker.ltsmin.LTSmin
-
Returns whether intermediate files should be kept, e.g. etfs, gcfs, etc.
- isValidIOFormula(String) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminLTLParser
-
Checks if the given formula adheres to LTSmin's expected format ('io' flavor).
- isValidLetterFormula(String) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminLTLParser
-
Checks if the given formula adheres to LTSmin's expected format ('letter' flavor).
- isVerbose() - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Returns whether to make LTSmin's output more verbose.
L
- LABEL_NAME - Static variable in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA
-
The index in the FSM state vector for accept/reject.
- LABEL_NAME - Static variable in interface net.automatalib.modelchecker.ltsmin.LTSminDFA
-
The index in the FSM state vector for accept/reject.
- LABEL_VALUE - Static variable in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA
-
The value in the state vector for acceptance.
- LABEL_VALUE - Static variable in interface net.automatalib.modelchecker.ltsmin.LTSminDFA
-
The value in the state vector for acceptance.
- LTSmin<I,A,R> - Interface in net.automatalib.modelchecker.ltsmin
-
An LTSmin model checker.
- LTSMIN_CONVERT - Static variable in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Path to the "ltsmin-convert" binary.
- LTSminAlternating<I,O,R> - Interface in net.automatalib.modelchecker.ltsmin
-
A model checker using LTSmin for Mealy machines using alternating edge semantics.
- LTSminDFA<I,R> - Interface in net.automatalib.modelchecker.ltsmin
-
A model checker using LTSmin for DFAs.
- LTSminIO<I,O,R> - Interface in net.automatalib.modelchecker.ltsmin
-
A model checker using LTSmin for Mealy machines using synchronous edge semantics.
- LTSminLTLAlternating<I,O> - Class in net.automatalib.modelchecker.ltsmin.ltl
-
An LTL model checker using LTSmin for Mealy machines using alternating edge semantics.
- LTSminLTLAlternating(boolean, Function<String, I>, Function<String, O>, int, double, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternating
- LTSminLTLAlternatingBuilder<I,O> - Class in net.automatalib.modelchecker.ltsmin.ltl
- LTSminLTLAlternatingBuilder() - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- LTSminLTLDFA<I> - Class in net.automatalib.modelchecker.ltsmin.ltl
-
An LTL model checker using LTSmin for DFAs.
- LTSminLTLDFA(boolean, Function<String, I>, int, double) - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA
- LTSminLTLDFABuilder<I> - Class in net.automatalib.modelchecker.ltsmin.ltl
- LTSminLTLDFABuilder() - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- LTSminLTLIO<I,O> - Class in net.automatalib.modelchecker.ltsmin.ltl
-
An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.
- LTSminLTLIO(boolean, Function<String, I>, Function<String, O>, int, double, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIO
- LTSminLTLIOBuilder<I,O> - Class in net.automatalib.modelchecker.ltsmin.ltl
- LTSminLTLIOBuilder() - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- LTSminLTLParser - Class in net.automatalib.modelchecker.ltsmin
-
A parser that verifies the syntax of LTL formulae of LTSmin.
- LTSminMealy<I,O,R> - Interface in net.automatalib.modelchecker.ltsmin
-
A feature of this
ModelChecker
, is that one can remove particular output symbols from the given MealyMachine hypothesis. - LTSminMonitorAlternating<I,O> - Class in net.automatalib.modelchecker.ltsmin.monitor
-
A monitor model checker using LTSmin for Mealy machines using alternating edge semantics.
- LTSminMonitorAlternating(boolean, Function<String, I>, Function<String, O>, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternating
- LTSminMonitorAlternatingBuilder<I,O> - Class in net.automatalib.modelchecker.ltsmin.monitor
- LTSminMonitorAlternatingBuilder() - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- LTSminMonitorDFA<I> - Class in net.automatalib.modelchecker.ltsmin.monitor
-
A monitor model checker using LTSmin for DFAs.
- LTSminMonitorDFA(boolean, Function<String, I>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFA
- LTSminMonitorDFABuilder<I> - Class in net.automatalib.modelchecker.ltsmin.monitor
- LTSminMonitorDFABuilder() - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- LTSminMonitorIO<I,O> - Class in net.automatalib.modelchecker.ltsmin.monitor
-
A monitor model checker using LTSmin for Mealy machines using synchronous edge semantics.
- LTSminMonitorIO(boolean, Function<String, I>, Function<String, O>, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIO
- LTSminMonitorIOBuilder<I,O> - Class in net.automatalib.modelchecker.ltsmin.monitor
- LTSminMonitorIOBuilder() - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- LTSminUtil - Class in net.automatalib.modelchecker.ltsmin
-
A utility class that encapsulates certain technical aspects of LTSmin (e.g. accessibility of the binary, etc.)
- LTSminVersion - Class in net.automatalib.modelchecker.ltsmin
-
A class for describing LTSmin version.
M
- mealy2ETF(MealyMachine<?, I, ?, O>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminAlternating
- mealy2ETF(MealyMachine<?, I, ?, O>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminIO
- mealy2ETF(MealyMachine<?, I, ?, O>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminMealy
-
Writes the given
MealyMachine
to theetf
file.
N
- net.automatalib.modelchecker.ltsmin - package 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 - package net.automatalib.modelchecker.ltsmin.ltl
- net.automatalib.modelchecker.ltsmin.monitor - package net.automatalib.modelchecker.ltsmin.monitor
O
- of(int, int, int) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
-
Returns an
LTSminVersion
instance described by the provided versions.
P
- parse(String) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
-
Parses an LTSmin version string and transforms it into an
LTSminVersion
instance. - ParseException - Exception in net.automatalib.modelchecker.ltsmin
-
This exception is thrown when parse errors are encountered.
- ParseException() - Constructor for exception net.automatalib.modelchecker.ltsmin.ParseException
-
The following constructors are for use by you for whatever purpose you can think of.
- ParseException(String) - Constructor for exception net.automatalib.modelchecker.ltsmin.ParseException
-
Constructor with message.
- ParseException(Token, int[][], String[]) - Constructor for exception net.automatalib.modelchecker.ltsmin.ParseException
-
This constructor is used by the method "generateParseException" in the generated parser.
R
- REQUIRED_VERSION - Static variable in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- REQUIRED_VERSION - Static variable in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
- requiresOriginalAutomaton() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternating
- requiresOriginalAutomaton() - Method in interface net.automatalib.modelchecker.ltsmin.LTSminAlternating
-
Whether this model checker requires the original Mealy machine to read the Mealy machines from an FSM.
- requiresOriginalAutomaton() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternating
- requireValidIOFormula(String) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminLTLParser
-
Checks if the given formula adheres to LTSmin's expected format ('io' flavor).
- requireValidLetterFormula(String) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminLTLParser
-
Checks if the given formula adheres to LTSmin's expected format ('letter' flavor).
S
- setKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- setKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- setKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- setKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- setKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- setKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- setMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- setMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- setMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- setMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- setMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
- setMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- setMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- setMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- setSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
-
Sets a set of outputs that need to be skipped while writing the Mealy machine to ETF.
- setSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- setSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- setSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
-
Sets a set of outputs that need to be skipped while writing the Mealy machine to ETF.
- setSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- setSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- setString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- setString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- setString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- setString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- setString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- setString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- setString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- setString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- setString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- setString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- setVerbose(boolean) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Programmitically set, whether to make LTSmin's output more verbose.
- supports(LTSminVersion) - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
-
Checks whether the currently detected LTSmin installation supports the queried version.
- supports(LTSminVersion) - Method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
-
Checks whether
this
version supports the given required version.
T
- tokenImage - Variable in exception net.automatalib.modelchecker.ltsmin.ParseException
-
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
- toString() - Method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
V
- verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
-
This method must verify that the given formula adheres to the expected syntax of the chosen serialization format for hypotheses of
this
model-checker. - verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
- verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternating
- verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA
- verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
- verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternating
- verifyFormula(String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFA
W
- withKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- withKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- withKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- withKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- withKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- withKeepFiles(boolean) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- withMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- withMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- withMinimumUnfolds(int) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- withMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- withMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- withMultiplier(double) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- withSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- withSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- withSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- withSkipOutputs(Collection<? super O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- withString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- withString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
- withString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- withString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- withString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
- withString2Input(Function<String, I>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
- withString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
- withString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
- withString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
- withString2Output(Function<String, O>) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
All Classes All Packages