A C D E F G H I L M N O P R S T V W
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 given etf 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 the etf file while pruning way the outputs given in ModelChecker.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 to etf, 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 given hypothesis 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 a CompactMealy.

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 the etf 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

A C D E F G H I L M N O P R S T V W
All Classes All Packages