Index (FalCAuN 1.0-SNAPSHOT API)

A B C D E F G H I L M N O P Q R S T U V W _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

ABS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
ABS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
ABS - Static variable in class net.maswag.falcaun.SignalMapperLexer
ABS - Static variable in class net.maswag.falcaun.SignalMapperParser
ABS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
ABS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
ABS() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
AbstractAdaptiveSTLUpdater - Class in net.maswag.falcaun: Abstract class for potentially adaptive set of STL formulas
AbstractAdaptiveSTLUpdater() - Constructor for class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
abstractInputAlphabet - Variable in class net.maswag.falcaun.SimulinkRandomTester
abstractInputs - Variable in class net.maswag.falcaun.STLInputAtomic
AbstractIOSignal - Class in net.maswag.falcaun
AbstractIOSignal(Word, Word) - Constructor for class net.maswag.falcaun.AbstractIOSignal
AbstractMapperReader - Class in net.maswag.falcaun
AbstractMapperReader() - Constructor for class net.maswag.falcaun.AbstractMapperReader
abstractOutputs - Variable in class net.maswag.falcaun.NumericSULMapper
abstractOutputs - Variable in class net.maswag.falcaun.STLOutputAtomic
AbstractSelectEQOracle - Class in net.maswag.falcaun: Abstract AbstractSelectEQOracle class.
AbstractSelectEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean) - Constructor for class net.maswag.falcaun.AbstractSelectEQOracle
AbstractSelectEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.AbstractSelectEQOracle
AbstractTemporalLogic - Class in net.maswag.falcaun: Abstract TemporalLogic class.
AbstractTemporalLogic() - Constructor for class net.maswag.falcaun.AbstractTemporalLogic
AbstractTemporalLogicBaseListener - Class in Unnamed Package: This class provides an empty implementation of AbstractTemporalLogicListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
AbstractTemporalLogicBaseListener() - Constructor for class AbstractTemporalLogicBaseListener
AbstractTemporalLogicBaseVisitor<T> - Class in Unnamed Package: This class provides an empty implementation of AbstractTemporalLogicVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
AbstractTemporalLogicBaseVisitor() - Constructor for class AbstractTemporalLogicBaseVisitor
AbstractTemporalLogicLexer - Class in Unnamed Package
AbstractTemporalLogicLexer(CharStream) - Constructor for class AbstractTemporalLogicLexer
AbstractTemporalLogicListener - Interface in Unnamed Package: This interface defines a complete listener for a parse tree produced by AbstractTemporalLogicParser.
AbstractTemporalLogicParser - Class in Unnamed Package
AbstractTemporalLogicParser(TokenStream) - Constructor for class AbstractTemporalLogicParser
AbstractTemporalLogicParser.BinaryOperatorContext - Class in Unnamed Package
AbstractTemporalLogicParser.BinaryTemporalOperatorContext - Class in Unnamed Package
AbstractTemporalLogicParser.ComparisonOperatorContext - Class in Unnamed Package
AbstractTemporalLogicParser.IntervalContext - Class in Unnamed Package
AbstractTemporalLogicParser.UnaryOperatorContext - Class in Unnamed Package
AbstractTemporalLogicParser.UnaryTemporalOperatorContext - Class in Unnamed Package
AbstractTemporalLogicParser.ValueContext - Class in Unnamed Package
AbstractTemporalLogicVisitor<T> - Interface in Unnamed Package: This interface defines a complete generic visitor for a parse tree produced by AbstractTemporalLogicParser.
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.IntervalContext
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class AbstractTemporalLogicParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.IntervalContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.LTLParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.AtomicContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.IntervalContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.STLParser.ValueContext
accumulatedTime - Variable in class net.maswag.falcaun.TimeMeasure
adaptiveSTL - Variable in class net.maswag.falcaun.ArgParser
AdaptiveSTLList - Class in net.maswag.falcaun: Adaptive updater of STL/LTL formulas
AdaptiveSTLList() - Constructor for class net.maswag.falcaun.AdaptiveSTLList
AdaptiveSTLList(Collection<? extends TemporalLogic>) - Constructor for class net.maswag.falcaun.AdaptiveSTLList
AdaptiveSTLList(Collection<? extends TemporalLogic>, int) - Constructor for class net.maswag.falcaun.AdaptiveSTLList
AdaptiveSTLList(TemporalLogic) - Constructor for class net.maswag.falcaun.AdaptiveSTLList
AdaptiveSTLList.IntervalTL - Class in net.maswag.falcaun
AdaptiveSTLUpdater - Interface in net.maswag.falcaun: Interface for potentially adaptive set of STL formulas
add(List<Double>) - Method in class net.maswag.falcaun.Signal
add(Word<String>) - Method in class net.maswag.falcaun.MealyFixedSetEQOracle
addAll(Collection<? extends List<Double>>) - Method in class net.maswag.falcaun.Signal
addAll(Collection<Word<String>>) - Method in class net.maswag.falcaun.MealyFixedSetEQOracle
addAll(Word<? extends List<Double>>) - Method in class net.maswag.falcaun.Signal
addBFOracle(double) - Method in class net.maswag.falcaun.BlackBoxVerifier
addBFOracle(double) - Method in class net.maswag.falcaun.NumericSULVerifier
addCompleteExplorationEQOracle(int, int, int) - Method in class net.maswag.falcaun.BlackBoxVerifier
addCompleteExplorationEQOracle(int, int, int) - Method in class net.maswag.falcaun.NumericSULVerifier
addCornerCaseEQOracle(int, int) - Method in class net.maswag.falcaun.BlackBoxVerifier: Add a corner case equivalence oracle.
addCornerCaseEQOracle(int, int) - Method in class net.maswag.falcaun.NumericSULVerifier: Add a corner case equivalence oracle.
addEqOracle(EquivalenceOracle.MealyEquivalenceOracle<String, String>) - Method in class net.maswag.falcaun.BlackBoxVerifier
addGAEQOracle(Function<IOSignal<List<Double>>, Double>, int, int, ArgParser.GASelectionKind, int, double, double, PropertyOracle.MealyPropertyOracle<String, String, String>) - Method in class net.maswag.falcaun.NumericSULVerifier: add a Genetic algorithm-based equivalence oracle
addGAEQOracleAll(int, int, ArgParser.GASelectionKind, int, double, double) - Method in class net.maswag.falcaun.NumericSULVerifier
addHillClimbingEQOracle(Function<IOSignal<List<Double>>, Double>, int, Random, int, int, int, boolean, PropertyOracle.MealyPropertyOracle<String, String, String>) - Method in class net.maswag.falcaun.NumericSULVerifier: addHillClimbingEQOracle.
addHillClimbingEQOracle(TemporalLogic.STLCost, int, Random, int, int, int, boolean) - Method in class net.maswag.falcaun.NumericSULVerifier
addHillClimbingEQOracleAll(int, Random, int, int, int, boolean) - Method in class net.maswag.falcaun.NumericSULVerifier
addMutateSelectEQOracle(Function<IOSignal<List<Double>>, Double>, int, Random, int, int, int, int, boolean) - Method in class net.maswag.falcaun.NumericSULVerifier
addNotified(NumericMembershipOracleCost) - Method in class net.maswag.falcaun.NumericMembershipOracleCost
addNotifiedAll(Collection<NumericMembershipOracleCost>) - Method in class net.maswag.falcaun.NumericMembershipOracleCost
addRandomWalkEQOracle(double, long, Random) - Method in class net.maswag.falcaun.BlackBoxVerifier
addRandomWalkEQOracle(double, long, Random) - Method in class net.maswag.falcaun.NumericSULVerifier
addRandomWordEQOracle(int, int, int, Random, int) - Method in class net.maswag.falcaun.BlackBoxVerifier
addRandomWordEQOracle(int, int, int, Random, int) - Method in class net.maswag.falcaun.NumericSULVerifier
addSAEQOracle(Function<IOSignal<List<Double>>, Double>, int, Random, int, int, int, boolean, double, PropertyOracle.MealyPropertyOracle<String, String, String>) - Method in class net.maswag.falcaun.NumericSULVerifier: addSAEQOracle.
addSAEQOracleAll(int, Random, int, int, int, boolean, double) - Method in class net.maswag.falcaun.NumericSULVerifier
addSimulinkEqOracle(Function<IOSignal<List<Double>>, Double>, Function<NumericMembershipOracleCost, ? extends EvaluationCountable.MealyEquivalenceOracle<String, String>>) - Method in class net.maswag.falcaun.NumericSULVerifier
addSTLProperties(Collection<? extends TemporalLogic>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
addSTLProperty(TemporalLogic) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
addWpMethodEQOracle(int) - Method in class net.maswag.falcaun.BlackBoxVerifier
addWpMethodEQOracle(int) - Method in class net.maswag.falcaun.NumericSULVerifier
algorithm - Variable in class net.maswag.falcaun.GAEQOracle
allAPs - Variable in class net.maswag.falcaun.STLAbstractAtomic
allDisproved() - Method in class net.maswag.falcaun.AdaptiveSTLList
allDisproved() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns if all the properties are disproved
allDisproved() - Method in class net.maswag.falcaun.StaticSTLList
allDisproved() - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
alpha - Variable in class net.maswag.falcaun.ArgParser
alpha - Variable in class net.maswag.falcaun.SAEQOracle
AND - Static variable in class AbstractTemporalLogicLexer
AND - Static variable in class AbstractTemporalLogicParser
AND - Static variable in class net.maswag.falcaun.LTLLexer
AND - Static variable in class net.maswag.falcaun.LTLParser
AND - Static variable in class net.maswag.falcaun.STLLexer
AND - Static variable in class net.maswag.falcaun.STLParser
AND() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
AND() - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
AND() - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
apply(int, IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.ExtendedSignalMapper
apply(int, IOSignalPiece<List<Double>>) - Method in interface net.maswag.falcaun.SignalMapper
apply(int, IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.SimpleSignalMapper
apply(IOSignal) - Method in interface net.maswag.falcaun.TemporalLogic: Evaluate the formula on the given signal and returns the robustness value.
apply(IOSignal) - Method in class net.maswag.falcaun.TemporalNext: Evaluate the formula on the given signal and returns the robustness value.
ArgParser - Class in net.maswag.falcaun
ArgParser(String[]) - Constructor for class net.maswag.falcaun.ArgParser
ArgParser.EquivType - Enum Class in net.maswag.falcaun
ArgParser.GASelectionKind - Enum Class in net.maswag.falcaun
assignCharacters(List<List<Double>>, char[]) - Static method in class net.maswag.falcaun.AbstractMapperReader
assignMax(RoSI) - Method in class net.maswag.falcaun.RoSI: Destructive max, i.e., assign the elementwise max of two RoSIs to this RoSI.
assignMin(RoSI) - Method in class net.maswag.falcaun.RoSI: Destructive min, i.e., assign the elementwise min of two RoSIs to this RoSI.
assignNegate() - Method in class net.maswag.falcaun.RoSI: Destructive negate, i.e., assign the negated RoSI to this RoSI.
at(double) - Method in class net.maswag.falcaun.ValueWithTime: Get the value at the given time.
atomic() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
atomic() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
atomic() - Method in class net.maswag.falcaun.SignalMapperParser
atomic() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
atomic() - Method in class net.maswag.falcaun.STLParser
atomic() - Method in class net.maswag.falcaun.STLParser.ExprContext
AtomicContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
AtomicContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.SignalMapperParser.AtomicContext
AtomicContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.AtomicContext

B

BestSolution - Enum constant in enum class net.maswag.falcaun.ArgParser.GASelectionKind
binaryOperator() - Method in class AbstractTemporalLogicParser
binaryOperator() - Method in class net.maswag.falcaun.LTLParser
binaryOperator() - Method in class net.maswag.falcaun.LTLParser.ExprContext
binaryOperator() - Method in class net.maswag.falcaun.STLParser
binaryOperator() - Method in class net.maswag.falcaun.STLParser.ExprContext
BinaryOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.BinaryOperatorContext
BinaryOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.BinaryOperatorContext
BinaryOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class AbstractTemporalLogicParser
binaryTemporalOperator() - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class net.maswag.falcaun.LTLParser
binaryTemporalOperator() - Method in class net.maswag.falcaun.LTLParser.ExprContext
binaryTemporalOperator() - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class net.maswag.falcaun.STLParser
binaryTemporalOperator() - Method in class net.maswag.falcaun.STLParser.ExprContext
BinaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
BinaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
BinaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
BlackBoxVerifier - Class in net.maswag.falcaun: Verifier of a black-box system with respect to the given properties.
BlackBoxVerifier(MembershipOracle.MealyMembershipOracle<String, String>, SUL<String, String>, AdaptiveSTLUpdater, Alphabet<String>) - Constructor for class net.maswag.falcaun.BlackBoxVerifier
BOTH - Enum constant in enum class net.maswag.falcaun.TemporalLogic.IOType

C

cache - Variable in class net.maswag.falcaun.NumericMembershipOracle
cacheInsert(Word<String>, Word<String>) - Method in class net.maswag.falcaun.NumericMembershipOracle
cacheInsert(Word<String>, IOSignal<List<Double>>, Word<String>) - Method in class net.maswag.falcaun.NumericMembershipOracleCost
candidateSTLProperties - Variable in class net.maswag.falcaun.AdaptiveSTLList
canFork() - Method in class net.maswag.falcaun.SimulinkSUL
cartesianProductCharacters(List<Set<Character>>) - Static method in class net.maswag.falcaun.STLAbstractAtomic: Take the cartesian product of a list of sets of characters and return a set of strings by concatenating the characters.
cexInput - Variable in class net.maswag.falcaun.BlackBoxVerifier
cexInput - Variable in class net.maswag.falcaun.SimulinkRandomTester
cexMealy - Variable in class net.maswag.falcaun.BlackBoxVerifier
cexOutput - Variable in class net.maswag.falcaun.BlackBoxVerifier
cexOutput - Variable in class net.maswag.falcaun.SimulinkRandomTester
cexProperty - Variable in class net.maswag.falcaun.BlackBoxVerifier
cexProperty - Variable in class net.maswag.falcaun.SimulinkRandomTester
cexQuery - Variable in class net.maswag.falcaun.EQSearchProblem
changeSize - Variable in class net.maswag.falcaun.MutateSelectEQOracle
channelNames - Static variable in class AbstractTemporalLogicLexer
channelNames - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
channelNames - Static variable in class net.maswag.falcaun.LTLLexer
channelNames - Static variable in class net.maswag.falcaun.SignalMapperLexer
channelNames - Static variable in class net.maswag.falcaun.STLLexer
childrenSize - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
childrenSize - Static variable in class net.maswag.falcaun.FalCAuN
clear() - Method in interface net.maswag.falcaun.NumericSUL: Clear the counter and the time measure.
clear() - Method in class net.maswag.falcaun.Signal: Clear the signal
clear() - Method in class net.maswag.falcaun.SimulinkModel: Clear the counter and the time measure.
clear() - Method in class net.maswag.falcaun.SimulinkSUL
close() - Method in class net.maswag.falcaun.NumericSULVerifier: Close the MATLAB engine.
close() - Method in class net.maswag.falcaun.SimulinkModel: Close the MATLAB engine.
close() - Method in class net.maswag.falcaun.SimulinkSUL: Close the MATLAB engine.
COMMA - Static variable in class AbstractTemporalLogicLexer
COMMA - Static variable in class AbstractTemporalLogicParser
COMMA - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
COMMA - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
COMMA - Static variable in class net.maswag.falcaun.LTLLexer
COMMA - Static variable in class net.maswag.falcaun.LTLParser
COMMA - Static variable in class net.maswag.falcaun.SignalMapperLexer
COMMA - Static variable in class net.maswag.falcaun.SignalMapperParser
COMMA - Static variable in class net.maswag.falcaun.STLLexer
COMMA - Static variable in class net.maswag.falcaun.STLParser
COMMA() - Method in class AbstractTemporalLogicParser.IntervalContext
COMMA() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
COMMA() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
COMMA() - Method in class net.maswag.falcaun.LTLParser.IntervalContext
COMMA() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
COMMA() - Method in class net.maswag.falcaun.STLParser.IntervalContext
COMMA(int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
COMMA(int) - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
comparator - Variable in class net.maswag.falcaun.STLAbstractAtomic
comparisonOperator() - Method in class AbstractTemporalLogicParser
comparisonOperator() - Method in class net.maswag.falcaun.LTLParser
comparisonOperator() - Method in class net.maswag.falcaun.STLParser.AtomicContext
comparisonOperator() - Method in class net.maswag.falcaun.STLParser
ComparisonOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.ComparisonOperatorContext
ComparisonOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
ComparisonOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.ComparisonOperatorContext
concreteInputs - Variable in class net.maswag.falcaun.STLInputAtomic
concreteOutputs - Variable in class net.maswag.falcaun.NumericSULMapper
concreteOutputs - Variable in class net.maswag.falcaun.STLOutputAtomic
configureSimulink(StringBuilder) - Method in class net.maswag.falcaun.SimulinkModel
confirmInitialization() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Initialize property oracles if they are not initialized yet.
CONSTANT - Enum constant in enum class net.maswag.falcaun.SimulinkModel.InterpolationMethod: Piecewise constant interpolation Note: This is not supported in the current version.
constructAbstractAlphabet() - Method in class net.maswag.falcaun.NumericSULMapper
constructAllAPs(List<List<Character>>, List<Character>, int) - Method in class net.maswag.falcaun.STLAbstractAtomic: Construct the characters that represent the abstract values of the signal.
constructAtomicStrings(List<List<Double>>, List<List<Character>>, List<Character>) - Method in class net.maswag.falcaun.STLAbstractAtomic
constructConcreteAlphabet() - Method in class net.maswag.falcaun.NumericSULMapper
constructEqAPs(List<List<Double>>, List<List<Character>>, List<Character>, int, double) - Method in class net.maswag.falcaun.STLAbstractAtomic
constructLargerAPs(List<List<Double>>, List<List<Character>>, List<Character>, int, double) - Method in class net.maswag.falcaun.STLAbstractAtomic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.LTLAtomic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.STLInputAtomic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.STLOutputAtomic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalAnd
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalImply
constructSatisfyingAtomicPropositions() - Method in interface net.maswag.falcaun.TemporalLogic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalNext
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalNot
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalOp
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalOr
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalRelease
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalSub
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.TemporalUntil
constructSmallerAPs(List<List<Double>>, List<List<Character>>, List<Character>, int, double) - Method in class net.maswag.falcaun.STLAbstractAtomic
ContinuousNumericSUL - Interface in net.maswag.falcaun: Continuous-time systems under learning with numerical I/O.
continuousOutputSignal - Variable in class net.maswag.falcaun.IOContinuousSignal
costCache - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
costFunc - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
costFunc - Variable in class net.maswag.falcaun.SimulinkRandomTester
counter - Variable in class net.maswag.falcaun.SimulinkModel
createInitialPopulation() - Method in class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
createInitialPopulation() - Method in class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm: Create initial population only for the initial run
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.AbstractSelectEQOracle
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.HillClimbingEQOracle
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.MutateSelectEQOracle
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.SAEQOracle
crossoverProb - Variable in class net.maswag.falcaun.ArgParser
crossoverProbability - Variable in class net.maswag.falcaun.IntegerUniformCrossover
currentFrom - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
currentSamples - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
currentTo - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL

D

decomposeMap(Map<T, Double>) - Static method in class net.maswag.falcaun.STLAbstractAtomic: Decomposes a map with value Doubles into a pair of lists of keys and Doubles.
decomposeMapList(List<Map<T, Double>>, List<List<T>>, List<List<Double>>) - Static method in class net.maswag.falcaun.STLAbstractAtomic: Decomposes a list of maps with value Doubles into a list of pair of lists of keys and Doubles.
defaultFrom - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
defaultTo - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
dimension() - Method in class net.maswag.falcaun.Signal: Return the dimension of the signal
dimensionGet(int) - Method in class net.maswag.falcaun.Signal: Return the signal values of the index-th signal
disprovedIndices - Variable in class net.maswag.falcaun.StaticSTLList
disprovedIndices - Variable in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
DIV - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
DIV - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
DIV - Static variable in class net.maswag.falcaun.SignalMapperLexer
DIV - Static variable in class net.maswag.falcaun.SignalMapperParser
DIV() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
DIV() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
DIV() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
dotFile - Variable in class net.maswag.falcaun.ArgParser
duration() - Method in class net.maswag.falcaun.Signal: Returns the duration of the signal

E

EDGE_PARSER - Static variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
EDGE_PARSER - Static variable in class net.maswag.falcaun.BlackBoxVerifier
emptinessOracle - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
enterAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.atomic().
enterAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.atomic().
enterAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener: Enter a parse tree produced by SignalMapperParser.atomic().
enterAtomic(SignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.SignalMapperListener: Enter a parse tree produced by SignalMapperParser.atomic().
enterAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.atomic().
enterAtomic(STLParser.AtomicContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.atomic().
enterBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
enterBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
enterBinaryOperator(LTLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.binaryOperator().
enterBinaryOperator(LTLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.binaryOperator().
enterBinaryOperator(STLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.binaryOperator().
enterBinaryOperator(STLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.binaryOperator().
enterBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
enterBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.binaryTemporalOperator().
enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.binaryTemporalOperator().
enterBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.binaryTemporalOperator().
enterBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.binaryTemporalOperator().
enterComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
enterComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
enterComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.comparisonOperator().
enterComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.comparisonOperator().
enterComparisonOperator(STLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.comparisonOperator().
enterComparisonOperator(STLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.comparisonOperator().
enterEveryRule(ParserRuleContext) - Method in class AbstractTemporalLogicBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.LTLBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.STLBaseListener
enterExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.expr().
enterExpr(ExtendedSignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.expr().
enterExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.expr().
enterExpr(LTLParser.ExprContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.expr().
enterExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener: Enter a parse tree produced by SignalMapperParser.expr().
enterExpr(SignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.SignalMapperListener: Enter a parse tree produced by SignalMapperParser.expr().
enterExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.expr().
enterExpr(STLParser.ExprContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.expr().
enterExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.extended_expr().
enterExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.extended_expr().
enterInterval(AbstractTemporalLogicParser.IntervalContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.interval().
enterInterval(AbstractTemporalLogicParser.IntervalContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.interval().
enterInterval(LTLParser.IntervalContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.interval().
enterInterval(LTLParser.IntervalContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.interval().
enterInterval(STLParser.IntervalContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.interval().
enterInterval(STLParser.IntervalContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.interval().
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.IntervalContext
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.IntervalContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.AtomicContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.IntervalContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.ValueContext
enterUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
enterUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
enterUnaryOperator(LTLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.unaryOperator().
enterUnaryOperator(LTLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.unaryOperator().
enterUnaryOperator(STLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.unaryOperator().
enterUnaryOperator(STLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.unaryOperator().
enterUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
enterUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.unaryTemporalOperator().
enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.unaryTemporalOperator().
enterUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.unaryTemporalOperator().
enterUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.unaryTemporalOperator().
enterValue(AbstractTemporalLogicParser.ValueContext) - Method in class AbstractTemporalLogicBaseListener: Enter a parse tree produced by AbstractTemporalLogicParser.value().
enterValue(AbstractTemporalLogicParser.ValueContext) - Method in interface AbstractTemporalLogicListener: Enter a parse tree produced by AbstractTemporalLogicParser.value().
enterValue(ExtendedSignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.value().
enterValue(ExtendedSignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.value().
enterValue(LTLParser.ValueContext) - Method in class net.maswag.falcaun.LTLBaseListener: Enter a parse tree produced by LTLParser.value().
enterValue(LTLParser.ValueContext) - Method in interface net.maswag.falcaun.LTLListener: Enter a parse tree produced by LTLParser.value().
enterValue(SignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener: Enter a parse tree produced by SignalMapperParser.value().
enterValue(SignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.SignalMapperListener: Enter a parse tree produced by SignalMapperParser.value().
enterValue(STLParser.ValueContext) - Method in class net.maswag.falcaun.STLBaseListener: Enter a parse tree produced by STLParser.value().
enterValue(STLParser.ValueContext) - Method in interface net.maswag.falcaun.STLListener: Enter a parse tree produced by STLParser.value().
eq - Enum constant in enum class net.maswag.falcaun.STLAbstractAtomic.Operation
EQ - Static variable in class AbstractTemporalLogicLexer
EQ - Static variable in class AbstractTemporalLogicParser
EQ - Static variable in class net.maswag.falcaun.LTLLexer
EQ - Static variable in class net.maswag.falcaun.LTLParser
EQ - Static variable in class net.maswag.falcaun.STLLexer
EQ - Static variable in class net.maswag.falcaun.STLParser
EQ() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
EQ() - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
EQ() - Method in class net.maswag.falcaun.LTLParser.ExprContext
EQ() - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
EQGenerationalGeneticAlgorithm - Class in net.maswag.falcaun: SimulinkGenerationalGeneticAlgorithm class.
EQGenerationalGeneticAlgorithm(EQSearchProblem, int, int, CrossoverOperator<IntegerSolution>, MutationOperator<IntegerSolution>, SelectionOperator<List<IntegerSolution>, IntegerSolution>, SolutionListEvaluator<IntegerSolution>, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
eqOracle - Variable in class net.maswag.falcaun.BlackBoxVerifier
eqOracle - Variable in class net.maswag.falcaun.StopDisprovedEQOracle
eqOracle - Variable in class net.maswag.falcaun.TimeoutEQOracle
EQSearchProblem - Class in net.maswag.falcaun: EQSearchProblem class.
EQSearchProblem(NumericMembershipOracleCost, int) - Constructor for class net.maswag.falcaun.EQSearchProblem
EQSteadyStateGeneticAlgorithm - Class in net.maswag.falcaun: SimulinkSteadyStateGeneticAlgorithm class.
EQSteadyStateGeneticAlgorithm(EQSearchProblem, int, int, CrossoverOperator<IntegerSolution>, MutationOperator<IntegerSolution>, SelectionOperator<List<IntegerSolution>, IntegerSolution>, SolutionListEvaluator<IntegerSolution>, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm
equals(Object) - Method in class net.maswag.falcaun.AbstractTemporalLogic
equiv - Variable in class net.maswag.falcaun.ArgParser
EquivType() - Constructor for enum class net.maswag.falcaun.ArgParser.EquivType
etfFile - Variable in class net.maswag.falcaun.ArgParser
evaluate(IntegerSolution) - Method in class net.maswag.falcaun.EQSearchProblem
evaluateCount - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
evaluateCount - Variable in class net.maswag.falcaun.EQSearchProblem
evaluateCount - Variable in class net.maswag.falcaun.MealyFixedSetEQOracle
evaluateCount - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
EvaluationCountable - Interface in net.maswag.falcaun
EvaluationCountable.MealyEquivalenceOracle<I,O> - Interface in net.maswag.falcaun
EvaluationCountable.Sum - Class in net.maswag.falcaun
evaluationCountables - Variable in class net.maswag.falcaun.NumericSULVerifier
EVENTUALLY - Static variable in class AbstractTemporalLogicLexer
EVENTUALLY - Static variable in class AbstractTemporalLogicParser
EVENTUALLY - Static variable in class net.maswag.falcaun.LTLLexer
EVENTUALLY - Static variable in class net.maswag.falcaun.LTLParser
EVENTUALLY - Static variable in class net.maswag.falcaun.STLLexer
EVENTUALLY - Static variable in class net.maswag.falcaun.STLParser
EVENTUALLY() - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
EVENTUALLY() - Method in class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
EVENTUALLY() - Method in class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
execute(List<IntegerSolution>) - Method in class net.maswag.falcaun.IntegerUniformCrossover
execute(Word<List<Double>>) - Method in interface net.maswag.falcaun.ContinuousNumericSUL
execute(Word<List<Double>>) - Method in interface net.maswag.falcaun.NumericSUL: Execute the SUL by feeding the entire input
execute(Word<List<Double>>) - Method in class net.maswag.falcaun.SimulinkModel: Execute the Simulink model by feeding inputSignal
execute(Word<List<Double>>) - Method in class net.maswag.falcaun.SimulinkSUL: Execute the Simulink model by feeding inputSignal
execute(IntegerSolution) - Method in class net.maswag.falcaun.IntegerRandomMutation
executeRaw(Word<List<Double>>) - Method in class net.maswag.falcaun.SimulinkSUL: Execute the Simulink model by feeding inputSignal
exitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.atomic().
exitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.atomic().
exitAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener: Exit a parse tree produced by SignalMapperParser.atomic().
exitAtomic(SignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.SignalMapperListener: Exit a parse tree produced by SignalMapperParser.atomic().
exitAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.atomic().
exitAtomic(STLParser.AtomicContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.atomic().
exitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
exitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
exitBinaryOperator(LTLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.binaryOperator().
exitBinaryOperator(LTLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.binaryOperator().
exitBinaryOperator(STLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.binaryOperator().
exitBinaryOperator(STLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.binaryOperator().
exitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
exitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.binaryTemporalOperator().
exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.binaryTemporalOperator().
exitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.binaryTemporalOperator().
exitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.binaryTemporalOperator().
exitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
exitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
exitComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.comparisonOperator().
exitComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.comparisonOperator().
exitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.comparisonOperator().
exitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.comparisonOperator().
exitEveryRule(ParserRuleContext) - Method in class AbstractTemporalLogicBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.LTLBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.STLBaseListener
exitExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.expr().
exitExpr(ExtendedSignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.expr().
exitExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.expr().
exitExpr(LTLParser.ExprContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.expr().
exitExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener: Exit a parse tree produced by SignalMapperParser.expr().
exitExpr(SignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.SignalMapperListener: Exit a parse tree produced by SignalMapperParser.expr().
exitExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.expr().
exitExpr(STLParser.ExprContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.expr().
exitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
exitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
exitInterval(AbstractTemporalLogicParser.IntervalContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.interval().
exitInterval(AbstractTemporalLogicParser.IntervalContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.interval().
exitInterval(LTLParser.IntervalContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.interval().
exitInterval(LTLParser.IntervalContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.interval().
exitInterval(STLParser.IntervalContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.interval().
exitInterval(STLParser.IntervalContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.interval().
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.IntervalContext
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class AbstractTemporalLogicParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.IntervalContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.LTLParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.AtomicContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.IntervalContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.STLParser.ValueContext
exitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
exitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
exitUnaryOperator(LTLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.unaryOperator().
exitUnaryOperator(LTLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.unaryOperator().
exitUnaryOperator(STLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.unaryOperator().
exitUnaryOperator(STLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.unaryOperator().
exitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
exitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.unaryTemporalOperator().
exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.unaryTemporalOperator().
exitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.unaryTemporalOperator().
exitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.unaryTemporalOperator().
exitValue(AbstractTemporalLogicParser.ValueContext) - Method in class AbstractTemporalLogicBaseListener: Exit a parse tree produced by AbstractTemporalLogicParser.value().
exitValue(AbstractTemporalLogicParser.ValueContext) - Method in interface AbstractTemporalLogicListener: Exit a parse tree produced by AbstractTemporalLogicParser.value().
exitValue(ExtendedSignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.value().
exitValue(ExtendedSignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.value().
exitValue(LTLParser.ValueContext) - Method in class net.maswag.falcaun.LTLBaseListener: Exit a parse tree produced by LTLParser.value().
exitValue(LTLParser.ValueContext) - Method in interface net.maswag.falcaun.LTLListener: Exit a parse tree produced by LTLParser.value().
exitValue(SignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.SignalMapperBaseListener: Exit a parse tree produced by SignalMapperParser.value().
exitValue(SignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.SignalMapperListener: Exit a parse tree produced by SignalMapperParser.value().
exitValue(STLParser.ValueContext) - Method in class net.maswag.falcaun.STLBaseListener: Exit a parse tree produced by STLParser.value().
exitValue(STLParser.ValueContext) - Method in interface net.maswag.falcaun.STLListener: Exit a parse tree produced by STLParser.value().
expr() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
expr() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
expr() - Method in class net.maswag.falcaun.LTLParser
expr() - Method in class net.maswag.falcaun.LTLParser.ExprContext
expr() - Method in class net.maswag.falcaun.SignalMapperParser
expr() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
expr() - Method in class net.maswag.falcaun.STLParser
expr() - Method in class net.maswag.falcaun.STLParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
expr(int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.LTLParser
expr(int) - Method in class net.maswag.falcaun.LTLParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.SignalMapperParser
expr(int) - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.STLParser
expr(int) - Method in class net.maswag.falcaun.STLParser.ExprContext
expr_sempred(ExtendedSignalMapperParser.ExprContext, int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
expr_sempred(LTLParser.ExprContext, int) - Method in class net.maswag.falcaun.LTLParser
expr_sempred(SignalMapperParser.ExprContext, int) - Method in class net.maswag.falcaun.SignalMapperParser
expr_sempred(STLParser.ExprContext, int) - Method in class net.maswag.falcaun.STLParser
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.ExprContext
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.SignalMapperParser.ExprContext
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.ExprContext
extended_expr() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
extended_expr() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
extended_expr() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
extended_expr(int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
extended_expr(int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
extended_expr_sempred(ExtendedSignalMapperParser.Extended_exprContext, int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
Extended_exprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
ExtendedIOSignalPiece - Class in net.maswag.falcaun: A pair of input and output signals at one time step potentially with some previous output signals.
ExtendedIOSignalPiece(I, I, List) - Constructor for class net.maswag.falcaun.ExtendedIOSignalPiece: Constructor for the signal pieces.
ExtendedIOSignalPiece(I, ValueWithTime, Double, Double) - Constructor for class net.maswag.falcaun.ExtendedIOSignalPiece: Constructor for the first signal piece.
ExtendedSignalMapper - Class in net.maswag.falcaun: Class to construct pseudo signals from concrete signals
ExtendedSignalMapper() - Constructor for class net.maswag.falcaun.ExtendedSignalMapper
ExtendedSignalMapperBaseListener - Class in net.maswag.falcaun: This class provides an empty implementation of ExtendedSignalMapperListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
ExtendedSignalMapperBaseListener() - Constructor for class net.maswag.falcaun.ExtendedSignalMapperBaseListener
ExtendedSignalMapperBaseVisitor<T> - Class in net.maswag.falcaun: This class provides an empty implementation of ExtendedSignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
ExtendedSignalMapperBaseVisitor() - Constructor for class net.maswag.falcaun.ExtendedSignalMapperBaseVisitor
ExtendedSignalMapperLexer - Class in net.maswag.falcaun
ExtendedSignalMapperLexer(CharStream) - Constructor for class net.maswag.falcaun.ExtendedSignalMapperLexer
ExtendedSignalMapperListener - Interface in net.maswag.falcaun: This interface defines a complete listener for a parse tree produced by ExtendedSignalMapperParser.
ExtendedSignalMapperParser - Class in net.maswag.falcaun
ExtendedSignalMapperParser(TokenStream) - Constructor for class net.maswag.falcaun.ExtendedSignalMapperParser
ExtendedSignalMapperParser.AtomicContext - Class in net.maswag.falcaun
ExtendedSignalMapperParser.ExprContext - Class in net.maswag.falcaun
ExtendedSignalMapperParser.Extended_exprContext - Class in net.maswag.falcaun
ExtendedSignalMapperParser.ValueContext - Class in net.maswag.falcaun
ExtendedSignalMapperVisitor<T> - Interface in net.maswag.falcaun: This interface defines a complete generic visitor for a parse tree produced by ExtendedSignalMapperParser.
ExtendedSignalMapperVisitorImpl - Class in net.maswag.falcaun: ExtendedSignalMapperVisitorImpl class.
ExtendedSignalMapperVisitorImpl() - Constructor for class net.maswag.falcaun.ExtendedSignalMapperVisitorImpl

F

FalCAuN - Class in net.maswag.falcaun: FalCAuN class.
FalCAuN() - Constructor for class net.maswag.falcaun.FalCAuN
falsifiedSTLProperties - Variable in class net.maswag.falcaun.AdaptiveSTLList
filename - Variable in class net.maswag.falcaun.OutputMapperReader
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Try to disprove the current list of STL formulas against the given Mealy machine.
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList: Find a counter example using the current list of STL formulas
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class net.maswag.falcaun.StopDisprovedEQOracle
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class net.maswag.falcaun.TimeoutEQOracle
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.AbstractSelectEQOracle
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.GAEQOracle
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.MealyFixedSetEQOracle
findIntervalSTL(TemporalLogic, Function<TemporalLogic, TemporalLogic>) - Method in class net.maswag.falcaun.AdaptiveSTLList: find intervals that can be strengthened
fixedSamples - Variable in class net.maswag.falcaun.MealyFixedSetEQOracle
FLOAT - Static variable in class AbstractTemporalLogicLexer
FLOAT - Static variable in class AbstractTemporalLogicParser
FLOAT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
FLOAT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
FLOAT - Static variable in class net.maswag.falcaun.LTLLexer
FLOAT - Static variable in class net.maswag.falcaun.LTLParser
FLOAT - Static variable in class net.maswag.falcaun.SignalMapperLexer
FLOAT - Static variable in class net.maswag.falcaun.SignalMapperParser
FLOAT - Static variable in class net.maswag.falcaun.STLLexer
FLOAT - Static variable in class net.maswag.falcaun.STLParser
FLOAT() - Method in class AbstractTemporalLogicParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.LTLParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.STLParser.ValueContext
fork() - Method in class net.maswag.falcaun.SimulinkSUL
frame - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
from - Variable in class net.maswag.falcaun.TemporalSub

G

GA - Enum constant in enum class net.maswag.falcaun.ArgParser.EquivType
GAEQOracle - Class in net.maswag.falcaun: Equivalence query using genetic algorithm
GAEQOracle(NumericMembershipOracleCost, int, int, ArgParser.GASelectionKind, int, double, double, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.GAEQOracle
GASelectionKind() - Constructor for enum class net.maswag.falcaun.ArgParser.GASelectionKind
generateStrengthenedSTL(TemporalLogic) - Method in class net.maswag.falcaun.AdaptiveSTLList: generate syntactically strengthened STL formulas
generateTestWord(List<? extends String>) - Method in class net.maswag.falcaun.AbstractSelectEQOracle: Generate one word of length length randomly
generateTestWord(List<? extends String>) - Method in class net.maswag.falcaun.SimulinkRandomTester: Generate one word of length length randomly
generationSize - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
generationSize - Static variable in class net.maswag.falcaun.FalCAuN
get(int) - Method in class net.maswag.falcaun.Signal: Return the value of the index-th control point of the signal
getAllAPs() - Method in class net.maswag.falcaun.LTLAtomic
getAllAPs() - Method in class net.maswag.falcaun.STLInputAtomic: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.STLOutputAtomic: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalAnd: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalImply: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in interface net.maswag.falcaun.TemporalLogic: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalNext: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalNot: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalOp: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalOr: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalRelease: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.TemporalSub
getAllAPs() - Method in class net.maswag.falcaun.TemporalUntil: Returns the collection of atomic propositions under consideration.
getAllAPs(List<List<Character>>, List<Character>) - Method in class net.maswag.falcaun.STLAbstractAtomic
getATN() - Method in class AbstractTemporalLogicLexer
getATN() - Method in class AbstractTemporalLogicParser
getATN() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getATN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
getATN() - Method in class net.maswag.falcaun.LTLLexer
getATN() - Method in class net.maswag.falcaun.LTLParser
getATN() - Method in class net.maswag.falcaun.SignalMapperLexer
getATN() - Method in class net.maswag.falcaun.SignalMapperParser
getATN() - Method in class net.maswag.falcaun.STLLexer
getATN() - Method in class net.maswag.falcaun.STLParser
getCache() - Method in class net.maswag.falcaun.NumericMembershipOracle
getCexAbstractInput() - Method in class net.maswag.falcaun.NumericSULVerifier
getCexConcreteInput() - Method in class net.maswag.falcaun.NumericSULVerifier
getCexConcreteInput() - Method in class net.maswag.falcaun.SimulinkRandomTester
getCexOutput() - Method in class net.maswag.falcaun.NumericSULVerifier
getCexProperty() - Method in class net.maswag.falcaun.NumericSULVerifier: Returns the falsified STL formulas in the string representation.
getCexQuery() - Method in class net.maswag.falcaun.EQSearchProblem
getChannelNames() - Method in class AbstractTemporalLogicLexer
getChannelNames() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getChannelNames() - Method in class net.maswag.falcaun.LTLLexer
getChannelNames() - Method in class net.maswag.falcaun.SignalMapperLexer
getChannelNames() - Method in class net.maswag.falcaun.STLLexer
getCounter() - Method in interface net.maswag.falcaun.NumericSUL: Returns the number of SUL executions
getCounter() - Method in class net.maswag.falcaun.SimulinkSUL: Returns the number of SUL executions
getCrossoverProbability() - Method in class net.maswag.falcaun.IntegerUniformCrossover
getCurrentTime() - Method in class net.maswag.falcaun.SimulinkModel: The current time of the simulation
getEvaluateCount() - Method in interface net.maswag.falcaun.EvaluationCountable
getEvaluateCount() - Method in class net.maswag.falcaun.EvaluationCountable.Sum
getEvaluateCount() - Method in class net.maswag.falcaun.GAEQOracle
getGrammarFileName() - Method in class AbstractTemporalLogicLexer
getGrammarFileName() - Method in class AbstractTemporalLogicParser
getGrammarFileName() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getGrammarFileName() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
getGrammarFileName() - Method in class net.maswag.falcaun.LTLLexer
getGrammarFileName() - Method in class net.maswag.falcaun.LTLParser
getGrammarFileName() - Method in class net.maswag.falcaun.SignalMapperLexer
getGrammarFileName() - Method in class net.maswag.falcaun.SignalMapperParser
getGrammarFileName() - Method in class net.maswag.falcaun.STLLexer
getGrammarFileName() - Method in class net.maswag.falcaun.STLParser
getInputSignal() - Method in interface net.maswag.falcaun.IOSignal: Returns the input signal.
getIOType() - Method in interface net.maswag.falcaun.TemporalLogic
getLeft() - Method in class net.maswag.falcaun.TemporalUntil.STLUntil
getLTLProperties() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of LTL formulas in the string representation
getLTLProperties() - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
getModeNames() - Method in class AbstractTemporalLogicLexer
getModeNames() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getModeNames() - Method in class net.maswag.falcaun.LTLLexer
getModeNames() - Method in class net.maswag.falcaun.SignalMapperLexer
getModeNames() - Method in class net.maswag.falcaun.STLLexer
getMutationProbability() - Method in class net.maswag.falcaun.IntegerRandomMutation
getNanosecond() - Method in class net.maswag.falcaun.TimeMeasure
getNumberOfGeneratedChildren() - Method in class net.maswag.falcaun.IntegerUniformCrossover: getNumberOfGeneratedChildren.
getNumberOfRequiredParents() - Method in class net.maswag.falcaun.IntegerUniformCrossover: getNumberOfRequiredParents.
getOriginalSTL() - Method in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
getOutputSignal() - Method in interface net.maswag.falcaun.IOSignal: Returns the output signal.
getOutputSymbol(int) - Method in class net.maswag.falcaun.AbstractIOSignal
getOutputSymbol(int) - Method in interface net.maswag.falcaun.IOSignal: Returns the input symbol at the given index.
getProperties() - Method in class net.maswag.falcaun.NumericSULVerifier
getPropertyOracles() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
getRawValue() - Method in class net.maswag.falcaun.SimulinkAbstractAlphabetDomain: Getter for the field rawValue.
getResult() - Method in class net.maswag.falcaun.SimulinkModel
getRight() - Method in class net.maswag.falcaun.TemporalUntil.STLUntil
getRobustness() - Method in class net.maswag.falcaun.RoSI: Compute the robustness value of the RoSI as a single value.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalAnd: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalEventually: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalGlobally: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalImply: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in interface net.maswag.falcaun.TemporalLogic: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalNext: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalNot: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalOr: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalRelease: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalSub
getRoSI(IOSignal) - Method in class net.maswag.falcaun.TemporalUntil: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal<String>) - Method in class net.maswag.falcaun.LTLAtomic
getRoSI(IOSignal<List<Double>>) - Method in class net.maswag.falcaun.STLInputAtomic: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSI(IOSignal<List<Double>>) - Method in class net.maswag.falcaun.STLOutputAtomic: Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.TemporalEventually: getRoSIRaw.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.TemporalGlobally: getRoSIRaw.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.TemporalOp: getRoSIRaw.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.TemporalRelease
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.TemporalUntil
getRoSIRawWithLen(IOSignal, int) - Method in class net.maswag.falcaun.TemporalEventually: getRoSIRawLen.
getRoSIRawWithLen(IOSignal, int) - Method in class net.maswag.falcaun.TemporalGlobally: getRoSIRawLen.
getRoSIRawWithLen(IOSignal, int) - Method in class net.maswag.falcaun.TemporalOp: getRoSIRawLen.
getRoSISingle(Word<List<Double>>) - Method in class net.maswag.falcaun.STLAbstractAtomic
getRuleIndex() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
getRuleIndex() - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
getRuleIndex() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
getRuleIndex() - Method in class AbstractTemporalLogicParser.IntervalContext
getRuleIndex() - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
getRuleIndex() - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
getRuleIndex() - Method in class AbstractTemporalLogicParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
getRuleIndex() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
getRuleIndex() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.IntervalContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.LTLParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
getRuleIndex() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.AtomicContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.IntervalContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.STLParser.ValueContext
getRuleNames() - Method in class AbstractTemporalLogicLexer
getRuleNames() - Method in class AbstractTemporalLogicParser
getRuleNames() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getRuleNames() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
getRuleNames() - Method in class net.maswag.falcaun.LTLLexer
getRuleNames() - Method in class net.maswag.falcaun.LTLParser
getRuleNames() - Method in class net.maswag.falcaun.SignalMapperLexer
getRuleNames() - Method in class net.maswag.falcaun.SignalMapperParser
getRuleNames() - Method in class net.maswag.falcaun.STLLexer
getRuleNames() - Method in class net.maswag.falcaun.STLParser
getSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.STLAbstractAtomic
getSatisfyingAtomicPropositions() - Method in interface net.maswag.falcaun.TemporalLogic: Returns the collection of atomic propositions such that if one of them is satisfied, the formula is satisfied.
getSecond() - Method in class net.maswag.falcaun.TimeMeasure
getSerializedATN() - Method in class AbstractTemporalLogicLexer
getSerializedATN() - Method in class AbstractTemporalLogicParser
getSerializedATN() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getSerializedATN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
getSerializedATN() - Method in class net.maswag.falcaun.LTLLexer
getSerializedATN() - Method in class net.maswag.falcaun.LTLParser
getSerializedATN() - Method in class net.maswag.falcaun.SignalMapperLexer
getSerializedATN() - Method in class net.maswag.falcaun.SignalMapperParser
getSerializedATN() - Method in class net.maswag.falcaun.STLLexer
getSerializedATN() - Method in class net.maswag.falcaun.STLParser
getSignalName() - Method in class net.maswag.falcaun.STLAbstractAtomic
getSignalName() - Method in class net.maswag.falcaun.STLInputAtomic
getSignalName() - Method in class net.maswag.falcaun.STLOutputAtomic
getSimulationTimeSecond() - Method in interface net.maswag.falcaun.NumericSUL: Returns the execution time for the simulations
getSimulationTimeSecond() - Method in class net.maswag.falcaun.NumericSULVerifier
getSimulationTimeSecond() - Method in class net.maswag.falcaun.SimulinkModel
getSimulationTimeSecond() - Method in class net.maswag.falcaun.SimulinkSUL: Returns the execution time for the simulations
getSimulinkCount() - Method in class net.maswag.falcaun.NumericSULVerifier
getSimulinkCountForEqTest() - Method in class net.maswag.falcaun.NumericSULVerifier
getSTLProperties() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of STL formulas The result may change only after the call of findCounterExample
getSubFml() - Method in class net.maswag.falcaun.TemporalEventually: getSubFml.
getSubFml() - Method in class net.maswag.falcaun.TemporalEventually.STLEventually
getSubFml() - Method in class net.maswag.falcaun.TemporalGlobally: getSubFml.
getSubFml() - Method in class net.maswag.falcaun.TemporalGlobally.STLGlobally
getTimestamps() - Method in class net.maswag.falcaun.SimulinkModel
getTokenNames() - Method in class AbstractTemporalLogicLexer: Deprecated.
getTokenNames() - Method in class AbstractTemporalLogicParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.LTLLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.LTLParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.SignalMapperLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.SignalMapperParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.STLLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.STLParser: Deprecated.
getVocabulary() - Method in class AbstractTemporalLogicLexer
getVocabulary() - Method in class AbstractTemporalLogicParser
getVocabulary() - Method in class net.maswag.falcaun.ExtendedSignalMapperLexer
getVocabulary() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
getVocabulary() - Method in class net.maswag.falcaun.LTLLexer
getVocabulary() - Method in class net.maswag.falcaun.LTLParser
getVocabulary() - Method in class net.maswag.falcaun.SignalMapperLexer
getVocabulary() - Method in class net.maswag.falcaun.SignalMapperParser
getVocabulary() - Method in class net.maswag.falcaun.STLLexer
getVocabulary() - Method in class net.maswag.falcaun.STLParser
GLOBALLY - Static variable in class AbstractTemporalLogicLexer
GLOBALLY - Static variable in class AbstractTemporalLogicParser
GLOBALLY - Static variable in class net.maswag.falcaun.LTLLexer
GLOBALLY - Static variable in class net.maswag.falcaun.LTLParser
GLOBALLY - Static variable in class net.maswag.falcaun.STLLexer
GLOBALLY - Static variable in class net.maswag.falcaun.STLParser
GLOBALLY() - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
GLOBALLY() - Method in class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
GLOBALLY() - Method in class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
groups() - Element in annotation interface net.maswag.falcaun.annotation.Sorted
gt - Enum constant in enum class net.maswag.falcaun.STLAbstractAtomic.Operation
GT - Static variable in class AbstractTemporalLogicLexer
GT - Static variable in class AbstractTemporalLogicParser
GT - Static variable in class net.maswag.falcaun.LTLLexer
GT - Static variable in class net.maswag.falcaun.LTLParser
GT - Static variable in class net.maswag.falcaun.STLLexer
GT - Static variable in class net.maswag.falcaun.STLParser
GT() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
GT() - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
GT() - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext

H

handleInterval(TemporalOp<String>, LTLParser.IntervalContext) - Method in class net.maswag.falcaun.LTLVisitorImpl
handleInterval(TemporalOp<List<Double>>, STLParser.IntervalContext) - Method in class net.maswag.falcaun.STLVisitorImpl
hashCode() - Method in class net.maswag.falcaun.AbstractTemporalLogic
HC - Enum constant in enum class net.maswag.falcaun.ArgParser.EquivType
help - Variable in class net.maswag.falcaun.ArgParser
HillClimbingEQOracle - Class in net.maswag.falcaun: HillClimbingEQOracle class.
HillClimbingEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean) - Constructor for class net.maswag.falcaun.HillClimbingEQOracle
HillClimbingEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.HillClimbingEQOracle
hypothesis - Variable in class net.maswag.falcaun.EQSearchProblem

I

ID - Static variable in class AbstractTemporalLogicLexer
ID - Static variable in class AbstractTemporalLogicParser
ID - Static variable in class net.maswag.falcaun.LTLLexer
ID - Static variable in class net.maswag.falcaun.LTLParser
ID - Static variable in class net.maswag.falcaun.STLLexer
ID - Static variable in class net.maswag.falcaun.STLParser
ID() - Method in class net.maswag.falcaun.LTLParser.ExprContext
IMPLY - Static variable in class AbstractTemporalLogicLexer
IMPLY - Static variable in class AbstractTemporalLogicParser
IMPLY - Static variable in class net.maswag.falcaun.LTLLexer
IMPLY - Static variable in class net.maswag.falcaun.LTLParser
IMPLY - Static variable in class net.maswag.falcaun.STLLexer
IMPLY - Static variable in class net.maswag.falcaun.STLParser
IMPLY() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
IMPLY() - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
IMPLY() - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
inclusionOracle - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
initialize(Sorted) - Method in class net.maswag.falcaun.annotation.SortedValidator
initialized - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
initialized - Variable in class net.maswag.falcaun.AbstractTemporalLogic
initializeIntervalSTLproperties(TemporalLogic) - Method in class net.maswag.falcaun.AdaptiveSTLList: list up intervals of temporal operators in target STL formulas that can be strengthened
initialSTLs - Variable in class net.maswag.falcaun.AdaptiveSTLList
initScript - Variable in class net.maswag.falcaun.ArgParser
INPUT - Enum constant in enum class net.maswag.falcaun.TemporalLogic.IOType
INPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
INPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
INPUT - Static variable in class net.maswag.falcaun.LTLLexer
INPUT - Static variable in class net.maswag.falcaun.LTLParser
INPUT - Static variable in class net.maswag.falcaun.SignalMapperLexer
INPUT - Static variable in class net.maswag.falcaun.SignalMapperParser
INPUT - Static variable in class net.maswag.falcaun.STLLexer
INPUT - Static variable in class net.maswag.falcaun.STLParser
INPUT() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
INPUT() - Method in class net.maswag.falcaun.LTLParser.ExprContext
INPUT() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
INPUT() - Method in class net.maswag.falcaun.STLParser.AtomicContext
inputAlphabet - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
inputAlphabet - Variable in class net.maswag.falcaun.BlackBoxVerifier
inputMapper - Variable in class net.maswag.falcaun.LTLVisitorImpl
inputMapper - Variable in class net.maswag.falcaun.NumericSULMapper
inputMapper - Variable in class net.maswag.falcaun.STLInputAtomic
inputMapper - Variable in class net.maswag.falcaun.STLVisitorImpl
inputMapperFile - Variable in class net.maswag.falcaun.ArgParser
InputMapperReader - Class in net.maswag.falcaun
InputMapperReader() - Constructor for class net.maswag.falcaun.InputMapperReader
inputSignal - Variable in class net.maswag.falcaun.AbstractIOSignal
inputSignal - Variable in class net.maswag.falcaun.IOSignalPiece
inputSignal - Variable in class net.maswag.falcaun.SimulinkModel
inputString - Variable in class net.maswag.falcaun.LTLAtomic
IntegerRandomMutation - Class in net.maswag.falcaun: This class implements a random mutation operator for integer solution.
IntegerRandomMutation(double) - Constructor for class net.maswag.falcaun.IntegerRandomMutation
IntegerRandomMutation(double, Random) - Constructor for class net.maswag.falcaun.IntegerRandomMutation: Constructor for IntegerRandomMutation.
IntegerUniformCrossover - Class in net.maswag.falcaun: Uniform crossover for integers
IntegerUniformCrossover() - Constructor for class net.maswag.falcaun.IntegerUniformCrossover: Constructor for IntegerUniformCrossover.
IntegerUniformCrossover(double) - Constructor for class net.maswag.falcaun.IntegerUniformCrossover: Constructor for IntegerUniformCrossover.
interpolationMethod - Variable in class net.maswag.falcaun.SimulinkModel
InterpolationMethod() - Constructor for enum class net.maswag.falcaun.SimulinkModel.InterpolationMethod
interval() - Method in class AbstractTemporalLogicParser
interval() - Method in class net.maswag.falcaun.LTLParser.ExprContext
interval() - Method in class net.maswag.falcaun.LTLParser
interval() - Method in class net.maswag.falcaun.STLParser.ExprContext
interval() - Method in class net.maswag.falcaun.STLParser
IntervalContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.IntervalContext
IntervalContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.IntervalContext
IntervalContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.IntervalContext
intervalSTLProperties - Variable in class net.maswag.falcaun.AdaptiveSTLList
IntervalTL(TemporalSub, Function<TemporalLogic, TemporalLogic>, int) - Constructor for class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
IOContinuousSignal - Class in net.maswag.falcaun: A signal with continuous output values.
IOContinuousSignal(Word, Word, ValueWithTime, Double) - Constructor for class net.maswag.falcaun.IOContinuousSignal
IODiscreteSignal - Class in net.maswag.falcaun: A discrete-time signal with both input and output values.
IODiscreteSignal(Word, Word) - Constructor for class net.maswag.falcaun.IODiscreteSignal
IOSignal - Interface in net.maswag.falcaun: A signal with both input and output values.
IOSignalPiece - Class in net.maswag.falcaun: A pair of input and output signals at one time step.
IOSignalPiece() - Constructor for class net.maswag.falcaun.IOSignalPiece
iOType - Variable in class net.maswag.falcaun.AbstractTemporalLogic
IOType() - Constructor for enum class net.maswag.falcaun.TemporalLogic.IOType
isAssignedCurrent - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
isDisproved() - Method in class net.maswag.falcaun.AbstractSelectEQOracle: Returns whether the property is disproved i.e., whether it observed such an input that the cost function < 0.
isDisproved() - Method in class net.maswag.falcaun.GAEQOracle
isDisproved() - Method in class net.maswag.falcaun.MealyFixedSetEQOracle: Returns whether the property is disproved i.e., whether it observed such an input that the cost function < 0.
isEmpty() - Method in interface net.maswag.falcaun.IOSignal: Returns true if the signal is empty.
isEventuallyInterval - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
isInitial - Variable in class net.maswag.falcaun.SimulinkModel
isInitialized() - Method in interface net.maswag.falcaun.TemporalLogic: Returns true if the mapper is set.
isNonTemporal() - Method in interface net.maswag.falcaun.TemporalLogic: Returns true if the formula does not contain any temporal operators.
isSTLEventually - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
isStopped() - Method in class net.maswag.falcaun.EQSearchProblem
isStoppingConditionReached() - Method in class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
isStoppingConditionReached() - Method in class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm
isValid(List<?>, ConstraintValidatorContext) - Method in class net.maswag.falcaun.annotation.SortedValidator
iteration - Variable in class net.maswag.falcaun.SAEQOracle

L

largest - Variable in class net.maswag.falcaun.LTLVisitorImpl
largest - Variable in class net.maswag.falcaun.OutputMapperReader
largest - Variable in class net.maswag.falcaun.STLInputAtomic
largest - Variable in class net.maswag.falcaun.STLOutputAtomic
largest - Variable in class net.maswag.falcaun.STLVisitorImpl
largestOutputs - Variable in class net.maswag.falcaun.NumericSULMapper
LBRACKET - Static variable in class AbstractTemporalLogicLexer
LBRACKET - Static variable in class AbstractTemporalLogicParser
LBRACKET - Static variable in class net.maswag.falcaun.LTLLexer
LBRACKET - Static variable in class net.maswag.falcaun.LTLParser
LBRACKET - Static variable in class net.maswag.falcaun.STLLexer
LBRACKET - Static variable in class net.maswag.falcaun.STLParser
LBRACKET() - Method in class AbstractTemporalLogicParser.IntervalContext
LBRACKET() - Method in class net.maswag.falcaun.LTLParser.IntervalContext
LBRACKET() - Method in class net.maswag.falcaun.STLParser.IntervalContext
learnedMealy - Variable in class net.maswag.falcaun.BlackBoxVerifier
learner - Variable in class net.maswag.falcaun.BlackBoxVerifier
left - Variable in class AbstractTemporalLogicParser.IntervalContext
left - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
left - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
left - Variable in class net.maswag.falcaun.LTLParser.ExprContext
left - Variable in class net.maswag.falcaun.LTLParser.IntervalContext
left - Variable in class net.maswag.falcaun.SignalMapperParser.ExprContext
left - Variable in class net.maswag.falcaun.STLParser.ExprContext
left - Variable in class net.maswag.falcaun.STLParser.IntervalContext
left - Variable in class net.maswag.falcaun.TemporalRelease
left - Variable in class net.maswag.falcaun.TemporalUntil
leftv - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
length - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
length - Variable in class net.maswag.falcaun.ArgParser
length - Variable in class net.maswag.falcaun.EQSearchProblem
length - Variable in class net.maswag.falcaun.SimulinkRandomTester
length() - Method in interface net.maswag.falcaun.IOSignal: Returns the number of steps of the signal.
LINEAR - Enum constant in enum class net.maswag.falcaun.SimulinkModel.InterpolationMethod: Piecewise linear interpolation
lineParse(String) - Static method in class net.maswag.falcaun.ExtendedSignalMapper
lineParse(String) - Static method in class net.maswag.falcaun.SimpleSignalMapper
list() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of LTL formulas in MealyPropertyOracle
LOGGER - Static variable in class net.maswag.falcaun.AbstractSelectEQOracle
LOGGER - Static variable in class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
LOGGER - Static variable in class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm
LOGGER - Static variable in class net.maswag.falcaun.GAEQOracle
LOGGER - Static variable in class net.maswag.falcaun.NumericMembershipOracle
LOGGER - Static variable in class net.maswag.falcaun.NumericMembershipOracleCost
LOGGER - Static variable in class net.maswag.falcaun.SimulinkRandomTester
LOGGER - Static variable in class net.maswag.falcaun.TimeoutEQOracle
lowerBound - Variable in class net.maswag.falcaun.RoSI
LPAREN - Static variable in class AbstractTemporalLogicLexer
LPAREN - Static variable in class AbstractTemporalLogicParser
LPAREN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
LPAREN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
LPAREN - Static variable in class net.maswag.falcaun.LTLLexer
LPAREN - Static variable in class net.maswag.falcaun.LTLParser
LPAREN - Static variable in class net.maswag.falcaun.SignalMapperLexer
LPAREN - Static variable in class net.maswag.falcaun.SignalMapperParser
LPAREN - Static variable in class net.maswag.falcaun.STLLexer
LPAREN - Static variable in class net.maswag.falcaun.STLParser
LPAREN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
LPAREN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
LPAREN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
LPAREN() - Method in class net.maswag.falcaun.LTLParser.ExprContext
LPAREN() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
LPAREN() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
LPAREN() - Method in class net.maswag.falcaun.STLParser.AtomicContext
LPAREN() - Method in class net.maswag.falcaun.STLParser.ExprContext
lt - Enum constant in enum class net.maswag.falcaun.STLAbstractAtomic.Operation
LT - Static variable in class AbstractTemporalLogicLexer
LT - Static variable in class AbstractTemporalLogicParser
LT - Static variable in class net.maswag.falcaun.LTLLexer
LT - Static variable in class net.maswag.falcaun.LTLParser
LT - Static variable in class net.maswag.falcaun.STLLexer
LT - Static variable in class net.maswag.falcaun.STLParser
LT() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
LT() - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
LT() - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
LTLAnd(List<TemporalLogic<String>>) - Constructor for class net.maswag.falcaun.TemporalAnd.LTLAnd
LTLAnd(TemporalLogic.LTLFormula, TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.TemporalAnd.LTLAnd
LTLAtomic - Class in net.maswag.falcaun: The atomic propositions in LTL formulas
LTLAtomic(Optional<String>, Optional<String>) - Constructor for class net.maswag.falcaun.LTLAtomic
LTLBaseListener - Class in net.maswag.falcaun: This class provides an empty implementation of LTLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
LTLBaseListener() - Constructor for class net.maswag.falcaun.LTLBaseListener
LTLBaseVisitor<T> - Class in net.maswag.falcaun: This class provides an empty implementation of LTLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
LTLBaseVisitor() - Constructor for class net.maswag.falcaun.LTLBaseVisitor
LTLEventually(TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.TemporalEventually.LTLEventually
LTLFactory - Class in net.maswag.falcaun
LTLFactory() - Constructor for class net.maswag.falcaun.LTLFactory
LTLGlobally(TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.TemporalGlobally.LTLGlobally
LTLImply(TemporalLogic.LTLFormula, TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.TemporalImply.LTLImply
LTLLexer - Class in net.maswag.falcaun
LTLLexer(CharStream) - Constructor for class net.maswag.falcaun.LTLLexer
LTLListener - Interface in net.maswag.falcaun: This interface defines a complete listener for a parse tree produced by LTLParser.
LTLNext(TemporalLogic.LTLFormula, boolean) - Constructor for class net.maswag.falcaun.TemporalNext.LTLNext
LTLNot(TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.TemporalNot.LTLNot
LTLOr(TemporalLogic<String>, TemporalLogic<String>) - Constructor for class net.maswag.falcaun.TemporalOr.LTLOr
ltlOracle - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
ltlOracle - Variable in class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
ltlOracle - Variable in class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm
ltlOracle - Variable in class net.maswag.falcaun.GAEQOracle
ltlOracles - Variable in class net.maswag.falcaun.MealyFixedSetEQOracle
ltlOracles - Variable in class net.maswag.falcaun.StopDisprovedEQOracle
LTLParser - Class in net.maswag.falcaun
LTLParser(TokenStream) - Constructor for class net.maswag.falcaun.LTLParser
LTLParser.BinaryOperatorContext - Class in net.maswag.falcaun
LTLParser.BinaryTemporalOperatorContext - Class in net.maswag.falcaun
LTLParser.ComparisonOperatorContext - Class in net.maswag.falcaun
LTLParser.ExprContext - Class in net.maswag.falcaun
LTLParser.IntervalContext - Class in net.maswag.falcaun
LTLParser.UnaryOperatorContext - Class in net.maswag.falcaun
LTLParser.UnaryTemporalOperatorContext - Class in net.maswag.falcaun
LTLParser.ValueContext - Class in net.maswag.falcaun
ltlProperties - Variable in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
LTLRelease(TemporalLogic.LTLFormula, TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.TemporalRelease.LTLRelease
LTLSub(TemporalOp<String>, int, int) - Constructor for class net.maswag.falcaun.TemporalSub.LTLSub
LTLUntil(TemporalLogic<String>, TemporalLogic<String>) - Constructor for class net.maswag.falcaun.TemporalUntil.LTLUntil
LTLVisitor<T> - Interface in net.maswag.falcaun: This interface defines a complete generic visitor for a parse tree produced by LTLParser.
LTLVisitorImpl - Class in net.maswag.falcaun: LTLVisitorImpl class.
LTLVisitorImpl() - Constructor for class net.maswag.falcaun.LTLVisitorImpl

M

main(String[]) - Static method in class net.maswag.falcaun.FalCAuN: main.
make(List<List<Double>>) - Static method in class net.maswag.falcaun.InputMapperReader
makeAbstractStringWithAtomicStrings() - Method in class net.maswag.falcaun.AbstractTemporalLogic: Construct the abstract string using the strings on the atomic propositions.
makeDataSet(StringBuilder) - Method in class net.maswag.falcaun.SimulinkModel
makeLiteralNames() - Static method in class AbstractTemporalLogicLexer
makeLiteralNames() - Static method in class AbstractTemporalLogicParser
makeLiteralNames() - Static method in class net.maswag.falcaun.ExtendedSignalMapperLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.ExtendedSignalMapperParser
makeLiteralNames() - Static method in class net.maswag.falcaun.LTLLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.LTLParser
makeLiteralNames() - Static method in class net.maswag.falcaun.SignalMapperLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.SignalMapperParser
makeLiteralNames() - Static method in class net.maswag.falcaun.STLLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.STLParser
makeRuleNames() - Static method in class AbstractTemporalLogicLexer
makeRuleNames() - Static method in class AbstractTemporalLogicParser
makeRuleNames() - Static method in class net.maswag.falcaun.ExtendedSignalMapperLexer
makeRuleNames() - Static method in class net.maswag.falcaun.ExtendedSignalMapperParser
makeRuleNames() - Static method in class net.maswag.falcaun.LTLLexer
makeRuleNames() - Static method in class net.maswag.falcaun.LTLParser
makeRuleNames() - Static method in class net.maswag.falcaun.SignalMapperLexer
makeRuleNames() - Static method in class net.maswag.falcaun.SignalMapperParser
makeRuleNames() - Static method in class net.maswag.falcaun.STLLexer
makeRuleNames() - Static method in class net.maswag.falcaun.STLParser
makeSymbolicNames() - Static method in class AbstractTemporalLogicLexer
makeSymbolicNames() - Static method in class AbstractTemporalLogicParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.ExtendedSignalMapperLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.ExtendedSignalMapperParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.LTLLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.LTLParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.SignalMapperLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.SignalMapperParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.STLLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.STLParser
mapConcrete(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.NumericSULMapper
mapInput(String) - Method in class net.maswag.falcaun.NumericSULMapper
mapInput(Word<String>) - Method in class net.maswag.falcaun.NumericSULMapper
mapInputs(List<Word<String>>) - Method in class net.maswag.falcaun.NumericSULMapper
mapOutput(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.NumericSULMapper
mapper - Variable in class net.maswag.falcaun.NumericMembershipOracle
mapper - Variable in class net.maswag.falcaun.NumericSULVerifier
mapper - Variable in class net.maswag.falcaun.SimulinkRandomTester
matlab - Variable in class net.maswag.falcaun.SimulinkModel
max(RoSI) - Method in class net.maswag.falcaun.RoSI: The elementwise max of two RoSIs.
MAX - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
MAX - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
MAX - Static variable in class net.maswag.falcaun.SignalMapperLexer
MAX - Static variable in class net.maswag.falcaun.SignalMapperParser
MAX() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
MAX() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
MAX() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
maxDepth - Variable in class net.maswag.falcaun.ArgParser
maxIteration - Variable in class net.maswag.falcaun.SAEQOracle
maxTest - Variable in class net.maswag.falcaun.ArgParser
maxTests - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
MealyFixedSetEQOracle - Class in net.maswag.falcaun: Equivalence oracle that uses a fixed set of samples.
MealyFixedSetEQOracle(List<PropertyOracle.MealyPropertyOracle<String, String, String>>, MembershipOracle.MealyMembershipOracle<String, String>) - Constructor for class net.maswag.falcaun.MealyFixedSetEQOracle: Constructor for MealyFixedSetEQOracle.
measuring - Variable in class net.maswag.falcaun.TimeMeasure
memOracle - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
memOracle - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
memOracle - Variable in class net.maswag.falcaun.BlackBoxVerifier
memOracle - Variable in class net.maswag.falcaun.EQSearchProblem
memOracle - Variable in class net.maswag.falcaun.MealyFixedSetEQOracle
memOracle - Variable in class net.maswag.falcaun.NumericSULVerifier
memOracleCosts - Variable in class net.maswag.falcaun.NumericSULVerifier
merge(TemporalLogic.IOType) - Method in enum class net.maswag.falcaun.TemporalLogic.IOType: Merges two IOType.
message() - Element in annotation interface net.maswag.falcaun.annotation.Sorted
min(RoSI) - Method in class net.maswag.falcaun.RoSI: The elementwise min of two RoSIs.
MIN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
MIN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
MIN - Static variable in class net.maswag.falcaun.SignalMapperLexer
MIN - Static variable in class net.maswag.falcaun.SignalMapperParser
MIN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
MIN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
MIN() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
minCost - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
MINUS - Static variable in class AbstractTemporalLogicLexer
MINUS - Static variable in class AbstractTemporalLogicParser
MINUS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
MINUS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
MINUS - Static variable in class net.maswag.falcaun.LTLLexer
MINUS - Static variable in class net.maswag.falcaun.LTLParser
MINUS - Static variable in class net.maswag.falcaun.SignalMapperLexer
MINUS - Static variable in class net.maswag.falcaun.SignalMapperParser
MINUS - Static variable in class net.maswag.falcaun.STLLexer
MINUS - Static variable in class net.maswag.falcaun.STLParser
MINUS() - Method in class AbstractTemporalLogicParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
MINUS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
MINUS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.LTLParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
MINUS() - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.STLParser.ValueContext
MOD - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
MOD - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
MOD - Static variable in class net.maswag.falcaun.SignalMapperLexer
MOD - Static variable in class net.maswag.falcaun.SignalMapperParser
MOD() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
MOD() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
model - Variable in class net.maswag.falcaun.SimulinkSUL: The simulation step of Simulink.
modelChecker - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
modelChecker - Variable in class net.maswag.falcaun.BlackBoxVerifier
modeNames - Static variable in class AbstractTemporalLogicLexer
modeNames - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
modeNames - Static variable in class net.maswag.falcaun.LTLLexer
modeNames - Static variable in class net.maswag.falcaun.SignalMapperLexer
modeNames - Static variable in class net.maswag.falcaun.STLLexer
MutateSelectEQOracle - Class in net.maswag.falcaun: MutateSelectEQOracle class.
MutateSelectEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean, int) - Constructor for class net.maswag.falcaun.MutateSelectEQOracle
mutateWord(Word<String>, List<? extends String>) - Method in class net.maswag.falcaun.MutateSelectEQOracle
mutationProb - Variable in class net.maswag.falcaun.ArgParser
mutationProbability - Variable in class net.maswag.falcaun.IntegerRandomMutation

N

NATURAL - Static variable in class AbstractTemporalLogicLexer
NATURAL - Static variable in class AbstractTemporalLogicParser
NATURAL - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
NATURAL - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
NATURAL - Static variable in class net.maswag.falcaun.LTLLexer
NATURAL - Static variable in class net.maswag.falcaun.LTLParser
NATURAL - Static variable in class net.maswag.falcaun.SignalMapperLexer
NATURAL - Static variable in class net.maswag.falcaun.SignalMapperParser
NATURAL - Static variable in class net.maswag.falcaun.STLLexer
NATURAL - Static variable in class net.maswag.falcaun.STLParser
NATURAL() - Method in class AbstractTemporalLogicParser.IntervalContext
NATURAL() - Method in class AbstractTemporalLogicParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
NATURAL() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
NATURAL() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.LTLParser.IntervalContext
NATURAL() - Method in class net.maswag.falcaun.LTLParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
NATURAL() - Method in class net.maswag.falcaun.SignalMapperParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.STLParser.AtomicContext
NATURAL() - Method in class net.maswag.falcaun.STLParser.IntervalContext
NATURAL() - Method in class net.maswag.falcaun.STLParser.ValueContext
NATURAL(int) - Method in class AbstractTemporalLogicParser.IntervalContext
NATURAL(int) - Method in class net.maswag.falcaun.LTLParser.IntervalContext
NATURAL(int) - Method in class net.maswag.falcaun.STLParser.IntervalContext
ne - Enum constant in enum class net.maswag.falcaun.STLAbstractAtomic.Operation
NE - Static variable in class AbstractTemporalLogicLexer
NE - Static variable in class AbstractTemporalLogicParser
NE - Static variable in class net.maswag.falcaun.LTLLexer
NE - Static variable in class net.maswag.falcaun.LTLParser
NE - Static variable in class net.maswag.falcaun.STLLexer
NE - Static variable in class net.maswag.falcaun.STLParser
NE() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
NE() - Method in class net.maswag.falcaun.LTLParser.ComparisonOperatorContext
NE() - Method in class net.maswag.falcaun.STLParser.ComparisonOperatorContext
negate() - Method in class net.maswag.falcaun.RoSI: Negate the RoSI.
neighborhoodStream(Word<String>) - Method in class net.maswag.falcaun.HillClimbingEQOracle: Generate the stream returning the neighborhood of the given word
net.maswag.falcaun - package net.maswag.falcaun: The package for FalCAuN.
net.maswag.falcaun.annotation - package net.maswag.falcaun.annotation: The annotations used in FalCAuN.
NEWLINE - Static variable in class AbstractTemporalLogicLexer
NEWLINE - Static variable in class AbstractTemporalLogicParser
NEWLINE - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
NEWLINE - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
NEWLINE - Static variable in class net.maswag.falcaun.LTLLexer
NEWLINE - Static variable in class net.maswag.falcaun.LTLParser
NEWLINE - Static variable in class net.maswag.falcaun.SignalMapperLexer
NEWLINE - Static variable in class net.maswag.falcaun.SignalMapperParser
NEWLINE - Static variable in class net.maswag.falcaun.STLLexer
NEWLINE - Static variable in class net.maswag.falcaun.STLParser
newlyFalsifiedFormula(TemporalLogic) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
newlyFalsifiedFormula(TemporalLogic) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns if the formula is not yet falsified
NEXT - Static variable in class AbstractTemporalLogicLexer
NEXT - Static variable in class AbstractTemporalLogicParser
NEXT - Static variable in class net.maswag.falcaun.LTLLexer
NEXT - Static variable in class net.maswag.falcaun.LTLParser
NEXT - Static variable in class net.maswag.falcaun.STLLexer
NEXT - Static variable in class net.maswag.falcaun.STLParser
NEXT() - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
NEXT() - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
NEXT() - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
nextStrengthenedSTL() - Method in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL: strengthen an STL formula by changing an interval
nextStrengthenedSTL(int) - Method in class net.maswag.falcaun.AdaptiveSTLList
nonTemporal - Variable in class net.maswag.falcaun.AbstractTemporalLogic
NOT - Static variable in class AbstractTemporalLogicLexer
NOT - Static variable in class AbstractTemporalLogicParser
NOT - Static variable in class net.maswag.falcaun.LTLLexer
NOT - Static variable in class net.maswag.falcaun.LTLParser
NOT - Static variable in class net.maswag.falcaun.STLLexer
NOT - Static variable in class net.maswag.falcaun.STLParser
NOT() - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
NOT() - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
NOT() - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
notifiedSet - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
notifyFalsifiedProperty(List<Integer>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Notify that this.getLTLProperties.get(i) is falsified by the currently learned model.
notifyFalsifiedProperty(List<Integer>) - Method in class net.maswag.falcaun.AdaptiveSTLList: Notify that subset of this.getLTLProperties are falsified by the currently learned model.
notifyFalsifiedProperty(List<Integer>) - Method in class net.maswag.falcaun.StaticSTLList
notifyFalsifiedProperty(List<Integer>) - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
nullPositive - Variable in class net.maswag.falcaun.TemporalNext
NumericMembershipOracle - Class in net.maswag.falcaun: The membership oracle for a Simulink model
NumericMembershipOracle(NumericSUL, NumericSULMapper) - Constructor for class net.maswag.falcaun.NumericMembershipOracle
NumericMembershipOracleCost - Class in net.maswag.falcaun
NumericMembershipOracleCost(NumericSUL, NumericSULMapper, Function<IOSignal<List<Double>>, Double>) - Constructor for class net.maswag.falcaun.NumericMembershipOracleCost
NumericSUL - Interface in net.maswag.falcaun: Systems under learning with numerical I/O.
NumericSULMapper - Class in net.maswag.falcaun: I/O Mapper between abstract/concrete NumericSUL.
NumericSULMapper(List<Map<Character, Double>>, List<Character>, List<Map<Character, Double>>, SignalMapper) - Constructor for class net.maswag.falcaun.NumericSULMapper: Constructor for SimulinkSULMapper.
NumericSULVerifier - Class in net.maswag.falcaun: Verifier of a NumericSUL
NumericSULVerifier(NumericSUL, double, AdaptiveSTLUpdater<List<Double>>, NumericSULMapper) - Constructor for class net.maswag.falcaun.NumericSULVerifier: Constructor for SimulinkVerifier.

O

onlyEval(Word<String>) - Method in class net.maswag.falcaun.SAEQOracle
op - Variable in class net.maswag.falcaun.STLAbstractAtomic
Operation() - Constructor for enum class net.maswag.falcaun.STLAbstractAtomic.Operation
options - Variable in class net.maswag.falcaun.ArgParser
OR - Static variable in class AbstractTemporalLogicLexer
OR - Static variable in class AbstractTemporalLogicParser
OR - Static variable in class net.maswag.falcaun.LTLLexer
OR - Static variable in class net.maswag.falcaun.LTLParser
OR - Static variable in class net.maswag.falcaun.STLLexer
OR - Static variable in class net.maswag.falcaun.STLParser
OR() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
OR() - Method in class net.maswag.falcaun.LTLParser.BinaryOperatorContext
OR() - Method in class net.maswag.falcaun.STLParser.BinaryOperatorContext
OUTPUT - Enum constant in enum class net.maswag.falcaun.TemporalLogic.IOType
OUTPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
OUTPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
OUTPUT - Static variable in class net.maswag.falcaun.LTLLexer
OUTPUT - Static variable in class net.maswag.falcaun.LTLParser
OUTPUT - Static variable in class net.maswag.falcaun.SignalMapperLexer
OUTPUT - Static variable in class net.maswag.falcaun.SignalMapperParser
OUTPUT - Static variable in class net.maswag.falcaun.STLLexer
OUTPUT - Static variable in class net.maswag.falcaun.STLParser
OUTPUT() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
OUTPUT() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
OUTPUT() - Method in class net.maswag.falcaun.LTLParser.ExprContext
OUTPUT() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
OUTPUT() - Method in class net.maswag.falcaun.STLParser.AtomicContext
outputMapper - Variable in class net.maswag.falcaun.LTLVisitorImpl
outputMapper - Variable in class net.maswag.falcaun.OutputMapperReader
outputMapper - Variable in class net.maswag.falcaun.STLOutputAtomic
outputMapper - Variable in class net.maswag.falcaun.STLVisitorImpl
outputMapperFile - Variable in class net.maswag.falcaun.ArgParser
OutputMapperReader - Class in net.maswag.falcaun
OutputMapperReader(String) - Constructor for class net.maswag.falcaun.OutputMapperReader
OutputMapperReader(List<List<Double>>) - Constructor for class net.maswag.falcaun.OutputMapperReader: Constructor for OutputMapperReader from data.
outputSignal - Variable in class net.maswag.falcaun.AbstractIOSignal
outputSignal - Variable in class net.maswag.falcaun.IOSignalPiece
outputString - Variable in class net.maswag.falcaun.LTLAtomic

P

paramNames - Variable in class net.maswag.falcaun.ArgParser
paramNames - Variable in class net.maswag.falcaun.SimulinkModel
parse() - Method in class net.maswag.falcaun.OutputMapperReader
parse(BufferedReader) - Static method in class net.maswag.falcaun.ExtendedSignalMapper
parse(BufferedReader) - Static method in class net.maswag.falcaun.SimpleSignalMapper
parse(String) - Static method in class net.maswag.falcaun.ExtendedSignalMapper
parse(String) - Static method in class net.maswag.falcaun.InputMapperReader
parse(String) - Method in class net.maswag.falcaun.LTLFactory: parse an LTL formula
parse(String) - Static method in class net.maswag.falcaun.SimpleSignalMapper
parse(String) - Method in class net.maswag.falcaun.STLFactory: parse an STL formula without setting the mapper
parse(String, List<Map<Character, Double>>, List<Map<Character, Double>>, List<Character>) - Method in class net.maswag.falcaun.STLFactory: parse an STL formula using mappers
parse(List<String>) - Static method in class net.maswag.falcaun.ExtendedSignalMapper
parse(List<String>) - Static method in class net.maswag.falcaun.SimpleSignalMapper
parsedData - Variable in class net.maswag.falcaun.OutputMapperReader
parseImpl(String, STLVisitor<TemporalLogic.STLCost>) - Static method in class net.maswag.falcaun.STLFactory
parseSignalMapperImpl(String, ExtendedSignalMapperVisitor<Function<ExtendedIOSignalPiece<List<Double>>, List<Double>>>) - Static method in class net.maswag.falcaun.ExtendedSignalMapper
parseSignalMapperImpl(String, SignalMapperVisitor<Function<IOSignalPiece<List<Double>>, Double>>) - Static method in class net.maswag.falcaun.SimpleSignalMapper
payload() - Element in annotation interface net.maswag.falcaun.annotation.Sorted
PLUS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
PLUS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
PLUS - Static variable in class net.maswag.falcaun.SignalMapperLexer
PLUS - Static variable in class net.maswag.falcaun.SignalMapperParser
PLUS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
PLUS() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
PLUS() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
populationSize - Variable in class net.maswag.falcaun.ArgParser
post() - Method in interface net.maswag.falcaun.NumericSUL
post() - Method in class net.maswag.falcaun.SimulinkSUL
pre() - Method in interface net.maswag.falcaun.NumericSUL
pre() - Method in class net.maswag.falcaun.SimulinkSUL
prefixes(boolean) - Method in class net.maswag.falcaun.IOContinuousSignal
prefixes(boolean) - Method in class net.maswag.falcaun.IODiscreteSignal
prefixes(boolean) - Method in interface net.maswag.falcaun.IOSignal: Returns all the prefix of the signal.
preventHugeTempFile(StringBuilder) - Method in class net.maswag.falcaun.SimulinkModel
PREVIOUS_MAX - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
PREVIOUS_MAX - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
PREVIOUS_MAX() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
PREVIOUS_MAX_OUTPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
PREVIOUS_MAX_OUTPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
PREVIOUS_MAX_OUTPUT() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
PREVIOUS_MIN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
PREVIOUS_MIN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
PREVIOUS_MIN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
PREVIOUS_MIN_OUTPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
PREVIOUS_MIN_OUTPUT - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
PREVIOUS_MIN_OUTPUT() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
previousOutputSignals - Variable in class net.maswag.falcaun.ExtendedIOSignalPiece: The previous output signals.
printEquivSetting(ArgParser, List<TemporalLogic.STLCost>) - Static method in class net.maswag.falcaun.FalCAuN
printResult(int, List<T>, List<Signal>, List<Word<String>>, List<Word<String>>) - Static method in class net.maswag.falcaun.FalCAuN
problem - Variable in class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
problem - Variable in class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm
problem - Variable in class net.maswag.falcaun.GAEQOracle
processMealy() - Method in class net.maswag.falcaun.BlackBoxVerifier: Set the counter example input/output.
processQueries(Collection<? extends Query<String, Word<String>>>) - Method in class net.maswag.falcaun.NumericMembershipOracle
processQueries(Collection<? extends Query<String, Word<String>>>) - Method in class net.maswag.falcaun.NumericMembershipOracleCost
processQueryWithCost(Query<String, Word<String>>) - Method in class net.maswag.falcaun.NumericMembershipOracleCost
properties - Variable in class net.maswag.falcaun.BlackBoxVerifier
properties - Variable in class net.maswag.falcaun.SimulinkRandomTester
propertyOracles - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
PURE_RANDOM - Enum constant in enum class net.maswag.falcaun.ArgParser.EquivType

Q

quit - Variable in class net.maswag.falcaun.ArgParser

R

random - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
random - Variable in class net.maswag.falcaun.IntegerRandomMutation
random - Variable in class net.maswag.falcaun.SimulinkRandomTester
RANDOM - Enum constant in enum class net.maswag.falcaun.ArgParser.EquivType
range(double, double) - Method in class net.maswag.falcaun.ValueWithTime: Get the values in the given time range.
rawParse(String) - Static method in class net.maswag.falcaun.AbstractMapperReader
rawSimulink - Variable in class net.maswag.falcaun.SimulinkRandomTester
rawSUL - Variable in class net.maswag.falcaun.NumericSULVerifier
rawValue - Variable in class net.maswag.falcaun.SimulinkAbstractAlphabetDomain
RBRACKET - Static variable in class AbstractTemporalLogicLexer
RBRACKET - Static variable in class AbstractTemporalLogicParser
RBRACKET - Static variable in class net.maswag.falcaun.LTLLexer
RBRACKET - Static variable in class net.maswag.falcaun.LTLParser
RBRACKET - Static variable in class net.maswag.falcaun.STLLexer
RBRACKET - Static variable in class net.maswag.falcaun.STLParser
RBRACKET() - Method in class AbstractTemporalLogicParser.IntervalContext
RBRACKET() - Method in class net.maswag.falcaun.LTLParser.IntervalContext
RBRACKET() - Method in class net.maswag.falcaun.STLParser.IntervalContext
RELEASE - Static variable in class AbstractTemporalLogicLexer
RELEASE - Static variable in class AbstractTemporalLogicParser
RELEASE - Static variable in class net.maswag.falcaun.LTLLexer
RELEASE - Static variable in class net.maswag.falcaun.LTLParser
RELEASE - Static variable in class net.maswag.falcaun.STLLexer
RELEASE - Static variable in class net.maswag.falcaun.STLParser
RELEASE() - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
RELEASE() - Method in class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
RELEASE() - Method in class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
removeSTLProperties(Collection<Integer>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
removeSTLProperty(int) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
reportedFormulas - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
reset() - Method in class net.maswag.falcaun.AdaptiveSTLList: Remove all the non-initial STL formulas
reset() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Reset the list of the STL formulas to the initial one.
reset() - Method in class net.maswag.falcaun.SimulinkModel: Reset the Simulink model to the initial state.
reset() - Method in class net.maswag.falcaun.StaticSTLList
reset() - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
reset() - Method in class net.maswag.falcaun.TimeMeasure
resetSamples() - Method in class net.maswag.falcaun.AbstractSelectEQOracle
resetWord - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
resetWord - Static variable in class net.maswag.falcaun.FalCAuN
right - Variable in class AbstractTemporalLogicParser.IntervalContext
right - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
right - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
right - Variable in class net.maswag.falcaun.LTLParser.ExprContext
right - Variable in class net.maswag.falcaun.LTLParser.IntervalContext
right - Variable in class net.maswag.falcaun.SignalMapperParser.ExprContext
right - Variable in class net.maswag.falcaun.STLParser.ExprContext
right - Variable in class net.maswag.falcaun.STLParser.IntervalContext
right - Variable in class net.maswag.falcaun.TemporalRelease
right - Variable in class net.maswag.falcaun.TemporalUntil
rightv - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
RoSI - Class in net.maswag.falcaun: The RoSI class representing a robust satisfaction interval (RoSI).
RoSI(double) - Constructor for class net.maswag.falcaun.RoSI: Construct a RoSI with a single value, i.e., the lower bound and the upper bound are the same.
RoSI(double, double) - Constructor for class net.maswag.falcaun.RoSI: Construct a RoSI with a range of values.
RPAREN - Static variable in class AbstractTemporalLogicLexer
RPAREN - Static variable in class AbstractTemporalLogicParser
RPAREN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
RPAREN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
RPAREN - Static variable in class net.maswag.falcaun.LTLLexer
RPAREN - Static variable in class net.maswag.falcaun.LTLParser
RPAREN - Static variable in class net.maswag.falcaun.SignalMapperLexer
RPAREN - Static variable in class net.maswag.falcaun.SignalMapperParser
RPAREN - Static variable in class net.maswag.falcaun.STLLexer
RPAREN - Static variable in class net.maswag.falcaun.STLParser
RPAREN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
RPAREN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
RPAREN() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
RPAREN() - Method in class net.maswag.falcaun.LTLParser.ExprContext
RPAREN() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
RPAREN() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
RPAREN() - Method in class net.maswag.falcaun.STLParser.AtomicContext
RPAREN() - Method in class net.maswag.falcaun.STLParser.ExprContext
RULE_atomic - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
RULE_atomic - Static variable in class net.maswag.falcaun.SignalMapperParser
RULE_atomic - Static variable in class net.maswag.falcaun.STLParser
RULE_binaryOperator - Static variable in class AbstractTemporalLogicParser
RULE_binaryOperator - Static variable in class net.maswag.falcaun.LTLParser
RULE_binaryOperator - Static variable in class net.maswag.falcaun.STLParser
RULE_binaryTemporalOperator - Static variable in class AbstractTemporalLogicParser
RULE_binaryTemporalOperator - Static variable in class net.maswag.falcaun.LTLParser
RULE_binaryTemporalOperator - Static variable in class net.maswag.falcaun.STLParser
RULE_comparisonOperator - Static variable in class AbstractTemporalLogicParser
RULE_comparisonOperator - Static variable in class net.maswag.falcaun.LTLParser
RULE_comparisonOperator - Static variable in class net.maswag.falcaun.STLParser
RULE_expr - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
RULE_expr - Static variable in class net.maswag.falcaun.LTLParser
RULE_expr - Static variable in class net.maswag.falcaun.SignalMapperParser
RULE_expr - Static variable in class net.maswag.falcaun.STLParser
RULE_extended_expr - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
RULE_interval - Static variable in class AbstractTemporalLogicParser
RULE_interval - Static variable in class net.maswag.falcaun.LTLParser
RULE_interval - Static variable in class net.maswag.falcaun.STLParser
RULE_unaryOperator - Static variable in class AbstractTemporalLogicParser
RULE_unaryOperator - Static variable in class net.maswag.falcaun.LTLParser
RULE_unaryOperator - Static variable in class net.maswag.falcaun.STLParser
RULE_unaryTemporalOperator - Static variable in class AbstractTemporalLogicParser
RULE_unaryTemporalOperator - Static variable in class net.maswag.falcaun.LTLParser
RULE_unaryTemporalOperator - Static variable in class net.maswag.falcaun.STLParser
RULE_value - Static variable in class AbstractTemporalLogicParser
RULE_value - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
RULE_value - Static variable in class net.maswag.falcaun.LTLParser
RULE_value - Static variable in class net.maswag.falcaun.SignalMapperParser
RULE_value - Static variable in class net.maswag.falcaun.STLParser
ruleNames - Static variable in class AbstractTemporalLogicLexer
ruleNames - Static variable in class AbstractTemporalLogicParser
ruleNames - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
ruleNames - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
ruleNames - Static variable in class net.maswag.falcaun.LTLLexer
ruleNames - Static variable in class net.maswag.falcaun.LTLParser
ruleNames - Static variable in class net.maswag.falcaun.SignalMapperLexer
ruleNames - Static variable in class net.maswag.falcaun.SignalMapperParser
ruleNames - Static variable in class net.maswag.falcaun.STLLexer
ruleNames - Static variable in class net.maswag.falcaun.STLParser
run() - Method in class net.maswag.falcaun.BlackBoxVerifier
run() - Method in class net.maswag.falcaun.NumericSULVerifier: run.
run() - Method in class net.maswag.falcaun.SimulinkRandomTester
runSimulation(StringBuilder, double) - Method in class net.maswag.falcaun.SimulinkModel

S

SA - Enum constant in enum class net.maswag.falcaun.ArgParser.EquivType
SAEQOracle - Class in net.maswag.falcaun: Answer the Equivalence query by simulated annealing
SAEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean, double) - Constructor for class net.maswag.falcaun.SAEQOracle: Constructor for SAEQOracle.
SAEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean, double, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.SAEQOracle
satisfyingAtomicPropositions - Variable in class net.maswag.falcaun.AbstractTemporalLogic
selectionKind - Variable in class net.maswag.falcaun.ArgParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.LTLParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.SignalMapperParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.STLParser
setAtomic(List<Map<Character, Double>>, List<Character>) - Method in class net.maswag.falcaun.STLOutputAtomic
setCache(IncrementalMealyTreeBuilder<String, String>) - Method in class net.maswag.falcaun.NumericMembershipOracle
setCrossoverProbability(double) - Method in class net.maswag.falcaun.IntegerUniformCrossover
setHypothesis(MealyMachine<?, String, ?, String>) - Method in class net.maswag.falcaun.EQSearchProblem
setInputAlphabet(Alphabet<String>) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Set the input alphabet we are using.
setInputMapper(List<Map<Character, Double>>) - Method in class net.maswag.falcaun.STLInputAtomic
setInputMaps() - Method in class net.maswag.falcaun.STLInputAtomic
setLargest(List<Character>) - Method in class net.maswag.falcaun.STLOutputAtomic
setMemOracle(MembershipOracle.MealyMembershipOracle<String, String>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
setMemOracle(MembershipOracle.MealyMembershipOracle<String, String>) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Set new membership oracle.
setMutationProbability(double) - Method in class net.maswag.falcaun.IntegerRandomMutation
setOutputMapper(List<Map<Character, Double>>) - Method in class net.maswag.falcaun.STLOutputAtomic
setOutputMaps() - Method in class net.maswag.falcaun.STLOutputAtomic
setSimulationStep(double) - Method in class net.maswag.falcaun.SimulinkModel: Setter of simulinkSimulationStep
setSimulationStep(double) - Method in class net.maswag.falcaun.SimulinkSUL: Setter of simulinkSimulationStep
setSimulationStep(double) - Method in class net.maswag.falcaun.SimulinkSULVerifier: Modify the simulation step of Simulink.
setSymbolList(List<? extends String>) - Method in class net.maswag.falcaun.EQSearchProblem
setTimeout(long) - Method in class net.maswag.falcaun.BlackBoxVerifier: Set timeout to the equivalence oracle added next time.
setTimeout(long) - Method in class net.maswag.falcaun.NumericSULVerifier: Set timeout to the equivalence oracle added next time.
setTimeout(long) - Method in class net.maswag.falcaun.SimulinkRandomTester: Set timeout to the equivalence oracle added next time.
shouldPick(double, double) - Method in class net.maswag.falcaun.SAEQOracle
showHelp() - Method in class net.maswag.falcaun.ArgParser
showVersion() - Method in class net.maswag.falcaun.ArgParser
sigIndex - Variable in class net.maswag.falcaun.STLAbstractAtomic
sigMap - Variable in class net.maswag.falcaun.ArgParser
sigMap - Variable in class net.maswag.falcaun.ExtendedSignalMapper
sigMap - Variable in class net.maswag.falcaun.NumericSULMapper
sigMap - Variable in class net.maswag.falcaun.SimpleSignalMapper
Signal - Class in net.maswag.falcaun: Signal of Simulink
Signal(double) - Constructor for class net.maswag.falcaun.Signal
signalID - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
signalID - Variable in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
signalID - Variable in class net.maswag.falcaun.SignalMapperParser.AtomicContext
signalID - Variable in class net.maswag.falcaun.STLParser.AtomicContext
SignalMapper - Interface in net.maswag.falcaun: Interface to construct pseudo signals from concrete signals
SignalMapperBaseListener - Class in net.maswag.falcaun: This class provides an empty implementation of SignalMapperListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
SignalMapperBaseListener() - Constructor for class net.maswag.falcaun.SignalMapperBaseListener
SignalMapperBaseVisitor<T> - Class in net.maswag.falcaun: This class provides an empty implementation of SignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
SignalMapperBaseVisitor() - Constructor for class net.maswag.falcaun.SignalMapperBaseVisitor
SignalMapperLexer - Class in net.maswag.falcaun
SignalMapperLexer(CharStream) - Constructor for class net.maswag.falcaun.SignalMapperLexer
SignalMapperListener - Interface in net.maswag.falcaun: This interface defines a complete listener for a parse tree produced by SignalMapperParser.
SignalMapperParser - Class in net.maswag.falcaun
SignalMapperParser(TokenStream) - Constructor for class net.maswag.falcaun.SignalMapperParser
SignalMapperParser.AtomicContext - Class in net.maswag.falcaun
SignalMapperParser.ExprContext - Class in net.maswag.falcaun
SignalMapperParser.ValueContext - Class in net.maswag.falcaun
SignalMapperVisitor<T> - Interface in net.maswag.falcaun: This interface defines a complete generic visitor for a parse tree produced by SignalMapperParser.
SignalMapperVisitorImpl - Class in net.maswag.falcaun: STLVisitorImpl class.
SignalMapperVisitorImpl() - Constructor for class net.maswag.falcaun.SignalMapperVisitorImpl
signalStep - Variable in class net.maswag.falcaun.IOContinuousSignal
signalStep - Variable in class net.maswag.falcaun.NumericSULVerifier
signalStep - Variable in class net.maswag.falcaun.SimulinkModel: The signal step of the input signal.
signalStep - Variable in class net.maswag.falcaun.SimulinkRandomTester
signalValues - Variable in class net.maswag.falcaun.Signal
SimpleSignalMapper - Class in net.maswag.falcaun: Class to construct pseudo signals from concrete signals
SimpleSignalMapper() - Constructor for class net.maswag.falcaun.SimpleSignalMapper
simulationTime - Variable in class net.maswag.falcaun.SimulinkModel
simulink - Variable in class net.maswag.falcaun.NumericSULVerifier
simulink - Variable in class net.maswag.falcaun.SimulinkRandomTester
SimulinkAbstractAlphabetDomain - Class in net.maswag.falcaun: SimulinkAbstractAlphabetDomain class.
SimulinkAbstractAlphabetDomain(String) - Constructor for class net.maswag.falcaun.SimulinkAbstractAlphabetDomain: Constructor for SimulinkAbstractAlphabetDomain.
SimulinkModel - Class in net.maswag.falcaun: Raw Simulink model.
SimulinkModel(String, List<String>, Double, Double) - Constructor for class net.maswag.falcaun.SimulinkModel
SimulinkModel.InterpolationMethod - Enum Class in net.maswag.falcaun: Enum for the interpolation methods of the input signal
SimulinkRandomTester - Class in net.maswag.falcaun: Pure Random Tester of a Simulink model
SimulinkRandomTester(String, List<String>, int, double, List<String>, List<TemporalLogic.STLCost>, NumericSULMapper) - Constructor for class net.maswag.falcaun.SimulinkRandomTester
simulinkSimulationStep - Variable in class net.maswag.falcaun.ArgParser
simulinkSimulationStep - Variable in class net.maswag.falcaun.SimulinkModel: The simulation step of Simulink.
SimulinkSUL - Class in net.maswag.falcaun: The System Under Learning implemented by a Simulink.
SimulinkSUL(String, List<String>, Double, Double) - Constructor for class net.maswag.falcaun.SimulinkSUL
SimulinkSULVerifier - Class in net.maswag.falcaun
SimulinkSULVerifier(String, List<String>, double, double, AdaptiveSTLUpdater<List<Double>>, NumericSULMapper) - Constructor for class net.maswag.falcaun.SimulinkSULVerifier: Constructor for SimulinkVerifier.
size() - Method in class net.maswag.falcaun.AbstractIOSignal
size() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the number of the current list of STL formulas
size() - Method in class net.maswag.falcaun.ExtendedSignalMapper
size() - Method in interface net.maswag.falcaun.IOSignal: Returns the number of steps of the signal.
size() - Method in class net.maswag.falcaun.Signal: Return the length of the signal
size() - Method in interface net.maswag.falcaun.SignalMapper
size() - Method in class net.maswag.falcaun.SimpleSignalMapper
size() - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
size() - Method in class net.maswag.falcaun.ValueWithTime: Get the number of contained values.
Sorted - Annotation Interface in net.maswag.falcaun.annotation
SortedValidator - Class in net.maswag.falcaun.annotation
SortedValidator() - Constructor for class net.maswag.falcaun.annotation.SortedValidator
start() - Method in class net.maswag.falcaun.TimeMeasure
start() - Method in class net.maswag.falcaun.TimeoutEQOracle: Start ticking the clock
startTime - Variable in class net.maswag.falcaun.TimeMeasure
startTime - Variable in class net.maswag.falcaun.TimeoutEQOracle
StaticLTLList(List<String>) - Constructor for class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
StaticSTLList - Class in net.maswag.falcaun: List of STL/LTL formulas without update
StaticSTLList() - Constructor for class net.maswag.falcaun.StaticSTLList
StaticSTLList(Collection<? extends TemporalLogic>) - Constructor for class net.maswag.falcaun.StaticSTLList
StaticSTLList(TemporalLogic) - Constructor for class net.maswag.falcaun.StaticSTLList
step(List<Double>) - Method in interface net.maswag.falcaun.ContinuousNumericSUL: Execute the SUL by feeding single step input.
step(List<Double>) - Method in class net.maswag.falcaun.SimulinkModel: Execute the Simulink model for one step by feeding inputSignal
step(List<Double>) - Method in class net.maswag.falcaun.SimulinkSUL: Execute the SUL by feeding single step input.
stepTime - Variable in class net.maswag.falcaun.ArgParser
stl - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
STLAbstractAtomic - Class in net.maswag.falcaun: STLAtomic class.
STLAbstractAtomic(int, STLAbstractAtomic.Operation, double) - Constructor for class net.maswag.falcaun.STLAbstractAtomic: Constructor for STLAtomic.
STLAbstractAtomic.Operation - Enum Class in net.maswag.falcaun
STLAnd(List<TemporalLogic<List<Double>>>) - Constructor for class net.maswag.falcaun.TemporalAnd.STLAnd
STLAnd(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalAnd.STLAnd
STLBaseListener - Class in net.maswag.falcaun: This class provides an empty implementation of STLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
STLBaseListener() - Constructor for class net.maswag.falcaun.STLBaseListener
STLBaseVisitor<T> - Class in net.maswag.falcaun: This class provides an empty implementation of STLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
STLBaseVisitor() - Constructor for class net.maswag.falcaun.STLBaseVisitor
STLEventually(TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalEventually.STLEventually
STLFactory - Class in net.maswag.falcaun
STLFactory() - Constructor for class net.maswag.falcaun.STLFactory
stlFile - Variable in class net.maswag.falcaun.ArgParser
stlFormula - Variable in class net.maswag.falcaun.ArgParser
STLGlobally(TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalGlobally.STLGlobally
STLImply(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalImply.STLImply
STLInputAtomic - Class in net.maswag.falcaun: STLAtomic class.
STLInputAtomic(int, STLAbstractAtomic.Operation, double) - Constructor for class net.maswag.falcaun.STLInputAtomic: Constructor for STLAtomic.
STLLexer - Class in net.maswag.falcaun
STLLexer(CharStream) - Constructor for class net.maswag.falcaun.STLLexer
STLListener - Interface in net.maswag.falcaun: This interface defines a complete listener for a parse tree produced by STLParser.
STLNext(TemporalLogic.STLCost, boolean) - Constructor for class net.maswag.falcaun.TemporalNext.STLNext
STLNot(TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalNot.STLNot
STLOr(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalOr.STLOr
STLOutputAtomic - Class in net.maswag.falcaun: STLAtomic class.
STLOutputAtomic(int, STLAbstractAtomic.Operation, double) - Constructor for class net.maswag.falcaun.STLOutputAtomic: Constructor for STLAtomic.
STLParser - Class in net.maswag.falcaun
STLParser(TokenStream) - Constructor for class net.maswag.falcaun.STLParser
STLParser.AtomicContext - Class in net.maswag.falcaun
STLParser.BinaryOperatorContext - Class in net.maswag.falcaun
STLParser.BinaryTemporalOperatorContext - Class in net.maswag.falcaun
STLParser.ComparisonOperatorContext - Class in net.maswag.falcaun
STLParser.ExprContext - Class in net.maswag.falcaun
STLParser.IntervalContext - Class in net.maswag.falcaun
STLParser.UnaryOperatorContext - Class in net.maswag.falcaun
STLParser.UnaryTemporalOperatorContext - Class in net.maswag.falcaun
STLParser.ValueContext - Class in net.maswag.falcaun
STLProperties - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
STLRelease(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalRelease.STLRelease
STLSub(TemporalOp<List<Double>>, int, int) - Constructor for class net.maswag.falcaun.TemporalSub.STLSub
STLUntil(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.TemporalUntil.STLUntil
STLVisitor<T> - Interface in net.maswag.falcaun: This interface defines a complete generic visitor for a parse tree produced by STLParser.
STLVisitorImpl - Class in net.maswag.falcaun: STLVisitorImpl class.
STLVisitorImpl() - Constructor for class net.maswag.falcaun.STLVisitorImpl
stop() - Method in class net.maswag.falcaun.TimeMeasure
StopDisprovedEQOracle<I,O,C> - Class in net.maswag.falcaun: Wraps an equivalence oracle so that the equivalence oracle is skipped if all the LTL oracles are disproved.
StopDisprovedEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I, O>, AdaptiveSTLUpdater<C>) - Constructor for class net.maswag.falcaun.StopDisprovedEQOracle
StopDisprovedEQOracle.StaticLTLList - Class in net.maswag.falcaun
stopped - Variable in class net.maswag.falcaun.EQSearchProblem
stream() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
stream() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of LTL formulas in MealyPropertyOracle in stream
stream() - Method in class net.maswag.falcaun.IOContinuousSignal
stream() - Method in class net.maswag.falcaun.IODiscreteSignal
stream() - Method in interface net.maswag.falcaun.IOSignal: Returns a stream of the signal.
stream() - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
stream(double) - Method in class net.maswag.falcaun.ValueWithTime: Stream the List of values between each signal step.
strengthenedSTLProperties - Variable in class net.maswag.falcaun.AdaptiveSTLList
strengthenSTL(TemporalLogic) - Method in class net.maswag.falcaun.AdaptiveSTLList: syntactically strengthen an STL/LTL formula
strengthInit() - Method in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
subFml - Variable in class net.maswag.falcaun.TemporalNext
subFml - Variable in class net.maswag.falcaun.TemporalNot
subFml - Variable in class net.maswag.falcaun.TemporalOp
subFml - Variable in class net.maswag.falcaun.TemporalSub
subFml1 - Variable in class net.maswag.falcaun.TemporalImply
subFml2 - Variable in class net.maswag.falcaun.TemporalImply
subFmls - Variable in class net.maswag.falcaun.TemporalOr
subFormulas - Variable in class net.maswag.falcaun.TemporalAnd
subWord(int) - Method in class net.maswag.falcaun.IOContinuousSignal
subWord(int) - Method in class net.maswag.falcaun.IODiscreteSignal
subWord(int) - Method in interface net.maswag.falcaun.IOSignal: Constructs a sub-signal of the signal.
subWord(int, int) - Method in class net.maswag.falcaun.IOContinuousSignal: Constructs a sub-signal of the signal.
subWord(int, int) - Method in class net.maswag.falcaun.IODiscreteSignal: Constructs a sub-signal of the signal.
subWord(int, int) - Method in interface net.maswag.falcaun.IOSignal: Constructs a sub-signal of the signal.
suffix(int) - Method in class net.maswag.falcaun.IOContinuousSignal
suffix(int) - Method in class net.maswag.falcaun.IODiscreteSignal
suffix(int) - Method in interface net.maswag.falcaun.IOSignal: Constructs a suffix of the signal.
suffixes(boolean) - Method in class net.maswag.falcaun.IOContinuousSignal
suffixes(boolean) - Method in class net.maswag.falcaun.IODiscreteSignal
suffixes(boolean) - Method in interface net.maswag.falcaun.IOSignal: Constructs all suffixes of the signal.
sul - Variable in class net.maswag.falcaun.NumericMembershipOracle
Sum() - Constructor for class net.maswag.falcaun.EvaluationCountable.Sum
symbolList - Variable in class net.maswag.falcaun.AbstractSelectEQOracle
symbolList - Variable in class net.maswag.falcaun.EQSearchProblem

T

targetSTLs - Variable in class net.maswag.falcaun.AdaptiveSTLList
TemporalAnd - Class in net.maswag.falcaun: The class representing the AND operator of temporal logic.
TemporalAnd(List<TemporalLogic>) - Constructor for class net.maswag.falcaun.TemporalAnd
TemporalAnd(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalAnd
TemporalAnd.LTLAnd - Class in net.maswag.falcaun
TemporalAnd.STLAnd - Class in net.maswag.falcaun
TemporalEventually - Class in net.maswag.falcaun: STLEventually class.
TemporalEventually(TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalEventually
TemporalEventually.LTLEventually - Class in net.maswag.falcaun
TemporalEventually.STLEventually - Class in net.maswag.falcaun
TemporalGlobally - Class in net.maswag.falcaun: STLGlobal class.
TemporalGlobally(TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalGlobally
TemporalGlobally.LTLGlobally - Class in net.maswag.falcaun
TemporalGlobally.STLGlobally - Class in net.maswag.falcaun
TemporalImply - Class in net.maswag.falcaun: STLImply class.
TemporalImply(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalImply
TemporalImply.LTLImply - Class in net.maswag.falcaun
TemporalImply.STLImply - Class in net.maswag.falcaun
TemporalLogic - Interface in net.maswag.falcaun: Interface of a TemporalLogic formula.
TemporalLogic.IOType - Enum Class in net.maswag.falcaun: Specifies the type of the formula.
TemporalLogic.LTLFormula - Interface in net.maswag.falcaun
TemporalLogic.STLCost - Interface in net.maswag.falcaun
TemporalNext - Class in net.maswag.falcaun: STLNext class.
TemporalNext(TemporalLogic, boolean) - Constructor for class net.maswag.falcaun.TemporalNext
TemporalNext.LTLNext - Class in net.maswag.falcaun
TemporalNext.STLNext - Class in net.maswag.falcaun
TemporalNot - Class in net.maswag.falcaun: STLTemporalNot class.
TemporalNot(TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalNot
TemporalNot.LTLNot - Class in net.maswag.falcaun
TemporalNot.STLNot - Class in net.maswag.falcaun
TemporalOp - Class in net.maswag.falcaun
TemporalOp(TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalOp
TemporalOr - Class in net.maswag.falcaun: The class representing the OR operator of temporal logic.
TemporalOr(List<TemporalLogic>) - Constructor for class net.maswag.falcaun.TemporalOr
TemporalOr(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalOr
TemporalOr.LTLOr - Class in net.maswag.falcaun
TemporalOr.STLOr - Class in net.maswag.falcaun
TemporalRelease - Class in net.maswag.falcaun: STLRelease class.
TemporalRelease(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalRelease
TemporalRelease.LTLRelease - Class in net.maswag.falcaun
TemporalRelease.STLRelease - Class in net.maswag.falcaun
TemporalSub - Class in net.maswag.falcaun
TemporalSub(TemporalOp, int, int) - Constructor for class net.maswag.falcaun.TemporalSub
TemporalSub.LTLSub - Class in net.maswag.falcaun
TemporalSub.STLSub - Class in net.maswag.falcaun
TemporalUntil - Class in net.maswag.falcaun: STLUntil class.
TemporalUntil(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.TemporalUntil
TemporalUntil.LTLUntil - Class in net.maswag.falcaun
TemporalUntil.STLUntil - Class in net.maswag.falcaun
TimeMeasure - Class in net.maswag.falcaun
TimeMeasure() - Constructor for class net.maswag.falcaun.TimeMeasure
timeout - Variable in class net.maswag.falcaun.ArgParser
timeout - Variable in class net.maswag.falcaun.BlackBoxVerifier
timeout - Variable in class net.maswag.falcaun.SimulinkRandomTester
timeout - Variable in class net.maswag.falcaun.TimeoutEQOracle
TimeoutEQOracle<I,O> - Class in net.maswag.falcaun: Am equivalence oracle to add timeout in addition to the original oracle.
TimeoutEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I, O>, long) - Constructor for class net.maswag.falcaun.TimeoutEQOracle
timeoutOracles - Variable in class net.maswag.falcaun.BlackBoxVerifier
TIMES - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
TIMES - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
TIMES - Static variable in class net.maswag.falcaun.SignalMapperLexer
TIMES - Static variable in class net.maswag.falcaun.SignalMapperParser
TIMES() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
TIMES() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
TIMES() - Method in class net.maswag.falcaun.SignalMapperParser.ExprContext
timestamps - Variable in class net.maswag.falcaun.Signal
timestamps - Variable in class net.maswag.falcaun.ValueWithTime
timeStep - Variable in class net.maswag.falcaun.Signal
timeWindow - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
timeWindow - Variable in class net.maswag.falcaun.AdaptiveSTLList
to - Variable in class net.maswag.falcaun.TemporalSub
toAbstractString() - Method in class net.maswag.falcaun.LTLAtomic
toAbstractString() - Method in class net.maswag.falcaun.STLAbstractAtomic: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalAnd: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalEventually: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalGlobally: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalImply: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in interface net.maswag.falcaun.TemporalLogic: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalNext: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalNot: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalOr: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalRelease: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.TemporalSub
toAbstractString() - Method in class net.maswag.falcaun.TemporalUntil: Returns a string representation of the formula in the format of LTSMin.
toInt() - Method in class net.maswag.falcaun.SimulinkAbstractAlphabetDomain: toInt.
tokenNames - Static variable in class AbstractTemporalLogicLexer: Deprecated.
Use AbstractTemporalLogicLexer.VOCABULARY instead.
tokenNames - Static variable in class AbstractTemporalLogicParser: Deprecated.
Use AbstractTemporalLogicParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer: Deprecated.
Use ExtendedSignalMapperLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser: Deprecated.
Use ExtendedSignalMapperParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.LTLLexer: Deprecated.
Use LTLLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.LTLParser: Deprecated.
Use LTLParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.SignalMapperLexer: Deprecated.
Use SignalMapperLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.SignalMapperParser: Deprecated.
Use SignalMapperParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.STLLexer: Deprecated.
Use STLLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.STLParser: Deprecated.
Use STLParser.VOCABULARY instead.
toLTLString() - Method in interface net.maswag.falcaun.TemporalLogic: Returns a string representation of the formula in the format of LTSMin.
toString() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
toString() - Method in class net.maswag.falcaun.LTLAtomic
toString() - Method in class net.maswag.falcaun.Signal
toString() - Method in class net.maswag.falcaun.STLAbstractAtomic
toString() - Method in class net.maswag.falcaun.TemporalAnd
toString() - Method in class net.maswag.falcaun.TemporalEventually
toString() - Method in class net.maswag.falcaun.TemporalGlobally
toString() - Method in class net.maswag.falcaun.TemporalImply
toString() - Method in class net.maswag.falcaun.TemporalNext
toString() - Method in class net.maswag.falcaun.TemporalNot
toString() - Method in class net.maswag.falcaun.TemporalOr
toString() - Method in class net.maswag.falcaun.TemporalRelease
toString() - Method in class net.maswag.falcaun.TemporalSub
toString() - Method in class net.maswag.falcaun.TemporalUntil
Tournament - Enum constant in enum class net.maswag.falcaun.ArgParser.GASelectionKind

U

unaryOperator() - Method in class AbstractTemporalLogicParser
unaryOperator() - Method in class net.maswag.falcaun.LTLParser.ExprContext
unaryOperator() - Method in class net.maswag.falcaun.LTLParser
unaryOperator() - Method in class net.maswag.falcaun.STLParser.ExprContext
unaryOperator() - Method in class net.maswag.falcaun.STLParser
UnaryOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.UnaryOperatorContext
UnaryOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.UnaryOperatorContext
UnaryOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.UnaryOperatorContext
unaryTemporalOperator() - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
unaryTemporalOperator() - Method in class AbstractTemporalLogicParser
unaryTemporalOperator() - Method in class net.maswag.falcaun.LTLParser.ExprContext
unaryTemporalOperator() - Method in class net.maswag.falcaun.LTLParser.UnaryOperatorContext
unaryTemporalOperator() - Method in class net.maswag.falcaun.LTLParser
unaryTemporalOperator() - Method in class net.maswag.falcaun.STLParser.ExprContext
unaryTemporalOperator() - Method in class net.maswag.falcaun.STLParser.UnaryOperatorContext
unaryTemporalOperator() - Method in class net.maswag.falcaun.STLParser
UnaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
UnaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
UnaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
UNDER - Static variable in class AbstractTemporalLogicLexer
UNDER - Static variable in class AbstractTemporalLogicParser
UNDER - Static variable in class net.maswag.falcaun.LTLLexer
UNDER - Static variable in class net.maswag.falcaun.LTLParser
UNDER - Static variable in class net.maswag.falcaun.STLLexer
UNDER - Static variable in class net.maswag.falcaun.STLParser
UNDER() - Method in class net.maswag.falcaun.LTLParser.ExprContext
UNDER() - Method in class net.maswag.falcaun.STLParser.ExprContext
UNTIL - Static variable in class AbstractTemporalLogicLexer
UNTIL - Static variable in class AbstractTemporalLogicParser
UNTIL - Static variable in class net.maswag.falcaun.LTLLexer
UNTIL - Static variable in class net.maswag.falcaun.LTLParser
UNTIL - Static variable in class net.maswag.falcaun.STLLexer
UNTIL - Static variable in class net.maswag.falcaun.STLParser
UNTIL() - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
UNTIL() - Method in class net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
UNTIL() - Method in class net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
upperBound - Variable in class net.maswag.falcaun.RoSI
useFastRestart - Variable in class net.maswag.falcaun.SimulinkModel

V

value() - Method in class AbstractTemporalLogicParser
value() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
value() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
value() - Method in class net.maswag.falcaun.ExtendedSignalMapperParser
value() - Method in class net.maswag.falcaun.LTLParser
value() - Method in class net.maswag.falcaun.SignalMapperParser.AtomicContext
value() - Method in class net.maswag.falcaun.SignalMapperParser
value() - Method in class net.maswag.falcaun.STLParser.AtomicContext
value() - Method in class net.maswag.falcaun.STLParser
ValueContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.LTLParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.SignalMapperParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.STLParser.ValueContext
valueOf(String) - Static method in enum class net.maswag.falcaun.ArgParser.EquivType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.maswag.falcaun.ArgParser.GASelectionKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.maswag.falcaun.SimulinkModel.InterpolationMethod: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.maswag.falcaun.STLAbstractAtomic.Operation: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.maswag.falcaun.TemporalLogic.IOType: Returns the enum constant of this class with the specified name.
values - Variable in class net.maswag.falcaun.ValueWithTime
values() - Static method in enum class net.maswag.falcaun.ArgParser.EquivType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class net.maswag.falcaun.ArgParser.GASelectionKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class net.maswag.falcaun.SimulinkModel.InterpolationMethod: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class net.maswag.falcaun.STLAbstractAtomic.Operation: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class net.maswag.falcaun.TemporalLogic.IOType: Returns an array containing the constants of this enum class, in the order they are declared.
ValueWithTime<T> - Class in net.maswag.falcaun: A pair of time and values.
ValueWithTime() - Constructor for class net.maswag.falcaun.ValueWithTime
ValueWithTime(List<Double>, List<T>) - Constructor for class net.maswag.falcaun.ValueWithTime
verbose - Variable in class net.maswag.falcaun.ArgParser
verifiedSystem - Variable in class net.maswag.falcaun.BlackBoxVerifier
verifier - Variable in class net.maswag.falcaun.NumericSULVerifier
visitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.atomic().
visitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.atomic().
visitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperVisitorImpl: Visit a parse tree produced by ExtendedSignalMapperParser.atomic().
visitAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.SignalMapperBaseVisitor: Visit a parse tree produced by SignalMapperParser.atomic().
visitAtomic(SignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.SignalMapperVisitor: Visit a parse tree produced by SignalMapperParser.atomic().
visitAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.SignalMapperVisitorImpl: Visit a parse tree produced by SignalMapperParser.atomic().
visitAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.atomic().
visitAtomic(STLParser.AtomicContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.atomic().
visitAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.STLVisitorImpl: Visit a parse tree produced by STLParser.atomic().
visitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
visitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
visitBinaryOperator(LTLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.binaryOperator().
visitBinaryOperator(LTLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.binaryOperator().
visitBinaryOperator(STLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.binaryOperator().
visitBinaryOperator(STLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.binaryOperator().
visitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
visitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.binaryTemporalOperator().
visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.binaryTemporalOperator().
visitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.binaryTemporalOperator().
visitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.binaryTemporalOperator().
visitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
visitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
visitComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.comparisonOperator().
visitComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.comparisonOperator().
visitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.comparisonOperator().
visitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.comparisonOperator().
visitErrorNode(ErrorNode) - Method in class AbstractTemporalLogicBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.LTLBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.SignalMapperBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.STLBaseListener
visitExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.expr().
visitExpr(ExtendedSignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.expr().
visitExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperVisitorImpl: Visit a parse tree produced by ExtendedSignalMapperParser.expr().
visitExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.expr().
visitExpr(LTLParser.ExprContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.expr().
visitExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.LTLVisitorImpl: Visit a parse tree produced by LTLParser.expr().
visitExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.SignalMapperBaseVisitor: Visit a parse tree produced by SignalMapperParser.expr().
visitExpr(SignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.SignalMapperVisitor: Visit a parse tree produced by SignalMapperParser.expr().
visitExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.SignalMapperVisitorImpl: Visit a parse tree produced by SignalMapperParser.expr().
visitExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.expr().
visitExpr(STLParser.ExprContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.expr().
visitExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.STLVisitorImpl: Visit a parse tree produced by STLParser.expr().
visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperVisitorImpl
visitInterval(AbstractTemporalLogicParser.IntervalContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.interval().
visitInterval(AbstractTemporalLogicParser.IntervalContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.interval().
visitInterval(LTLParser.IntervalContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.interval().
visitInterval(LTLParser.IntervalContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.interval().
visitInterval(STLParser.IntervalContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.interval().
visitInterval(STLParser.IntervalContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.interval().
visitTerminal(TerminalNode) - Method in class AbstractTemporalLogicBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.LTLBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.SignalMapperBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.STLBaseListener
visitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
visitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
visitUnaryOperator(LTLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.unaryOperator().
visitUnaryOperator(LTLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.unaryOperator().
visitUnaryOperator(STLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.unaryOperator().
visitUnaryOperator(STLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.unaryOperator().
visitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
visitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.unaryTemporalOperator().
visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.unaryTemporalOperator().
visitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.unaryTemporalOperator().
visitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.unaryTemporalOperator().
visitValue(AbstractTemporalLogicParser.ValueContext) - Method in class AbstractTemporalLogicBaseVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.value().
visitValue(AbstractTemporalLogicParser.ValueContext) - Method in interface AbstractTemporalLogicVisitor: Visit a parse tree produced by AbstractTemporalLogicParser.value().
visitValue(ExtendedSignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.value().
visitValue(ExtendedSignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.value().
visitValue(LTLParser.ValueContext) - Method in class net.maswag.falcaun.LTLBaseVisitor: Visit a parse tree produced by LTLParser.value().
visitValue(LTLParser.ValueContext) - Method in interface net.maswag.falcaun.LTLVisitor: Visit a parse tree produced by LTLParser.value().
visitValue(SignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.SignalMapperBaseVisitor: Visit a parse tree produced by SignalMapperParser.value().
visitValue(SignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.SignalMapperVisitor: Visit a parse tree produced by SignalMapperParser.value().
visitValue(STLParser.ValueContext) - Method in class net.maswag.falcaun.STLBaseVisitor: Visit a parse tree produced by STLParser.value().
visitValue(STLParser.ValueContext) - Method in interface net.maswag.falcaun.STLVisitor: Visit a parse tree produced by STLParser.value().
visualizeCex(int) - Method in class net.maswag.falcaun.BlackBoxVerifier: Visualize the found counter example.
visualizeCex(int) - Method in class net.maswag.falcaun.NumericSULVerifier: Visualize the found counter example.
visualizeLearnedMealy() - Method in class net.maswag.falcaun.BlackBoxVerifier: Visualize the learned Mealy machine
visualizeLearnedMealy() - Method in class net.maswag.falcaun.NumericSULVerifier: Visualize the learned Mealy machine
VOCABULARY - Static variable in class AbstractTemporalLogicLexer
VOCABULARY - Static variable in class AbstractTemporalLogicParser
VOCABULARY - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
VOCABULARY - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
VOCABULARY - Static variable in class net.maswag.falcaun.LTLLexer
VOCABULARY - Static variable in class net.maswag.falcaun.LTLParser
VOCABULARY - Static variable in class net.maswag.falcaun.SignalMapperLexer
VOCABULARY - Static variable in class net.maswag.falcaun.SignalMapperParser
VOCABULARY - Static variable in class net.maswag.falcaun.STLLexer
VOCABULARY - Static variable in class net.maswag.falcaun.STLParser

W

WP - Enum constant in enum class net.maswag.falcaun.ArgParser.EquivType
writeDOTCex(int, Appendable) - Method in class net.maswag.falcaun.BlackBoxVerifier: Wirte the DOT of the found counter example.
writeDOTCex(int, Appendable) - Method in class net.maswag.falcaun.NumericSULVerifier: Wirte the DOT of the found counter example.
writeDOTLearnedMealy(Appendable) - Method in class net.maswag.falcaun.BlackBoxVerifier: Wirte the DOT of the learned Mealy machine.
writeDOTLearnedMealy(Appendable) - Method in class net.maswag.falcaun.NumericSULVerifier: Wirte the DOT of the learned Mealy machine
writeETFLearnedMealy(OutputStream) - Method in class net.maswag.falcaun.BlackBoxVerifier: Write the ETF of the learned Mealy machine.
writeETFLearnedMealy(OutputStream) - Method in class net.maswag.falcaun.NumericSULVerifier: Write the ETF of the learned Mealy machine.
WS - Static variable in class AbstractTemporalLogicLexer
WS - Static variable in class AbstractTemporalLogicParser
WS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
WS - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
WS - Static variable in class net.maswag.falcaun.LTLLexer
WS - Static variable in class net.maswag.falcaun.LTLParser
WS - Static variable in class net.maswag.falcaun.SignalMapperLexer
WS - Static variable in class net.maswag.falcaun.SignalMapperParser
WS - Static variable in class net.maswag.falcaun.STLLexer
WS - Static variable in class net.maswag.falcaun.STLParser

_

_ATN - Static variable in class AbstractTemporalLogicLexer
_ATN - Static variable in class AbstractTemporalLogicParser
_ATN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
_ATN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
_ATN - Static variable in class net.maswag.falcaun.LTLLexer
_ATN - Static variable in class net.maswag.falcaun.LTLParser
_ATN - Static variable in class net.maswag.falcaun.SignalMapperLexer
_ATN - Static variable in class net.maswag.falcaun.SignalMapperParser
_ATN - Static variable in class net.maswag.falcaun.STLLexer
_ATN - Static variable in class net.maswag.falcaun.STLParser
_decisionToDFA - Static variable in class AbstractTemporalLogicLexer
_decisionToDFA - Static variable in class AbstractTemporalLogicParser
_decisionToDFA - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
_decisionToDFA - Static variable in class net.maswag.falcaun.LTLLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.LTLParser
_decisionToDFA - Static variable in class net.maswag.falcaun.SignalMapperLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.SignalMapperParser
_decisionToDFA - Static variable in class net.maswag.falcaun.STLLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.STLParser
_LITERAL_NAMES - Static variable in class AbstractTemporalLogicLexer
_LITERAL_NAMES - Static variable in class AbstractTemporalLogicParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.LTLLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.LTLParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.SignalMapperLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.SignalMapperParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.STLLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.STLParser
_serializedATN - Static variable in class AbstractTemporalLogicLexer
_serializedATN - Static variable in class AbstractTemporalLogicParser
_serializedATN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
_serializedATN - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
_serializedATN - Static variable in class net.maswag.falcaun.LTLLexer
_serializedATN - Static variable in class net.maswag.falcaun.LTLParser
_serializedATN - Static variable in class net.maswag.falcaun.SignalMapperLexer
_serializedATN - Static variable in class net.maswag.falcaun.SignalMapperParser
_serializedATN - Static variable in class net.maswag.falcaun.STLLexer
_serializedATN - Static variable in class net.maswag.falcaun.STLParser
_sharedContextCache - Static variable in class AbstractTemporalLogicLexer
_sharedContextCache - Static variable in class AbstractTemporalLogicParser
_sharedContextCache - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
_sharedContextCache - Static variable in class net.maswag.falcaun.LTLLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.LTLParser
_sharedContextCache - Static variable in class net.maswag.falcaun.SignalMapperLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.SignalMapperParser
_sharedContextCache - Static variable in class net.maswag.falcaun.STLLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.STLParser
_SYMBOLIC_NAMES - Static variable in class AbstractTemporalLogicLexer
_SYMBOLIC_NAMES - Static variable in class AbstractTemporalLogicParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.ExtendedSignalMapperLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.ExtendedSignalMapperParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.LTLLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.LTLParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.SignalMapperLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.SignalMapperParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.STLLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.STLParser

A B C D E F G H I L M N O P Q R S T U V W _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form