Index (FalCAuN API Documentation)

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.parser.ExtendedSignalMapperLexer
ABS - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
ABS - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
ABS - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
ABS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
ABS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
ABS() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
AbstractAdaptiveSTLUpdater - Class in net.maswag.falcaun: Abstract class representing a potentially adaptive set of Signal Temporal Logic (STL) formulas.
AbstractAdaptiveSTLUpdater() - Constructor for class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Constructs an instance of AbstractAdaptiveSTLUpdater.
abstractInputs - Variable in class net.maswag.falcaun.parser.STLInputAtomic
AbstractIOSignal - Class in net.maswag.falcaun: Abstract class representing an Input-Output (IO) signal.
AbstractIOSignal(Word, Word) - Constructor for class net.maswag.falcaun.AbstractIOSignal: Constructs an instance of AbstractIOSignal with the given input and output signals.
AbstractMapperReader - Class in net.maswag.falcaun: Abstract class for reading and parsing mapper data from files.
AbstractMapperReader() - Constructor for class net.maswag.falcaun.AbstractMapperReader: Default constructor for AbstractMapperReader.
abstractOutputs - Variable in class net.maswag.falcaun.parser.STLOutputAtomic
abstractOutputs - Variable in class net.maswag.falcaun.SignalAdapter
AbstractSelectEQOracle - Class in net.maswag.falcaun: Abstract class for implementing equivalence oracles that select test cases based on a cost function.
AbstractSelectEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean) - Constructor for class net.maswag.falcaun.AbstractSelectEQOracle: Constructs an instance of AbstractSelectEQOracle with the specified parameters.
AbstractSelectEQOracle(NumericMembershipOracleCost, int, Random, int, int, int, boolean, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.AbstractSelectEQOracle: Constructs an instance of AbstractSelectEQOracle with the specified parameters, including a property oracle.
AbstractTemporalLogic - Class in net.maswag.falcaun.parser: Abstract base class for temporal logic formulas.
AbstractTemporalLogic() - Constructor for class net.maswag.falcaun.parser.AbstractTemporalLogic: Default constructor for 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.parser.ExtendedSignalMapperParser.AtomicContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.UnaryOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.STLParser.UnaryTemporalOperatorContext
accept(ParseTreeVisitor<? extends T>) - Method in class net.maswag.falcaun.parser.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 a potentially adaptive set of Signal Temporal Logic (STL) formulas.
add(int, Map<Character, Double>) - Method in class net.maswag.falcaun.InputMapper
add(List<Double>) - Method in class net.maswag.falcaun.Signal: Adds a new value to the signal.
add(Map<Character, Double>) - Method in class net.maswag.falcaun.InputMapper
add(Word<String>) - Method in class net.maswag.falcaun.MealyFixedSetEQOracle
addAll(int, Collection<? extends Map<Character, Double>>) - Method in class net.maswag.falcaun.InputMapper
addAll(Collection<? extends List<Double>>) - Method in class net.maswag.falcaun.Signal: Adds all values from the specified collection to the signal.
addAll(Collection<? extends Map<Character, Double>>) - Method in class net.maswag.falcaun.InputMapper
addAll(Collection<Word<String>>) - Method in class net.maswag.falcaun.MealyFixedSetEQOracle
addAll(Word<? extends List<Double>>) - Method in class net.maswag.falcaun.Signal: Adds all values from the specified Word to the 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, 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, 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
addInputAP(String) - Method in class net.maswag.falcaun.LTLAPs: Adds an input atomic proposition.
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
addOutputAP(String) - Method in class net.maswag.falcaun.LTLAPs: Adds an output atomic proposition.
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: Adds a collection of Signal Temporal Logic (STL) properties to the list of properties to be verified.
addSTLProperty(TemporalLogic) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Adds a Signal Temporal Logic (STL) property to the list of properties to be verified.
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.parser.STLAbstractAtomic
allDisproved() - Method in class net.maswag.falcaun.AdaptiveSTLList
allDisproved() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Checks if all the Signal Temporal Logic (STL) properties have been 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.parser.LTLLexer
AND - Static variable in class net.maswag.falcaun.parser.LTLParser
AND - Static variable in class net.maswag.falcaun.parser.STLLexer
AND - Static variable in class net.maswag.falcaun.parser.STLParser
AND() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
AND() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
AND() - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
apply(int, IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.ExtendedSignalMapper: Applies the signal mapper to the specified index and concrete signal.
apply(int, IOSignalPiece<List<Double>>) - Method in interface net.maswag.falcaun.SignalMapper: Given concreteSignal, construct index-th signal
apply(int, IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.SimpleSignalMapper
apply(IOSignal) - Method in interface net.maswag.falcaun.parser.TemporalLogic: Evaluate the formula on the given signal and returns the robustness value.
apply(IOSignal) - Method in class net.maswag.falcaun.parser.TemporalNext: Evaluate the formula on the given signal and returns the robustness value.
aps - Variable in class net.maswag.falcaun.LTLFormulaBase
ArgParser - Class in net.maswag.falcaun
ArgParser(String[]) - Constructor for class net.maswag.falcaun.ArgParser
ArgParser.EquivType - Enum Class in net.maswag.falcaun
asList() - Method in class net.maswag.falcaun.Signal: Returns the list containing both the timestamps and the signal values.
assignCharacters(List<List<Double>>, char[]) - Static method in class net.maswag.falcaun.AbstractMapperReader: Assigns characters to the parsed data based on a provided character list.
assignMax(RoSI) - Method in class net.maswag.falcaun.parser.RoSI: Destructive max, i.e., assign the elementwise max of two RoSIs to this RoSI.
assignMin(RoSI) - Method in class net.maswag.falcaun.parser.RoSI: Destructive min, i.e., assign the elementwise min of two RoSIs to this RoSI.
assignNegate() - Method in class net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperParser
atomic() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
atomic() - Method in class net.maswag.falcaun.parser.SignalMapperParser
atomic() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
atomic() - Method in class net.maswag.falcaun.parser.STLParser
atomic() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
AtomicContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
AtomicContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
AtomicContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.STLParser.AtomicContext
AtomicPropositionUtil - Class in net.maswag.falcaun: Utility class for constructing abstract atomic propositions.
AtomicPropositionUtil() - Constructor for class net.maswag.falcaun.AtomicPropositionUtil: Private constructor to prevent instantiation of utility class.
automata - Variable in class net.maswag.falcaun.SGAMapper

B

BestSolution - Enum constant in enum class net.maswag.falcaun.GASelectionKind: Selects the best solution from the population based on fitness.
binaryOperator() - Method in class AbstractTemporalLogicParser
binaryOperator() - Method in class net.maswag.falcaun.parser.LTLParser
binaryOperator() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
binaryOperator() - Method in class net.maswag.falcaun.parser.STLParser
binaryOperator() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
BinaryOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.BinaryOperatorContext
BinaryOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
BinaryOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class AbstractTemporalLogicParser
binaryTemporalOperator() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class net.maswag.falcaun.parser.LTLParser
binaryTemporalOperator() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
binaryTemporalOperator() - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
binaryTemporalOperator() - Method in class net.maswag.falcaun.parser.STLParser
binaryTemporalOperator() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
BinaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
BinaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
BinaryTemporalOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
BlackBoxVerifier - Class in net.maswag.falcaun: Verifies a black-box system against specified properties using various equivalence oracles and model checking techniques.
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.parser.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
cartesianProductCharacters(List<Set<Character>>) - Static method in class net.maswag.falcaun.parser.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: A list of input words that led to counterexamples found during the verification process.
cexMealy - Variable in class net.maswag.falcaun.BlackBoxVerifier: A list of Mealy machines representing counterexamples found during the verification process.
cexOutput - Variable in class net.maswag.falcaun.BlackBoxVerifier: A list of output words produced by the black-box system for the counterexamples found during the verification process.
cexProperty - Variable in class net.maswag.falcaun.BlackBoxVerifier: A list of Signal Temporal Logic (STL) properties that were violated by the counterexamples found during the verification process.
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.parser.ExtendedSignalMapperLexer
channelNames - Static variable in class net.maswag.falcaun.parser.LTLLexer
channelNames - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
channelNames - Static variable in class net.maswag.falcaun.parser.STLLexer
childrenSize - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: The number of child test cases generated from each successful (good) sample.
clear() - Method in class net.maswag.falcaun.InputMapper
clear() - Method in interface net.maswag.falcaun.NumericSUL: Clear the counter and the time measure.
clear() - Method in class net.maswag.falcaun.Signal: Clears the signal.
close() - Method in class net.maswag.falcaun.NumericSULVerifier: Close the MATLAB engine.
collectAPs(TemporalLogic.LTLFormula) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Collects all atomic propositions from a formula tree and creates an APs collection.
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.LTLAtomic
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalAnd.LTLAnd
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalConst.LTLConst
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalEventually.LTLEventually
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalGlobally.LTLGlobally
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalImply.LTLImply
collectAtomicPropositions(LTLAPs) - Method in interface net.maswag.falcaun.parser.TemporalLogic.LTLFormula: Collects all atomic propositions from this formula and its subformulas.
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalNext.LTLNext
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalNot.LTLNot
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalOr.LTLOr
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalRelease.LTLRelease
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalSub.LTLSub
collectAtomicPropositions(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalUntil.LTLUntil
collectAtomicPropositionsRecursive(Object, LTLAPs) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper
COMMA - Static variable in class AbstractTemporalLogicLexer
COMMA - Static variable in class AbstractTemporalLogicParser
COMMA - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
COMMA - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
COMMA - Static variable in class net.maswag.falcaun.parser.LTLLexer
COMMA - Static variable in class net.maswag.falcaun.parser.LTLParser
COMMA - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
COMMA - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
COMMA - Static variable in class net.maswag.falcaun.parser.STLLexer
COMMA - Static variable in class net.maswag.falcaun.parser.STLParser
COMMA() - Method in class AbstractTemporalLogicParser.IntervalContext
COMMA() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
COMMA() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
COMMA() - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
COMMA() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
COMMA() - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
COMMA(int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
COMMA(int) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
comparator - Variable in class net.maswag.falcaun.parser.STLAbstractAtomic
comparisonOperator() - Method in class AbstractTemporalLogicParser
comparisonOperator() - Method in class net.maswag.falcaun.parser.LTLParser
comparisonOperator() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
comparisonOperator() - Method in class net.maswag.falcaun.parser.STLParser
ComparisonOperatorContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.ComparisonOperatorContext
ComparisonOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
ComparisonOperatorContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
ComponentWiseSignalDiscretizer - Interface in net.maswag.falcaun
concreteInputs - Variable in class net.maswag.falcaun.parser.STLInputAtomic
concreteOutputs - Variable in class net.maswag.falcaun.parser.STLOutputAtomic
concreteOutputs - Variable in class net.maswag.falcaun.SignalAdapter
condition - Variable in class net.maswag.falcaun.parser.TemporalConst
confirmInitialization() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Initializes the property oracles if they have not been initialized yet.
constructAbstractAlphabet() - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Constructs an abstract alphabet from the input mappings.
constructAbstractAlphabet() - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer: Constructs an abstract alphabet from the input mappings.
constructAbstractAlphabet() - Method in class net.maswag.falcaun.SignalAdapter
constructAbstractAlphabet() - Method in interface net.maswag.falcaun.SignalDiscretizer: Constructs an abstract alphabet from the input mappings.
constructAbstractAPs(List<List<Character>>, List<Character>) - Static method in class net.maswag.falcaun.AtomicPropositionUtil: Constructs abstract atomic propositions from abstract outputs and largest outputs.
constructAllAPs(int) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic: Construct the characters that represent the abstract values of the signal.
constructAllAPs(int) - Method in class net.maswag.falcaun.parser.STLInputAtomic: Construct the characters that represent the abstract values of the signal.
constructAllAPs(int) - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Construct the characters that represent the abstract values of the signal.
constructAtomicStrings(int) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic
constructConcreteAlphabet() - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Constructs a concrete alphabet from the input mappings.
constructConcreteAlphabet() - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer: Constructs a concrete alphabet from the input mappings.
constructConcreteAlphabet() - Method in class net.maswag.falcaun.SignalAdapter
constructConcreteAlphabet() - Method in interface net.maswag.falcaun.SignalDiscretizer: Constructs a concrete alphabet from the input mappings.
constructEqAPs(int, double) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic: Constructs a set of characters representing atomic propositions that are equal to the given threshold for the specified signal index.
constructEqAPs(int, double) - Method in class net.maswag.falcaun.parser.STLInputAtomic: Constructs a set of characters representing atomic propositions that are equal to the given threshold for the specified signal index.
constructEqAPs(int, double) - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Constructs a set of characters representing atomic propositions that are equal to the given threshold for the specified signal index.
constructLargerAPs(int, double) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic: Constructs a set of characters representing atomic propositions that are greater than the given threshold for the specified signal index.
constructLargerAPs(int, double) - Method in class net.maswag.falcaun.parser.STLInputAtomic: Constructs a set of characters representing atomic propositions that are greater than the given threshold for the specified signal index.
constructLargerAPs(int, double) - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Constructs a set of characters representing atomic propositions that are greater than the given threshold for the specified signal index.
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.LTLAtomic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.STLInputAtomic: Constructs AbstractTemporalLogic.satisfyingAtomicPropositions if not initialized.
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Constructs AbstractTemporalLogic.satisfyingAtomicPropositions if not initialized.
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalAnd
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalImply
constructSatisfyingAtomicPropositions() - Method in interface net.maswag.falcaun.parser.TemporalLogic
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalNext
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalNot
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalOp
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalOr
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalRelease
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalSub
constructSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.TemporalUntil
constructSmallerAPs(int, double) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic: Constructs a set of characters representing atomic propositions that are smaller than the given threshold for the specified signal index.
constructSmallerAPs(int, double) - Method in class net.maswag.falcaun.parser.STLInputAtomic: Constructs a set of characters representing atomic propositions that are smaller than the given threshold for the specified signal index.
constructSmallerAPs(int, double) - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Constructs a set of characters representing atomic propositions that are smaller than the given threshold for the specified signal index.
contains(Object) - Method in class net.maswag.falcaun.InputMapper
containsAll(Collection<?>) - Method in class net.maswag.falcaun.InputMapper
ContinuousNumericSUL - Interface in net.maswag.falcaun: Continuous-time systems under learning with numerical I/O.
continuousOutputSignal - Variable in class net.maswag.falcaun.IOContinuousSignal
convertToLTLFormulas(List<TemporalLogic.STLCost>) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Converts a list of STL formulas to prepared LTL formulas.
copy() - Method in class net.maswag.falcaun.LTLAPs: Creates a copy of these atomic propositions.
costCache - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
costFunc - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
createDELAs(List<TemporalLogic.LTLFormula>, Alphabet<String>, Alphabet<String>, boolean) - Method in class net.maswag.falcaun.SGAMapper
createInitialPopulation() - Method in class net.maswag.falcaun.EQGenerationalGeneticAlgorithm
createInitialPopulation() - Method in class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm: Create initial population only for the initial run
createMealy() - Method in class net.maswag.falcaun.DotMealyWrapper
createMealy(Map<String, String>) - Method in class net.maswag.falcaun.DotMealyWrapper
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.AbstractSelectEQOracle: Generates the next set of test cases based on the provided list of successful (good) samples.
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.HillClimbingEQOracle: Generates the next set of test cases based on the provided list of successful (good) samples.
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.MutateSelectEQOracle: Generates the next set of test cases based on the provided list of successful (good) samples.
createNextGeneration(List<Word<String>>) - Method in class net.maswag.falcaun.SAEQOracle: Generates the next set of test cases based on the provided list of successful (good) samples.
createOutputMapper(Alphabet<String>, Alphabet<String>) - Method in class net.maswag.falcaun.SGAMapper
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: A list containing the current set of test cases that are being evaluated.
currentTo - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL

D

decomposeMap(Map<T, Double>) - Static method in class net.maswag.falcaun.parser.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.parser.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
delegate - Variable in class net.maswag.falcaun.InputMapper
delegate - Variable in class net.maswag.falcaun.OutputMapperReader: Deprecated.
derivativeOn(String) - Method in class net.maswag.falcaun.parser.TemporalConst
dimension() - Method in class net.maswag.falcaun.Signal: Returns the dimension of the signal.
dimensionGet(int) - Method in class net.maswag.falcaun.Signal: Returns the signal values of the index-th signal.
discretizer - Variable in class net.maswag.falcaun.PostComposedSignalDiscretizer
discretizer - Variable in class net.maswag.falcaun.PreComposedSignalDiscretizer
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.parser.ExtendedSignalMapperLexer
DIV - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
DIV - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
DIV - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
DIV() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
DIV() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
DIV() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
dotFile - Variable in class net.maswag.falcaun.ArgParser
DotMealyWrapper - Class in net.maswag.falcaun: This class provides construction of Mealy machine from DOT file
DotMealyWrapper(String) - Constructor for class net.maswag.falcaun.DotMealyWrapper
duration() - Method in class net.maswag.falcaun.Signal: Returns the duration of the signal, the difference between the last and first timestamps.
duration() - Method in class net.maswag.falcaun.ValueWithTime: Get the duration of the signal.

E

EDGE_PARSER - Static variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: A function that parses edge labels in the model checker.
EDGE_PARSER - Static variable in class net.maswag.falcaun.BlackBoxVerifier
edges - Variable in class net.maswag.falcaun.DotMealyWrapper
emptinessOracle - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: The oracle used to check for the emptiness of a language, which is essential for disproving properties.
ensureDiscretizerInitialized() - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Ensures that the discretizer is initialized.
ensureInitialized() - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Ensures that both discretizer and postMapper are initialized.
enterAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.atomic().
enterAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.atomic().
enterAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener: Enter a parse tree produced by SignalMapperParser.atomic().
enterAtomic(SignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.SignalMapperListener: Enter a parse tree produced by SignalMapperParser.atomic().
enterAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.atomic().
enterAtomic(STLParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.binaryOperator().
enterBinaryOperator(LTLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.binaryOperator().
enterBinaryOperator(STLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.binaryOperator().
enterBinaryOperator(STLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.binaryTemporalOperator().
enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.binaryTemporalOperator().
enterBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.binaryTemporalOperator().
enterBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.comparisonOperator().
enterComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.comparisonOperator().
enterComparisonOperator(STLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.comparisonOperator().
enterComparisonOperator(STLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.parser.STLListener: Enter a parse tree produced by STLParser.comparisonOperator().
enterEveryRule(ParserRuleContext) - Method in class AbstractTemporalLogicBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.LTLBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener
enterEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.STLBaseListener
enterExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.expr().
enterExpr(ExtendedSignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.expr().
enterExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.expr().
enterExpr(LTLParser.ExprContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.expr().
enterExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener: Enter a parse tree produced by SignalMapperParser.expr().
enterExpr(SignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.parser.SignalMapperListener: Enter a parse tree produced by SignalMapperParser.expr().
enterExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.expr().
enterExpr(STLParser.ExprContext) - Method in interface net.maswag.falcaun.parser.STLListener: Enter a parse tree produced by STLParser.expr().
enterExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.extended_expr().
enterExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.interval().
enterInterval(LTLParser.IntervalContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.interval().
enterInterval(STLParser.IntervalContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.interval().
enterInterval(STLParser.IntervalContext) - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperParser.AtomicContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.UnaryOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.UnaryTemporalOperatorContext
enterRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.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.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.unaryOperator().
enterUnaryOperator(LTLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.unaryOperator().
enterUnaryOperator(STLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.unaryOperator().
enterUnaryOperator(STLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.unaryTemporalOperator().
enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.unaryTemporalOperator().
enterUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.unaryTemporalOperator().
enterUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperBaseListener: Enter a parse tree produced by ExtendedSignalMapperParser.value().
enterValue(ExtendedSignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperListener: Enter a parse tree produced by ExtendedSignalMapperParser.value().
enterValue(LTLParser.ValueContext) - Method in class net.maswag.falcaun.parser.LTLBaseListener: Enter a parse tree produced by LTLParser.value().
enterValue(LTLParser.ValueContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Enter a parse tree produced by LTLParser.value().
enterValue(SignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener: Enter a parse tree produced by SignalMapperParser.value().
enterValue(SignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.parser.SignalMapperListener: Enter a parse tree produced by SignalMapperParser.value().
enterValue(STLParser.ValueContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Enter a parse tree produced by STLParser.value().
enterValue(STLParser.ValueContext) - Method in interface net.maswag.falcaun.parser.STLListener: Enter a parse tree produced by STLParser.value().
eq - Enum constant in enum class net.maswag.falcaun.parser.STLAbstractAtomic.Operation
EQ - Static variable in class AbstractTemporalLogicLexer
EQ - Static variable in class AbstractTemporalLogicParser
EQ - Static variable in class net.maswag.falcaun.parser.LTLLexer
EQ - Static variable in class net.maswag.falcaun.parser.LTLParser
EQ - Static variable in class net.maswag.falcaun.parser.STLLexer
EQ - Static variable in class net.maswag.falcaun.parser.STLParser
EQ() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
EQ() - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
EQ() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
EQ() - Method in class net.maswag.falcaun.parser.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: The equivalence oracle used to find counterexamples by comparing the learned model with the black-box system.
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.LabeledEdge
equals(Object) - Method in class net.maswag.falcaun.parser.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: A counter that keeps track of the total number of test cases evaluated during the search process.
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.parser.LTLLexer
EVENTUALLY - Static variable in class net.maswag.falcaun.parser.LTLParser
EVENTUALLY - Static variable in class net.maswag.falcaun.parser.STLLexer
EVENTUALLY - Static variable in class net.maswag.falcaun.parser.STLParser
EVENTUALLY() - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
EVENTUALLY() - Method in class net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
EVENTUALLY() - Method in class net.maswag.falcaun.parser.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(IntegerSolution) - Method in class net.maswag.falcaun.IntegerRandomMutation
exitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.atomic().
exitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.atomic().
exitAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener: Exit a parse tree produced by SignalMapperParser.atomic().
exitAtomic(SignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.SignalMapperListener: Exit a parse tree produced by SignalMapperParser.atomic().
exitAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.atomic().
exitAtomic(STLParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.binaryOperator().
exitBinaryOperator(LTLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.binaryOperator().
exitBinaryOperator(STLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.binaryOperator().
exitBinaryOperator(STLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.binaryTemporalOperator().
exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.binaryTemporalOperator().
exitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.binaryTemporalOperator().
exitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.comparisonOperator().
exitComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.comparisonOperator().
exitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.comparisonOperator().
exitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.parser.STLListener: Exit a parse tree produced by STLParser.comparisonOperator().
exitEveryRule(ParserRuleContext) - Method in class AbstractTemporalLogicBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.LTLBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener
exitEveryRule(ParserRuleContext) - Method in class net.maswag.falcaun.parser.STLBaseListener
exitExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.expr().
exitExpr(ExtendedSignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.expr().
exitExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.expr().
exitExpr(LTLParser.ExprContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.expr().
exitExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener: Exit a parse tree produced by SignalMapperParser.expr().
exitExpr(SignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.parser.SignalMapperListener: Exit a parse tree produced by SignalMapperParser.expr().
exitExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.expr().
exitExpr(STLParser.ExprContext) - Method in interface net.maswag.falcaun.parser.STLListener: Exit a parse tree produced by STLParser.expr().
exitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
exitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.interval().
exitInterval(LTLParser.IntervalContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.interval().
exitInterval(STLParser.IntervalContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.interval().
exitInterval(STLParser.IntervalContext) - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperParser.AtomicContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.UnaryOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.STLParser.UnaryTemporalOperatorContext
exitRule(ParseTreeListener) - Method in class net.maswag.falcaun.parser.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.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.unaryOperator().
exitUnaryOperator(LTLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.unaryOperator().
exitUnaryOperator(STLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.unaryOperator().
exitUnaryOperator(STLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.unaryTemporalOperator().
exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.unaryTemporalOperator().
exitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.unaryTemporalOperator().
exitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperBaseListener: Exit a parse tree produced by ExtendedSignalMapperParser.value().
exitValue(ExtendedSignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperListener: Exit a parse tree produced by ExtendedSignalMapperParser.value().
exitValue(LTLParser.ValueContext) - Method in class net.maswag.falcaun.parser.LTLBaseListener: Exit a parse tree produced by LTLParser.value().
exitValue(LTLParser.ValueContext) - Method in interface net.maswag.falcaun.parser.LTLListener: Exit a parse tree produced by LTLParser.value().
exitValue(SignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener: Exit a parse tree produced by SignalMapperParser.value().
exitValue(SignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.parser.SignalMapperListener: Exit a parse tree produced by SignalMapperParser.value().
exitValue(STLParser.ValueContext) - Method in class net.maswag.falcaun.parser.STLBaseListener: Exit a parse tree produced by STLParser.value().
exitValue(STLParser.ValueContext) - Method in interface net.maswag.falcaun.parser.STLListener: Exit a parse tree produced by STLParser.value().
expr() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
expr() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
expr() - Method in class net.maswag.falcaun.parser.LTLParser
expr() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
expr() - Method in class net.maswag.falcaun.parser.SignalMapperParser
expr() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
expr() - Method in class net.maswag.falcaun.parser.STLParser
expr() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
expr(int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.parser.LTLParser
expr(int) - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.parser.SignalMapperParser
expr(int) - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
expr(int) - Method in class net.maswag.falcaun.parser.STLParser
expr(int) - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
expr_sempred(ExtendedSignalMapperParser.ExprContext, int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
expr_sempred(LTLParser.ExprContext, int) - Method in class net.maswag.falcaun.parser.LTLParser
expr_sempred(SignalMapperParser.ExprContext, int) - Method in class net.maswag.falcaun.parser.SignalMapperParser
expr_sempred(STLParser.ExprContext, int) - Method in class net.maswag.falcaun.parser.STLParser
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.LTLParser.ExprContext
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
ExprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.STLParser.ExprContext
extended_expr() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
extended_expr() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
extended_expr() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
extended_expr(int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
extended_expr(int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
extended_expr_sempred(ExtendedSignalMapperParser.Extended_exprContext, int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
Extended_exprContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.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: Constructs a new ExtendedSignalMapper with an empty list of signal mappers.
ExtendedSignalMapperBaseListener - Class in net.maswag.falcaun.parser: 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.parser.ExtendedSignalMapperBaseListener
ExtendedSignalMapperBaseVisitor<T> - Class in net.maswag.falcaun.parser: 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.parser.ExtendedSignalMapperBaseVisitor
ExtendedSignalMapperLexer - Class in net.maswag.falcaun.parser
ExtendedSignalMapperLexer(CharStream) - Constructor for class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
ExtendedSignalMapperListener - Interface in net.maswag.falcaun.parser: This interface defines a complete listener for a parse tree produced by ExtendedSignalMapperParser.
ExtendedSignalMapperParser - Class in net.maswag.falcaun.parser
ExtendedSignalMapperParser(TokenStream) - Constructor for class net.maswag.falcaun.parser.ExtendedSignalMapperParser
ExtendedSignalMapperParser.AtomicContext - Class in net.maswag.falcaun.parser
ExtendedSignalMapperParser.ExprContext - Class in net.maswag.falcaun.parser
ExtendedSignalMapperParser.Extended_exprContext - Class in net.maswag.falcaun.parser
ExtendedSignalMapperParser.ValueContext - Class in net.maswag.falcaun.parser
ExtendedSignalMapperVisitor<T> - Interface in net.maswag.falcaun.parser: This interface defines a complete generic visitor for a parse tree produced by ExtendedSignalMapperParser.
ExtendedSignalMapperVisitorImpl - Class in net.maswag.falcaun.parser: ExtendedSignalMapperVisitorImpl class.
ExtendedSignalMapperVisitorImpl() - Constructor for class net.maswag.falcaun.parser.ExtendedSignalMapperVisitorImpl

F

fallbackOracle - Variable in class net.maswag.falcaun.WhiteBoxEqOracle
falsifiedSTLProperties - Variable in class net.maswag.falcaun.AdaptiveSTLList
fileName - Variable in class net.maswag.falcaun.DotMealyWrapper
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Attempts 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: Finds a counterexample to the given hypothesis Mealy machine using the specified set of input symbols.
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
findCounterExample(MealyMachine<?, String, ?, String>, Collection<? extends String>) - Method in class net.maswag.falcaun.WhiteBoxEqOracle
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.parser.ExtendedSignalMapperLexer
FLOAT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
FLOAT - Static variable in class net.maswag.falcaun.parser.LTLLexer
FLOAT - Static variable in class net.maswag.falcaun.parser.LTLParser
FLOAT - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
FLOAT - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
FLOAT - Static variable in class net.maswag.falcaun.parser.STLLexer
FLOAT - Static variable in class net.maswag.falcaun.parser.STLParser
FLOAT() - Method in class AbstractTemporalLogicParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
FLOAT() - Method in class net.maswag.falcaun.parser.STLParser.ValueContext
forEach(Consumer<? super Map<Character, Double>>) - Method in class net.maswag.falcaun.InputMapper
formulaBase - Variable in class net.maswag.falcaun.parser.LTLAtomic
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalAnd.LTLAnd
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalConst.LTLConst
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalEventually.LTLEventually
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalGlobally.LTLGlobally
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalImply.LTLImply
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalNext.LTLNext
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalNot.LTLNot
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalOr.LTLOr
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalRelease.LTLRelease
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalSub.LTLSub
formulaBase - Variable in class net.maswag.falcaun.parser.TemporalUntil.LTLUntil
frame - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
from - Variable in class net.maswag.falcaun.parser.TemporalSub
fromMappings(List<Map<Character, Double>>) - Static method in class net.maswag.falcaun.InputMapper: Creates an InputMapper from an existing List<Map<Character, Double>>.

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, GASelectionKind, int, double, double, PropertyOracle.MealyPropertyOracle<String, String, String>) - Constructor for class net.maswag.falcaun.GAEQOracle
gamma - Variable in class net.maswag.falcaun.DotMealyWrapper
GASelectionKind - Enum Class in net.maswag.falcaun: Enumeration of selection methods used in Genetic Algorithm (GA) equivalence queries.
GASelectionKind() - Constructor for enum class net.maswag.falcaun.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: Generates a random test word of the specified length using the provided list of possible input symbols.
generationSize - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: The number of initial test cases generated to start the evaluation process.
get(int) - Method in class net.maswag.falcaun.InputMapper
get(int) - Method in class net.maswag.falcaun.Signal: Returns the value of the index-th control point of the signal.
getAbstractOutputs() - Method in interface net.maswag.falcaun.ComponentWiseSignalDiscretizer
getAbstractOutputs() - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer
getAllAPs() - Method in class net.maswag.falcaun.parser.LTLAtomic: Returns all atomic propositions from the appropriate set based on the IO type.
getAllAPs() - Method in class net.maswag.falcaun.parser.STLInputAtomic: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalAnd: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalConst
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalImply: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in interface net.maswag.falcaun.parser.TemporalLogic: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalNext: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalNot: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalNot.LTLNot
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalOp: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalOr: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalRelease: Returns the collection of atomic propositions under consideration.
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalSub
getAllAPs() - Method in class net.maswag.falcaun.parser.TemporalUntil: Returns the collection of atomic propositions under consideration.
getAllAPs(int) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic
getAllConjunctions() - Method in class net.maswag.falcaun.parser.LTLAtomic
getAllConjunctions() - Method in class net.maswag.falcaun.parser.STLInputAtomic
getAllConjunctions() - Method in class net.maswag.falcaun.parser.STLOutputAtomic
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalAnd
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalConst
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalEventually
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalGlobally
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalImply
getAllConjunctions() - Method in interface net.maswag.falcaun.parser.TemporalLogic
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalNext
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalNot
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalOr
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalRelease
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalSub
getAllConjunctions() - Method in class net.maswag.falcaun.parser.TemporalUntil
getAPs() - Method in class net.maswag.falcaun.parser.LTLAtomic: Gets the atomic propositions for this formula.
getAPs() - Method in class net.maswag.falcaun.parser.TemporalAnd.LTLAnd
getAPs() - Method in class net.maswag.falcaun.parser.TemporalConst.LTLConst
getAPs() - Method in class net.maswag.falcaun.parser.TemporalEventually.LTLEventually
getAPs() - Method in class net.maswag.falcaun.parser.TemporalGlobally.LTLGlobally
getAPs() - Method in class net.maswag.falcaun.parser.TemporalImply.LTLImply
getAPs() - Method in interface net.maswag.falcaun.parser.TemporalLogic.LTLFormula: Gets the atomic propositions for this formula.
getAPs() - Method in class net.maswag.falcaun.parser.TemporalNext.LTLNext
getAPs() - Method in class net.maswag.falcaun.parser.TemporalNot.LTLNot
getAPs() - Method in class net.maswag.falcaun.parser.TemporalOr.LTLOr
getAPs() - Method in class net.maswag.falcaun.parser.TemporalRelease.LTLRelease
getAPs() - Method in class net.maswag.falcaun.parser.TemporalSub.LTLSub
getAPs() - Method in class net.maswag.falcaun.parser.TemporalUntil.LTLUntil
getATN() - Method in class AbstractTemporalLogicLexer
getATN() - Method in class AbstractTemporalLogicParser
getATN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
getATN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
getATN() - Method in class net.maswag.falcaun.parser.LTLLexer
getATN() - Method in class net.maswag.falcaun.parser.LTLParser
getATN() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getATN() - Method in class net.maswag.falcaun.parser.SignalMapperParser
getATN() - Method in class net.maswag.falcaun.parser.STLLexer
getATN() - Method in class net.maswag.falcaun.parser.STLParser
getAttr() - Method in class net.maswag.falcaun.LabeledEdge
getCache() - Method in class net.maswag.falcaun.NumericMembershipOracle
getCexAbstractInput() - Method in class net.maswag.falcaun.NumericSULVerifier
getCexConcreteInput() - Method in class net.maswag.falcaun.NumericSULVerifier
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.parser.ExtendedSignalMapperLexer
getChannelNames() - Method in class net.maswag.falcaun.parser.LTLLexer
getChannelNames() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getChannelNames() - Method in class net.maswag.falcaun.parser.STLLexer
getCounter() - Method in interface net.maswag.falcaun.NumericSUL: Returns the number of SUL executions
getCrossoverProbability() - Method in class net.maswag.falcaun.IntegerUniformCrossover
getEdges() - Method in class net.maswag.falcaun.DotMealyWrapper
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.parser.ExtendedSignalMapperLexer
getGrammarFileName() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
getGrammarFileName() - Method in class net.maswag.falcaun.parser.LTLLexer
getGrammarFileName() - Method in class net.maswag.falcaun.parser.LTLParser
getGrammarFileName() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getGrammarFileName() - Method in class net.maswag.falcaun.parser.SignalMapperParser
getGrammarFileName() - Method in class net.maswag.falcaun.parser.STLLexer
getGrammarFileName() - Method in class net.maswag.falcaun.parser.STLParser
getInputSignal() - Method in interface net.maswag.falcaun.IOSignal: Returns the input signal.
getIOType() - Method in interface net.maswag.falcaun.parser.TemporalLogic
getLargestOutputs() - Method in interface net.maswag.falcaun.ComponentWiseSignalDiscretizer
getLargestOutputs() - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer
getLeft() - Method in class net.maswag.falcaun.parser.TemporalUntil.STLUntil
getLTLProperties() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of Linear Temporal Logic (LTL) formulas in their string representations in LTSMin's syntax.
getLTLProperties() - Method in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
getModeNames() - Method in class AbstractTemporalLogicLexer
getModeNames() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
getModeNames() - Method in class net.maswag.falcaun.parser.LTLLexer
getModeNames() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getModeNames() - Method in class net.maswag.falcaun.parser.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: Retrieves the output symbol at the specified index.
getOutputSymbol(int) - Method in interface net.maswag.falcaun.IOSignal: Returns the output symbol at the given index.
getPostOutputMapper() - Method in class net.maswag.falcaun.NumericSULMapperWithSGA
getPostOutputMapper() - Method in interface net.maswag.falcaun.SignalDiscretizer: Provides an optional mapping to transform abstract output strings.
getProperties() - Method in class net.maswag.falcaun.NumericSULVerifier
getPropertyOracles() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Returns a list of property oracles used to verify the Signal Temporal Logic (STL) properties.
getRight() - Method in class net.maswag.falcaun.parser.TemporalUntil.STLUntil
getRobustness() - Method in class net.maswag.falcaun.parser.RoSI: Compute the robustness value of the RoSI as a single value.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.parser.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.parser.TemporalConst: getRoSI.
getRoSI(IOSignal) - Method in class net.maswag.falcaun.parser.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.parser.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.parser.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.parser.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.parser.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.parser.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.parser.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.parser.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.parser.TemporalSub
getRoSI(IOSignal) - Method in class net.maswag.falcaun.parser.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.parser.LTLAtomic
getRoSI(IOSignal<List<Double>>) - Method in class net.maswag.falcaun.parser.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.parser.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.parser.TemporalEventually: getRoSIRaw.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.parser.TemporalGlobally: getRoSIRaw.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.parser.TemporalOp: getRoSIRaw.
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.parser.TemporalRelease
getRoSIRaw(IOSignal) - Method in class net.maswag.falcaun.parser.TemporalUntil
getRoSIRawWithLen(IOSignal, int) - Method in class net.maswag.falcaun.parser.TemporalEventually: getRoSIRawLen.
getRoSIRawWithLen(IOSignal, int) - Method in class net.maswag.falcaun.parser.TemporalGlobally: getRoSIRawLen.
getRoSIRawWithLen(IOSignal, int) - Method in class net.maswag.falcaun.parser.TemporalOp: getRoSIRawLen.
getRoSISingle(Word<List<Double>>) - Method in class net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperParser.AtomicContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.UnaryOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.UnaryTemporalOperatorContext
getRuleIndex() - Method in class net.maswag.falcaun.parser.STLParser.ValueContext
getRuleNames() - Method in class AbstractTemporalLogicLexer
getRuleNames() - Method in class AbstractTemporalLogicParser
getRuleNames() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
getRuleNames() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
getRuleNames() - Method in class net.maswag.falcaun.parser.LTLLexer
getRuleNames() - Method in class net.maswag.falcaun.parser.LTLParser
getRuleNames() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getRuleNames() - Method in class net.maswag.falcaun.parser.SignalMapperParser
getRuleNames() - Method in class net.maswag.falcaun.parser.STLLexer
getRuleNames() - Method in class net.maswag.falcaun.parser.STLParser
getSatisfyingAtomicPropositions() - Method in class net.maswag.falcaun.parser.AbstractTemporalLogic: Returns the set of atomic propositions such that the formula is satisfied if and only if one of these propositions is satisfied.
getSatisfyingAtomicPropositions() - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperLexer
getSerializedATN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
getSerializedATN() - Method in class net.maswag.falcaun.parser.LTLLexer
getSerializedATN() - Method in class net.maswag.falcaun.parser.LTLParser
getSerializedATN() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getSerializedATN() - Method in class net.maswag.falcaun.parser.SignalMapperParser
getSerializedATN() - Method in class net.maswag.falcaun.parser.STLLexer
getSerializedATN() - Method in class net.maswag.falcaun.parser.STLParser
getSignalName() - Method in class net.maswag.falcaun.parser.STLAbstractAtomic
getSignalName() - Method in class net.maswag.falcaun.parser.STLInputAtomic
getSignalName() - Method in class net.maswag.falcaun.parser.STLOutputAtomic
getSimulationTimeSecond() - Method in interface net.maswag.falcaun.NumericSUL: Returns the execution time for the simulations
getSimulationTimeSecond() - Method in class net.maswag.falcaun.NumericSULVerifier
getSimulinkCount() - Method in class net.maswag.falcaun.NumericSULVerifier
getSimulinkCountForEqTest() - Method in class net.maswag.falcaun.NumericSULVerifier
getSource() - Method in class net.maswag.falcaun.LabeledEdge
getSTLProperties() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of Signal Temporal Logic (STL) formulas.
getSubFml() - Method in class net.maswag.falcaun.parser.TemporalEventually: getSubFml.
getSubFml() - Method in class net.maswag.falcaun.parser.TemporalEventually.STLEventually
getSubFml() - Method in class net.maswag.falcaun.parser.TemporalGlobally: Get the sub-formula
getTarget() - Method in class net.maswag.falcaun.LabeledEdge
getTokenNames() - Method in class AbstractTemporalLogicLexer: Deprecated.
getTokenNames() - Method in class AbstractTemporalLogicParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.LTLLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.LTLParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.SignalMapperLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.SignalMapperParser: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.STLLexer: Deprecated.
getTokenNames() - Method in class net.maswag.falcaun.parser.STLParser: Deprecated.
getVocabulary() - Method in class AbstractTemporalLogicLexer
getVocabulary() - Method in class AbstractTemporalLogicParser
getVocabulary() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
getVocabulary() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
getVocabulary() - Method in class net.maswag.falcaun.parser.LTLLexer
getVocabulary() - Method in class net.maswag.falcaun.parser.LTLParser
getVocabulary() - Method in class net.maswag.falcaun.parser.SignalMapperLexer
getVocabulary() - Method in class net.maswag.falcaun.parser.SignalMapperParser
getVocabulary() - Method in class net.maswag.falcaun.parser.STLLexer
getVocabulary() - Method in class net.maswag.falcaun.parser.STLParser
GLOBALLY - Static variable in class AbstractTemporalLogicLexer
GLOBALLY - Static variable in class AbstractTemporalLogicParser
GLOBALLY - Static variable in class net.maswag.falcaun.parser.LTLLexer
GLOBALLY - Static variable in class net.maswag.falcaun.parser.LTLParser
GLOBALLY - Static variable in class net.maswag.falcaun.parser.STLLexer
GLOBALLY - Static variable in class net.maswag.falcaun.parser.STLParser
GLOBALLY() - Method in class AbstractTemporalLogicParser.UnaryTemporalOperatorContext
GLOBALLY() - Method in class net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
GLOBALLY() - Method in class net.maswag.falcaun.parser.STLParser.UnaryTemporalOperatorContext
groups() - Element in annotation interface net.maswag.falcaun.annotation.Sorted
gt - Enum constant in enum class net.maswag.falcaun.parser.STLAbstractAtomic.Operation
GT - Static variable in class AbstractTemporalLogicLexer
GT - Static variable in class AbstractTemporalLogicParser
GT - Static variable in class net.maswag.falcaun.parser.LTLLexer
GT - Static variable in class net.maswag.falcaun.parser.LTLParser
GT - Static variable in class net.maswag.falcaun.parser.STLLexer
GT - Static variable in class net.maswag.falcaun.parser.STLParser
GT() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
GT() - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
GT() - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext

H

handleAtomicFormula(LTLAtomic, LTLAPs) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Handles atomic formulas by collecting their atomic propositions.
handleBinaryOperator(Object, Object, LTLAPs) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Handles binary operators (operators with two subformulas).
handleInterval(TemporalOp<String>, LTLParser.IntervalContext) - Method in class net.maswag.falcaun.parser.LTLVisitorImpl
handleInterval(TemporalOp<List<Double>>, STLParser.IntervalContext) - Method in class net.maswag.falcaun.parser.STLVisitorImpl
handleMultiaryOperator(Iterable<? extends TemporalLogic<?>>, LTLAPs) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Handles multiary operators (operators with multiple subformulas).
handleUnaryOperator(Object, LTLAPs) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Handles unary operators (operators with a single subformula).
hashCode() - Method in class net.maswag.falcaun.LabeledEdge
hashCode() - Method in class net.maswag.falcaun.parser.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.parser.LTLLexer
ID - Static variable in class net.maswag.falcaun.parser.LTLParser
ID - Static variable in class net.maswag.falcaun.parser.STLLexer
ID - Static variable in class net.maswag.falcaun.parser.STLParser
ID() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
IMPLY - Static variable in class AbstractTemporalLogicLexer
IMPLY - Static variable in class AbstractTemporalLogicParser
IMPLY - Static variable in class net.maswag.falcaun.parser.LTLLexer
IMPLY - Static variable in class net.maswag.falcaun.parser.LTLParser
IMPLY - Static variable in class net.maswag.falcaun.parser.STLLexer
IMPLY - Static variable in class net.maswag.falcaun.parser.STLParser
IMPLY() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
IMPLY() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
IMPLY() - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
inclusionOracle - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: The oracle used to check for the inclusion of one language in another, which is essential for finding counterexamples to hypotheses.
indexOf(Object) - Method in class net.maswag.falcaun.InputMapper
initialize(Sorted) - Method in class net.maswag.falcaun.annotation.SortedValidator
initialized - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Flag indicating whether the property oracles have been initialized and are ready for use.
initialized - Variable in class net.maswag.falcaun.parser.AbstractTemporalLogic: Indicates whether the formula has been initialized.
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.parser.TemporalLogic.IOType
INPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
INPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
INPUT - Static variable in class net.maswag.falcaun.parser.LTLLexer
INPUT - Static variable in class net.maswag.falcaun.parser.LTLParser
INPUT - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
INPUT - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
INPUT - Static variable in class net.maswag.falcaun.parser.STLLexer
INPUT - Static variable in class net.maswag.falcaun.parser.STLParser
INPUT() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
INPUT() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
INPUT() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
INPUT() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
inputAlphabet - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: The alphabet of input symbols used by the Mealy machine, defining the set of valid inputs for the system.
inputAlphabet - Variable in class net.maswag.falcaun.BlackBoxVerifier: The alphabet of input symbols used in the verification process.
inputAPs - Variable in class net.maswag.falcaun.LTLAPs
inputMapper - Variable in class net.maswag.falcaun.parser.LTLVisitorImpl
inputMapper - Variable in class net.maswag.falcaun.parser.STLInputAtomic
inputMapper - Variable in class net.maswag.falcaun.parser.STLVisitorImpl
InputMapper - Class in net.maswag.falcaun: A class that represents a mapping from characters to double values.
InputMapper(ArrayList<Map<Character, Double>>) - Constructor for class net.maswag.falcaun.InputMapper: Private constructor used by factory methods.
inputMapperFile - Variable in class net.maswag.falcaun.ArgParser
InputMapperReader - Class in net.maswag.falcaun: Deprecated.
Use InputMapper instead. This class will be removed in a future release. It now uses InputMapper internally for backward compatibility.
InputMapperReader() - Constructor for class net.maswag.falcaun.InputMapperReader: Deprecated.
inputMappings - Variable in class net.maswag.falcaun.SignalAdapter
inputSignal - Variable in class net.maswag.falcaun.AbstractIOSignal: The input signal represented as a Word.
inputSignal - Variable in class net.maswag.falcaun.IOSignalPiece: The input signal at this time step.
inputString - Variable in class net.maswag.falcaun.parser.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.
interval() - Method in class AbstractTemporalLogicParser
interval() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
interval() - Method in class net.maswag.falcaun.parser.LTLParser
interval() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
interval() - Method in class net.maswag.falcaun.parser.STLParser
IntervalContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.IntervalContext
IntervalContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.LTLParser.IntervalContext
IntervalContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.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: Constructor for the continuous signal.
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: Represents a pair of input and output signals at one time step in a system's behavior.
IOSignalPiece() - Constructor for class net.maswag.falcaun.IOSignalPiece
iOType - Variable in class net.maswag.falcaun.parser.AbstractTemporalLogic: The type of input/output (I/O) that the formula is concerned with, either TemporalLogic.IOType.INPUT or TemporalLogic.IOType.OUTPUT.
IOType() - Constructor for enum class net.maswag.falcaun.parser.TemporalLogic.IOType
isAssignedCurrent - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
isAttrNull() - Method in class net.maswag.falcaun.LabeledEdge
isDisproved() - Method in class net.maswag.falcaun.AbstractSelectEQOracle: Checks if a property has been disproved by evaluating the minimum observed cost.
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 class net.maswag.falcaun.InputMapper
isEmpty() - Method in interface net.maswag.falcaun.IOSignal: Returns true if the signal is empty.
isEmpty() - Method in class net.maswag.falcaun.ValueWithTime: Check if the value is empty.
isEventuallyInterval - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
isInitialized() - Method in interface net.maswag.falcaun.parser.TemporalLogic: Returns true if the mapper is set.
isNonTemporal() - Method in interface net.maswag.falcaun.parser.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
iterator() - Method in class net.maswag.falcaun.InputMapper

L

label - Variable in class net.maswag.falcaun.LabeledEdge
LabeledEdge - Class in net.maswag.falcaun
LabeledEdge(String, String) - Constructor for class net.maswag.falcaun.LabeledEdge
largest - Variable in class net.maswag.falcaun.OutputMapper
largest - Variable in class net.maswag.falcaun.OutputMapperReader: Deprecated.

List of characters representing a larger value than any of the concrete values.
largest - Variable in class net.maswag.falcaun.parser.LTLVisitorImpl
largest - Variable in class net.maswag.falcaun.parser.STLOutputAtomic
largest - Variable in class net.maswag.falcaun.parser.STLVisitorImpl
largestOutputs - Variable in class net.maswag.falcaun.SignalAdapter
lastIndexOf(Object) - Method in class net.maswag.falcaun.InputMapper
LBRACKET - Static variable in class AbstractTemporalLogicLexer
LBRACKET - Static variable in class AbstractTemporalLogicParser
LBRACKET - Static variable in class net.maswag.falcaun.parser.LTLLexer
LBRACKET - Static variable in class net.maswag.falcaun.parser.LTLParser
LBRACKET - Static variable in class net.maswag.falcaun.parser.STLLexer
LBRACKET - Static variable in class net.maswag.falcaun.parser.STLParser
LBRACKET() - Method in class AbstractTemporalLogicParser.IntervalContext
LBRACKET() - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
LBRACKET() - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
learnedMealy - Variable in class net.maswag.falcaun.BlackBoxVerifier: The learned Mealy machine that models the behavior of the black-box system based on test cases.
learner - Variable in class net.maswag.falcaun.BlackBoxVerifier: The learning algorithm used to learn the behavior of the black-box system from test cases.
left - Variable in class AbstractTemporalLogicParser.IntervalContext
left - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
left - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
left - Variable in class net.maswag.falcaun.parser.LTLParser.ExprContext
left - Variable in class net.maswag.falcaun.parser.LTLParser.IntervalContext
left - Variable in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
left - Variable in class net.maswag.falcaun.parser.STLParser.ExprContext
left - Variable in class net.maswag.falcaun.parser.STLParser.IntervalContext
left - Variable in class net.maswag.falcaun.parser.TemporalRelease
left - Variable in class net.maswag.falcaun.parser.TemporalUntil
leftv - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
length - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: The length of each generated test word.
length - Variable in class net.maswag.falcaun.ArgParser
length - Variable in class net.maswag.falcaun.EQSearchProblem
length() - Method in interface net.maswag.falcaun.IOSignal: Returns the number of steps of the signal.
linearInterpolate(double) - Method in class net.maswag.falcaun.Signal: Returns a new Signal whose values are linearly interpolated at the given newTimeStep, writing directly into the result.
lineParse(String) - Static method in class net.maswag.falcaun.ExtendedSignalMapper: Parses a single line of the signal mapper definition.
lineParse(String) - Static method in class net.maswag.falcaun.SimpleSignalMapper
list() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the current list of Linear Temporal Logic (LTL) formulas as PropertyOracle.MealyPropertyOracle instances.
listIterator() - Method in class net.maswag.falcaun.InputMapper
listIterator(int) - Method in class net.maswag.falcaun.InputMapper
LOG - Static variable in class net.maswag.falcaun.WhiteBoxEqOracle
LOGGER - Static variable in class net.maswag.falcaun.AbstractSelectEQOracle: Logger instance for this class, used for logging debug and error information during the execution of the equivalence oracle.
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.TimeoutEQOracle
lowerBound - Variable in class net.maswag.falcaun.parser.RoSI
LPAREN - Static variable in class AbstractTemporalLogicLexer
LPAREN - Static variable in class AbstractTemporalLogicParser
LPAREN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
LPAREN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
LPAREN - Static variable in class net.maswag.falcaun.parser.LTLLexer
LPAREN - Static variable in class net.maswag.falcaun.parser.LTLParser
LPAREN - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
LPAREN - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
LPAREN - Static variable in class net.maswag.falcaun.parser.STLLexer
LPAREN - Static variable in class net.maswag.falcaun.parser.STLParser
LPAREN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
LPAREN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
LPAREN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
LPAREN() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
LPAREN() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
LPAREN() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
LPAREN() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
LPAREN() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
lt - Enum constant in enum class net.maswag.falcaun.parser.STLAbstractAtomic.Operation
LT - Static variable in class AbstractTemporalLogicLexer
LT - Static variable in class AbstractTemporalLogicParser
LT - Static variable in class net.maswag.falcaun.parser.LTLLexer
LT - Static variable in class net.maswag.falcaun.parser.LTLParser
LT - Static variable in class net.maswag.falcaun.parser.STLLexer
LT - Static variable in class net.maswag.falcaun.parser.STLParser
LT() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
LT() - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
LT() - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
LTLAnd(List<TemporalLogic<String>>) - Constructor for class net.maswag.falcaun.parser.TemporalAnd.LTLAnd
LTLAnd(TemporalLogic.LTLFormula, TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.parser.TemporalAnd.LTLAnd
LTLAPs - Class in net.maswag.falcaun: Represents the atomic propositions (APs) for LTL formulas.
LTLAPs() - Constructor for class net.maswag.falcaun.LTLAPs: Creates an empty set of atomic propositions.
LTLAPs(List<String>, List<String>) - Constructor for class net.maswag.falcaun.LTLAPs: Creates atomic propositions with the specified input and output APs.
LTLAtomic - Class in net.maswag.falcaun.parser: The atomic propositions in LTL formulas
LTLAtomic(Optional<String>, Optional<String>) - Constructor for class net.maswag.falcaun.parser.LTLAtomic
LTLBaseListener - Class in net.maswag.falcaun.parser: 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.parser.LTLBaseListener
LTLBaseVisitor<T> - Class in net.maswag.falcaun.parser: 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.parser.LTLBaseVisitor
LTLConst(boolean) - Constructor for class net.maswag.falcaun.parser.TemporalConst.LTLConst
LTLEventually(TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.parser.TemporalEventually.LTLEventually
LTLFactory - Class in net.maswag.falcaun.parser: This class provides a method to parse an LTL (Linear Temporal Logic) formula.
LTLFactory() - Constructor for class net.maswag.falcaun.parser.LTLFactory
LTLFormulaBase - Class in net.maswag.falcaun: Base class for LTL formula implementations that provides common functionality for atomic propositions management using composition instead of inheritance.
LTLFormulaBase() - Constructor for class net.maswag.falcaun.LTLFormulaBase
LTLFormulaHelper - Class in net.maswag.falcaun.parser: Helper class for LTL formula operations.
LTLFormulaHelper() - Constructor for class net.maswag.falcaun.parser.LTLFormulaHelper
LTLGlobally(TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.parser.TemporalGlobally.LTLGlobally
LTLImply(TemporalLogic.LTLFormula, TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.parser.TemporalImply.LTLImply
LTLLexer - Class in net.maswag.falcaun.parser
LTLLexer(CharStream) - Constructor for class net.maswag.falcaun.parser.LTLLexer
LTLListener - Interface in net.maswag.falcaun.parser: This interface defines a complete listener for a parse tree produced by LTLParser.
LTLNext(TemporalLogic.LTLFormula, boolean) - Constructor for class net.maswag.falcaun.parser.TemporalNext.LTLNext
LTLNot(TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.parser.TemporalNot.LTLNot
LTLOr(TemporalLogic<String>, TemporalLogic<String>) - Constructor for class net.maswag.falcaun.parser.TemporalOr.LTLOr
ltlOracle - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: The property oracle responsible for checking whether a specific property (e.g., an LTL formula) is disproved by the generated test cases.
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.parser
LTLParser(TokenStream) - Constructor for class net.maswag.falcaun.parser.LTLParser
LTLParser.BinaryOperatorContext - Class in net.maswag.falcaun.parser
LTLParser.BinaryTemporalOperatorContext - Class in net.maswag.falcaun.parser
LTLParser.ComparisonOperatorContext - Class in net.maswag.falcaun.parser
LTLParser.ExprContext - Class in net.maswag.falcaun.parser
LTLParser.IntervalContext - Class in net.maswag.falcaun.parser
LTLParser.UnaryOperatorContext - Class in net.maswag.falcaun.parser
LTLParser.UnaryTemporalOperatorContext - Class in net.maswag.falcaun.parser
LTLParser.ValueContext - Class in net.maswag.falcaun.parser
ltlProperties - Variable in class net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList
LTLRelease(TemporalLogic.LTLFormula, TemporalLogic.LTLFormula) - Constructor for class net.maswag.falcaun.parser.TemporalRelease.LTLRelease
LTLSub(TemporalOp<String>, int, int) - Constructor for class net.maswag.falcaun.parser.TemporalSub.LTLSub
LTLUntil(TemporalLogic<String>, TemporalLogic<String>) - Constructor for class net.maswag.falcaun.parser.TemporalUntil.LTLUntil
LTLVisitor<T> - Interface in net.maswag.falcaun.parser: This interface defines a complete generic visitor for a parse tree produced by LTLParser.
LTLVisitorImpl - Class in net.maswag.falcaun.parser: LTLVisitorImpl class.
LTLVisitorImpl() - Constructor for class net.maswag.falcaun.parser.LTLVisitorImpl

M

make(List<List<Double>>) - Static method in class net.maswag.falcaun.InputMapper: Creates an InputMapper from a List<List<Double>>.
make(List<List<Double>>) - Static method in class net.maswag.falcaun.InputMapperReader: Deprecated.
Use InputMapper.make(List) instead.
makeAbstractStringWithAtomicStrings() - Method in class net.maswag.falcaun.parser.AbstractTemporalLogic: Constructs an abstract string representation of the formula using the strings of atomic propositions.
makeAbstractStringWithAtomicStrings(Optional<Map<String, String>>) - Method in class net.maswag.falcaun.parser.AbstractTemporalLogic
makeLiteralNames() - Static method in class AbstractTemporalLogicLexer
makeLiteralNames() - Static method in class AbstractTemporalLogicParser
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.LTLLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.LTLParser
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.SignalMapperLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.SignalMapperParser
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.STLLexer
makeLiteralNames() - Static method in class net.maswag.falcaun.parser.STLParser
makeRuleNames() - Static method in class AbstractTemporalLogicLexer
makeRuleNames() - Static method in class AbstractTemporalLogicParser
makeRuleNames() - Static method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
makeRuleNames() - Static method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
makeRuleNames() - Static method in class net.maswag.falcaun.parser.LTLLexer
makeRuleNames() - Static method in class net.maswag.falcaun.parser.LTLParser
makeRuleNames() - Static method in class net.maswag.falcaun.parser.SignalMapperLexer
makeRuleNames() - Static method in class net.maswag.falcaun.parser.SignalMapperParser
makeRuleNames() - Static method in class net.maswag.falcaun.parser.STLLexer
makeRuleNames() - Static method in class net.maswag.falcaun.parser.STLParser
makeSymbolicNames() - Static method in class AbstractTemporalLogicLexer
makeSymbolicNames() - Static method in class AbstractTemporalLogicParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.LTLLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.LTLParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.SignalMapperLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.SignalMapperParser
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.STLLexer
makeSymbolicNames() - Static method in class net.maswag.falcaun.parser.STLParser
makeWithCustomChars(List<List<Double>>, char[]) - Static method in class net.maswag.falcaun.InputMapper: Creates an InputMapper from a List<List<Double>> with custom starting characters.
mapAbstractOutput(String) - Method in class net.maswag.falcaun.NumericSULMapperWithSGA
mapConcrete(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Maps a concrete IOSignalPiece to a list of concrete output values.
mapConcrete(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer: Maps a concrete IOSignalPiece to a list of concrete output values.
mapConcrete(IOSignalPiece<List<Double>>) - Method in interface net.maswag.falcaun.SignalDiscretizer: Maps a concrete IOSignalPiece to a list of concrete output values.
mapInput(Word<String>) - Method in interface net.maswag.falcaun.SignalDiscretizer: Maps an abstract input word to a concrete word.
mapInput(String) - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer
mapInput(String) - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer
mapInput(String) - Method in class net.maswag.falcaun.SGAMapper
mapInput(String) - Method in class net.maswag.falcaun.SignalAdapter
mapInput(String) - Method in interface net.maswag.falcaun.SignalDiscretizer: Maps an abstract input string to a concrete list of double values.
mapInput(List<Double>) - Method in class net.maswag.falcaun.SignalDeriver: Maps a concrete input signal to itself (pass-through).
mapInputs(List<Word<String>>) - Method in interface net.maswag.falcaun.SignalDiscretizer: Maps a list of abstract input words to a list of concrete words.
mapOutput(String) - Method in class net.maswag.falcaun.SGAMapper
mapOutput(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.NumericSULMapperWithSGA
mapOutput(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Maps a concrete IOSignalPiece to an abstract output string.
mapOutput(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.PreComposedSignalDiscretizer: Maps a concrete IOSignalPiece to an abstract output string.
mapOutput(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.SignalAdapter
mapOutput(IOSignalPiece<List<Double>>) - Method in class net.maswag.falcaun.SignalDeriver: Maps a concrete IOSignalPiece to an IOSignalPiece with derived signals.
mapOutput(IOSignalPiece<List<Double>>) - Method in interface net.maswag.falcaun.SignalDiscretizer: Maps a concrete IOSignalPiece to an abstract output string.
mapper - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
mapper - Variable in class net.maswag.falcaun.NumericMembershipOracle
max(RoSI) - Method in class net.maswag.falcaun.parser.RoSI: The elementwise max of two RoSIs.
MAX - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
MAX - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
MAX - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
MAX - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
MAX() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
MAX() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
MAX() - Method in class net.maswag.falcaun.parser.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: The maximum number of test cases to evaluate before terminating the search for counterexamples.
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: The oracle used to query membership in the language recognized by a Mealy machine, determining whether specific input sequences produce expected outputs.
memOracle - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: The membership oracle responsible for evaluating the generated test cases against the Mealy machine.
memOracle - Variable in class net.maswag.falcaun.BlackBoxVerifier: The membership oracle used to evaluate test cases and provide the system's output for given inputs.
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(LTLAPs) - Method in class net.maswag.falcaun.LTLAPs: Merges another set of atomic propositions into this one.
merge(TemporalLogic.IOType) - Method in enum class net.maswag.falcaun.parser.TemporalLogic.IOType: Merges two IOType.
message() - Element in annotation interface net.maswag.falcaun.annotation.Sorted
min(RoSI) - Method in class net.maswag.falcaun.parser.RoSI: The elementwise min of two RoSIs.
MIN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
MIN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
MIN - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
MIN - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
MIN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
MIN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
MIN() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
minCost - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: Minimum cost observed during the evaluation process.
MINUS - Static variable in class AbstractTemporalLogicLexer
MINUS - Static variable in class AbstractTemporalLogicParser
MINUS - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
MINUS - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
MINUS - Static variable in class net.maswag.falcaun.parser.LTLLexer
MINUS - Static variable in class net.maswag.falcaun.parser.LTLParser
MINUS - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
MINUS - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
MINUS - Static variable in class net.maswag.falcaun.parser.STLLexer
MINUS - Static variable in class net.maswag.falcaun.parser.STLParser
MINUS() - Method in class AbstractTemporalLogicParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
MINUS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
MINUS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
MINUS() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
MINUS() - Method in class net.maswag.falcaun.parser.STLParser.ValueContext
MOD - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
MOD - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
MOD - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
MOD - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
MOD() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
MOD() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
MOD() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
modelChecker - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: The model checker used to verify properties against a Mealy machine, ensuring that the system meets specified Signal Temporal Logic (STL) requirements.
modelChecker - Variable in class net.maswag.falcaun.BlackBoxVerifier: The model checker used to verify the learned Mealy machine against Signal Temporal Logic (STL) properties.
modeNames - Static variable in class AbstractTemporalLogicLexer
modeNames - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
modeNames - Static variable in class net.maswag.falcaun.parser.LTLLexer
modeNames - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
modeNames - Static variable in class net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperLexer
NATURAL - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
NATURAL - Static variable in class net.maswag.falcaun.parser.LTLLexer
NATURAL - Static variable in class net.maswag.falcaun.parser.LTLParser
NATURAL - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
NATURAL - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
NATURAL - Static variable in class net.maswag.falcaun.parser.STLLexer
NATURAL - Static variable in class net.maswag.falcaun.parser.STLParser
NATURAL() - Method in class AbstractTemporalLogicParser.IntervalContext
NATURAL() - Method in class AbstractTemporalLogicParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
NATURAL() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
NATURAL() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
NATURAL() - Method in class net.maswag.falcaun.parser.LTLParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
NATURAL() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
NATURAL() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
NATURAL() - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
NATURAL() - Method in class net.maswag.falcaun.parser.STLParser.ValueContext
NATURAL(int) - Method in class AbstractTemporalLogicParser.IntervalContext
NATURAL(int) - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
NATURAL(int) - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
ne - Enum constant in enum class net.maswag.falcaun.parser.STLAbstractAtomic.Operation
NE - Static variable in class AbstractTemporalLogicLexer
NE - Static variable in class AbstractTemporalLogicParser
NE - Static variable in class net.maswag.falcaun.parser.LTLLexer
NE - Static variable in class net.maswag.falcaun.parser.LTLParser
NE - Static variable in class net.maswag.falcaun.parser.STLLexer
NE - Static variable in class net.maswag.falcaun.parser.STLParser
NE() - Method in class AbstractTemporalLogicParser.ComparisonOperatorContext
NE() - Method in class net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
NE() - Method in class net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
negate() - Method in class net.maswag.falcaun.parser.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: FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
net.maswag.falcaun.annotation - package net.maswag.falcaun.annotation: The annotations used in FalCAuN.
net.maswag.falcaun.parser - package net.maswag.falcaun.parser: FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
NEWLINE - Static variable in class AbstractTemporalLogicLexer
NEWLINE - Static variable in class AbstractTemporalLogicParser
NEWLINE - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
NEWLINE - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
NEWLINE - Static variable in class net.maswag.falcaun.parser.LTLLexer
NEWLINE - Static variable in class net.maswag.falcaun.parser.LTLParser
NEWLINE - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
NEWLINE - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
NEWLINE - Static variable in class net.maswag.falcaun.parser.STLLexer
NEWLINE - Static variable in class net.maswag.falcaun.parser.STLParser
newlyFalsifiedFormula(TemporalLogic) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Checks if a given Signal Temporal Logic (STL) formula has been newly falsified.
newlyFalsifiedFormula(TemporalLogic) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Checks if a given Signal Temporal Logic (STL) formula has not yet been falsified.
NEXT - Static variable in class AbstractTemporalLogicLexer
NEXT - Static variable in class AbstractTemporalLogicParser
NEXT - Static variable in class net.maswag.falcaun.parser.LTLLexer
NEXT - Static variable in class net.maswag.falcaun.parser.LTLParser
NEXT - Static variable in class net.maswag.falcaun.parser.STLLexer
NEXT - Static variable in class net.maswag.falcaun.parser.STLParser
NEXT() - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
NEXT() - Method in class net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
NEXT() - Method in class net.maswag.falcaun.parser.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.parser.AbstractTemporalLogic: Indicates whether the formula is non-temporal.
NOT - Static variable in class AbstractTemporalLogicLexer
NOT - Static variable in class AbstractTemporalLogicParser
NOT - Static variable in class net.maswag.falcaun.parser.LTLLexer
NOT - Static variable in class net.maswag.falcaun.parser.LTLParser
NOT - Static variable in class net.maswag.falcaun.parser.STLLexer
NOT - Static variable in class net.maswag.falcaun.parser.STLParser
NOT() - Method in class AbstractTemporalLogicParser.UnaryOperatorContext
NOT() - Method in class net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
NOT() - Method in class net.maswag.falcaun.parser.STLParser.UnaryOperatorContext
notifiedSet - Variable in class net.maswag.falcaun.NumericMembershipOracleCost
notifyFalsifiedProperty(List<Integer>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Notifies that the STL properties at the specified indices are 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.parser.TemporalNext
NumericMembershipOracle - Class in net.maswag.falcaun: The membership oracle for a Simulink model
NumericMembershipOracle(NumericSUL, SignalDiscretizer) - Constructor for class net.maswag.falcaun.NumericMembershipOracle
NumericMembershipOracleCost - Class in net.maswag.falcaun: A membership oracle that computes the cost of input-output signals using a specified cost function.
NumericMembershipOracleCost(NumericSUL, SignalDiscretizer, 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 NumericSULMapper.
NumericSULMapper(List<Map<Character, Double>>, OutputMapperReader, SignalMapper) - Constructor for class net.maswag.falcaun.NumericSULMapper: Deprecated.
Use NumericSULMapper with InputMapper and OutputMapper instead.
NumericSULMapper(List<Map<Character, Double>>, OutputMapper, SignalMapper) - Constructor for class net.maswag.falcaun.NumericSULMapper: Constructor for NumericSULMapper.
NumericSULMapperWithSGA - Class in net.maswag.falcaun: Output Mapper for NumericSUL based on Specification-Guided Abstraction.
NumericSULMapperWithSGA(List<Map<Character, Double>>, List<Character>, List<Map<Character, Double>>, SignalMapper, List<TemporalLogic.STLCost>, boolean) - Constructor for class net.maswag.falcaun.NumericSULMapperWithSGA
NumericSULMapperWithSGA(List<Map<Character, Double>>, OutputMapperReader, SignalMapper, List<TemporalLogic.STLCost>, boolean) - Constructor for class net.maswag.falcaun.NumericSULMapperWithSGA: Deprecated.
NumericSULMapperWithSGA(List<Map<Character, Double>>, OutputMapper, SignalMapper, List<TemporalLogic.STLCost>, boolean) - Constructor for class net.maswag.falcaun.NumericSULMapperWithSGA
NumericSULVerifier - Class in net.maswag.falcaun: Verifies a Numeric System Under Learning (NumericSUL) against specified properties using various equivalence oracles and model checking techniques.
NumericSULVerifier(NumericSUL, double, AdaptiveSTLUpdater<List<Double>>, SignalDiscretizer) - 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.parser.STLAbstractAtomic
Operation() - Constructor for enum class net.maswag.falcaun.parser.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.parser.LTLLexer
OR - Static variable in class net.maswag.falcaun.parser.LTLParser
OR - Static variable in class net.maswag.falcaun.parser.STLLexer
OR - Static variable in class net.maswag.falcaun.parser.STLParser
OR() - Method in class AbstractTemporalLogicParser.BinaryOperatorContext
OR() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
OR() - Method in class net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
OUTPUT - Enum constant in enum class net.maswag.falcaun.parser.TemporalLogic.IOType
OUTPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
OUTPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
OUTPUT - Static variable in class net.maswag.falcaun.parser.LTLLexer
OUTPUT - Static variable in class net.maswag.falcaun.parser.LTLParser
OUTPUT - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
OUTPUT - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
OUTPUT - Static variable in class net.maswag.falcaun.parser.STLLexer
OUTPUT - Static variable in class net.maswag.falcaun.parser.STLParser
OUTPUT() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
OUTPUT() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
OUTPUT() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
OUTPUT() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
OUTPUT() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
outputAPs - Variable in class net.maswag.falcaun.LTLAPs
outputMapper - Variable in class net.maswag.falcaun.OutputMapper
outputMapper - Variable in class net.maswag.falcaun.OutputMapperReader: Deprecated.

The output mapper, a list of mappings from an abstract alphabet character to its corresponding concrete value.
outputMapper - Variable in class net.maswag.falcaun.parser.LTLVisitorImpl
outputMapper - Variable in class net.maswag.falcaun.parser.STLOutputAtomic
outputMapper - Variable in class net.maswag.falcaun.parser.STLVisitorImpl
outputMapper - Variable in class net.maswag.falcaun.SGAMapper
OutputMapper - Class in net.maswag.falcaun: A class for mapping output values to characters.
OutputMapper(List<Map<Character, Double>>, List<Character>) - Constructor for class net.maswag.falcaun.OutputMapper
OutputMapper(String) - Constructor for class net.maswag.falcaun.OutputMapper: Constructor for OutputMapper from a file.
OutputMapper(List<List<Double>>) - Constructor for class net.maswag.falcaun.OutputMapper: Constructor for OutputMapper from data.
outputMapperFile - Variable in class net.maswag.falcaun.ArgParser
OutputMapperReader - Class in net.maswag.falcaun: Deprecated.
Use OutputMapper instead. This class will be removed in a future release. It now uses OutputMapper internally for backward compatibility.
OutputMapperReader(String) - Constructor for class net.maswag.falcaun.OutputMapperReader: Deprecated.
Use OutputMapper(String) instead.
OutputMapperReader(List<List<Double>>) - Constructor for class net.maswag.falcaun.OutputMapperReader: Deprecated.
Use OutputMapper(List) instead.
outputSignal - Variable in class net.maswag.falcaun.AbstractIOSignal: The output signal represented as a Word.
outputSignal - Variable in class net.maswag.falcaun.IOSignalPiece: The output signal at this time step.
outputString - Variable in class net.maswag.falcaun.parser.LTLAtomic

P

parallelStream() - Method in class net.maswag.falcaun.InputMapper
paramNames - Variable in class net.maswag.falcaun.ArgParser
parse() - Method in class net.maswag.falcaun.OutputMapper: Parses the data and creates the output mapper.
parse() - Method in class net.maswag.falcaun.OutputMapperReader: Deprecated.
You do not need to call this method directly anymore.
parse(BufferedReader) - Static method in class net.maswag.falcaun.ExtendedSignalMapper: Parses the signal mapper from the specified BufferedReader.
parse(BufferedReader) - Static method in class net.maswag.falcaun.SimpleSignalMapper: Get SignalMapper by parsing from a BufferedReader
parse(String) - Static method in class net.maswag.falcaun.ExtendedSignalMapper: Parses the signal mapper from the specified file.
parse(String) - Static method in class net.maswag.falcaun.InputMapperReader: Deprecated.
Use InputMapper.make(List) with AbstractMapperReader.rawParse(String) instead.
parse(String) - Method in class net.maswag.falcaun.parser.LTLFactory: parse an LTL formula
parse(String) - Method in class net.maswag.falcaun.parser.STLFactory: parse an STL formula without setting the mapper
parse(String) - Static method in class net.maswag.falcaun.SimpleSignalMapper: Get SignalMapper by parsing the given file
parse(String, List<Map<Character, Double>>, List<Map<Character, Double>>, List<Character>) - Method in class net.maswag.falcaun.parser.STLFactory: parse an STL formula using mappers
parse(String, List<Map<Character, Double>>, OutputMapper) - Method in class net.maswag.falcaun.parser.STLFactory: parse an STL formula using an output mapper object
parse(List<String>) - Static method in class net.maswag.falcaun.ExtendedSignalMapper: Parses the signal mapper from the specified list of mapper definitions.
parse(List<String>) - Static method in class net.maswag.falcaun.SignalDeriver: Constructs a SignalDeriver from extended signal-mapper definitions.
parse(List<String>) - Static method in class net.maswag.falcaun.SimpleSignalMapper: Get SignalMapper by parsing a list of strings.
parsedData - Variable in class net.maswag.falcaun.OutputMapper
parsedData - Variable in class net.maswag.falcaun.OutputMapperReader: Deprecated.
parseImpl(String, STLVisitor<TemporalLogic.STLCost>) - Static method in class net.maswag.falcaun.parser.STLFactory
parseSignalMapperImpl(String, ExtendedSignalMapperVisitor<Function<ExtendedIOSignalPiece<List<Double>>, List<Double>>>) - Static method in class net.maswag.falcaun.ExtendedSignalMapper: Parses the signal mapper definition using the specified visitor.
parseSignalMapperImpl(String, SignalMapperVisitor<Function<IOSignalPiece<List<Double>>, Double>>) - Static method in class net.maswag.falcaun.SimpleSignalMapper
parseSimple(List<String>) - Static method in class net.maswag.falcaun.SignalDeriver: Constructs a SignalDeriver from simple signal-mapper definitions.
payload() - Element in annotation interface net.maswag.falcaun.annotation.Sorted
PLUS - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
PLUS - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
PLUS - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
PLUS - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
PLUS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
PLUS() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
PLUS() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
populationSize - Variable in class net.maswag.falcaun.ArgParser
post() - Method in interface net.maswag.falcaun.NumericSUL: Performs cleanup operations after the last step
postCompose(SULMapper<String, String, String, String>) - Method in interface net.maswag.falcaun.ComponentWiseSignalDiscretizer: SignalDiscretizer post-composed with an SULMapper.
PostComposedSignalDiscretizer - Class in net.maswag.falcaun: SignalDiscretizer post-composed with an SULMapper.
PostComposedSignalDiscretizer() - Constructor for class net.maswag.falcaun.PostComposedSignalDiscretizer: Protected default constructor for PostComposedSignalDiscretizer.
PostComposedSignalDiscretizer(ComponentWiseSignalDiscretizer, SULMapper<String, String, String, String>) - Constructor for class net.maswag.falcaun.PostComposedSignalDiscretizer: Constructor for PostComposedSignalDiscretizer.
postMapper - Variable in class net.maswag.falcaun.PostComposedSignalDiscretizer
postOutputMapper - Variable in class net.maswag.falcaun.NumericSULMapperWithSGA
pre() - Method in interface net.maswag.falcaun.NumericSUL: Performs setup before the first step.
preCompose(SULMapper<List<Double>, IOSignalPiece<List<Double>>, List<Double>, IOSignalPiece<List<Double>>>) - Method in interface net.maswag.falcaun.ComponentWiseSignalDiscretizer: SignalDiscretizer pre-composed with an SULMapper.
PreComposedSignalDiscretizer - Class in net.maswag.falcaun: SignalDiscretizer pre-composed with an SULMapper
PreComposedSignalDiscretizer(ComponentWiseSignalDiscretizer, SULMapper<List<Double>, IOSignalPiece<List<Double>>, List<Double>, IOSignalPiece<List<Double>>>) - Constructor for class net.maswag.falcaun.PreComposedSignalDiscretizer: Constructor for PreComposedSignalDiscretizer.
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.
preMapper - Variable in class net.maswag.falcaun.PreComposedSignalDiscretizer
prepareFormula(TemporalLogic.LTLFormula) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Prepares a formula for use by collecting its atomic propositions and setting them.
PREVIOUS_MAX - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
PREVIOUS_MAX - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
PREVIOUS_MAX() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
PREVIOUS_MAX_OUTPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
PREVIOUS_MAX_OUTPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
PREVIOUS_MAX_OUTPUT() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
PREVIOUS_MIN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
PREVIOUS_MIN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
PREVIOUS_MIN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
PREVIOUS_MIN_OUTPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
PREVIOUS_MIN_OUTPUT - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
PREVIOUS_MIN_OUTPUT() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
previousOutputSignals - Variable in class net.maswag.falcaun.ExtendedIOSignalPiece: The previous output signals.
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: The adaptive STL updater that manages and updates the Signal Temporal Logic (STL) properties to be verified.
propertyOracles - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: A list of property oracles used to verify the Signal Temporal Logic (STL) properties against the system.
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 number generator used for generating random test cases to ensure diversity in the test suite.
random - Variable in class net.maswag.falcaun.IntegerRandomMutation
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.
range(double, double, boolean, boolean) - 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: Parses raw data from a file into a list of lists of doubles.
rawSUL - Variable in class net.maswag.falcaun.NumericSULVerifier
RBRACKET - Static variable in class AbstractTemporalLogicLexer
RBRACKET - Static variable in class AbstractTemporalLogicParser
RBRACKET - Static variable in class net.maswag.falcaun.parser.LTLLexer
RBRACKET - Static variable in class net.maswag.falcaun.parser.LTLParser
RBRACKET - Static variable in class net.maswag.falcaun.parser.STLLexer
RBRACKET - Static variable in class net.maswag.falcaun.parser.STLParser
RBRACKET() - Method in class AbstractTemporalLogicParser.IntervalContext
RBRACKET() - Method in class net.maswag.falcaun.parser.LTLParser.IntervalContext
RBRACKET() - Method in class net.maswag.falcaun.parser.STLParser.IntervalContext
readFromDot() - Method in class net.maswag.falcaun.DotMealyWrapper
readInputSymbols() - Method in class net.maswag.falcaun.DotMealyWrapper
readOutputSymbols() - Method in class net.maswag.falcaun.DotMealyWrapper
RELEASE - Static variable in class AbstractTemporalLogicLexer
RELEASE - Static variable in class AbstractTemporalLogicParser
RELEASE - Static variable in class net.maswag.falcaun.parser.LTLLexer
RELEASE - Static variable in class net.maswag.falcaun.parser.LTLParser
RELEASE - Static variable in class net.maswag.falcaun.parser.STLLexer
RELEASE - Static variable in class net.maswag.falcaun.parser.STLParser
RELEASE() - Method in class AbstractTemporalLogicParser.BinaryTemporalOperatorContext
RELEASE() - Method in class net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
RELEASE() - Method in class net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
remove(int) - Method in class net.maswag.falcaun.InputMapper
remove(Object) - Method in class net.maswag.falcaun.InputMapper
removeAll(Collection<?>) - Method in class net.maswag.falcaun.InputMapper
removeIf(Predicate<? super Map<Character, Double>>) - Method in class net.maswag.falcaun.InputMapper
removeSTLProperties(Collection<Integer>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Removes multiple Signal Temporal Logic (STL) properties from the list of properties to be verified.
removeSTLProperty(int) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Removes a Signal Temporal Logic (STL) property from the list of properties to be verified.
replaceAll(UnaryOperator<Map<Character, Double>>) - Method in class net.maswag.falcaun.InputMapper
reportedFormulas - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: A list of Signal Temporal Logic (STL) formulas that have been disproved by the verification process.
reset() - Method in class net.maswag.falcaun.AdaptiveSTLList: Remove all the non-initial STL formulas
reset() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Resets the list of Signal Temporal Logic (STL) formulas to their 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: Resets the list of current samples by clearing it and generating a new set of random test words.
resetWord - Variable in class net.maswag.falcaun.AbstractSelectEQOracle: A flag that indicates whether the word generation process should be reset.
retainAll(Collection<?>) - Method in class net.maswag.falcaun.InputMapper
right - Variable in class AbstractTemporalLogicParser.IntervalContext
right - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
right - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
right - Variable in class net.maswag.falcaun.parser.LTLParser.ExprContext
right - Variable in class net.maswag.falcaun.parser.LTLParser.IntervalContext
right - Variable in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
right - Variable in class net.maswag.falcaun.parser.STLParser.ExprContext
right - Variable in class net.maswag.falcaun.parser.STLParser.IntervalContext
right - Variable in class net.maswag.falcaun.parser.TemporalRelease
right - Variable in class net.maswag.falcaun.parser.TemporalUntil
rightv - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
RoSI - Class in net.maswag.falcaun.parser: The RoSI class representing a robust satisfaction interval (RoSI).
RoSI(double) - Constructor for class net.maswag.falcaun.parser.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.parser.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.parser.ExtendedSignalMapperLexer
RPAREN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
RPAREN - Static variable in class net.maswag.falcaun.parser.LTLLexer
RPAREN - Static variable in class net.maswag.falcaun.parser.LTLParser
RPAREN - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
RPAREN - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
RPAREN - Static variable in class net.maswag.falcaun.parser.STLLexer
RPAREN - Static variable in class net.maswag.falcaun.parser.STLParser
RPAREN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
RPAREN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
RPAREN() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
RPAREN() - Method in class net.maswag.falcaun.parser.LTLParser.ExprContext
RPAREN() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
RPAREN() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
RPAREN() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
RPAREN() - Method in class net.maswag.falcaun.parser.STLParser.ExprContext
RULE_atomic - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
RULE_atomic - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
RULE_atomic - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_binaryOperator - Static variable in class AbstractTemporalLogicParser
RULE_binaryOperator - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_binaryOperator - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_binaryTemporalOperator - Static variable in class AbstractTemporalLogicParser
RULE_binaryTemporalOperator - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_binaryTemporalOperator - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_comparisonOperator - Static variable in class AbstractTemporalLogicParser
RULE_comparisonOperator - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_comparisonOperator - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_expr - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
RULE_expr - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_expr - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
RULE_expr - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_extended_expr - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
RULE_interval - Static variable in class AbstractTemporalLogicParser
RULE_interval - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_interval - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_unaryOperator - Static variable in class AbstractTemporalLogicParser
RULE_unaryOperator - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_unaryOperator - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_unaryTemporalOperator - Static variable in class AbstractTemporalLogicParser
RULE_unaryTemporalOperator - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_unaryTemporalOperator - Static variable in class net.maswag.falcaun.parser.STLParser
RULE_value - Static variable in class AbstractTemporalLogicParser
RULE_value - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
RULE_value - Static variable in class net.maswag.falcaun.parser.LTLParser
RULE_value - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
RULE_value - Static variable in class net.maswag.falcaun.parser.STLParser
ruleNames - Static variable in class AbstractTemporalLogicLexer
ruleNames - Static variable in class AbstractTemporalLogicParser
ruleNames - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
ruleNames - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
ruleNames - Static variable in class net.maswag.falcaun.parser.LTLLexer
ruleNames - Static variable in class net.maswag.falcaun.parser.LTLParser
ruleNames - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
ruleNames - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
ruleNames - Static variable in class net.maswag.falcaun.parser.STLLexer
ruleNames - Static variable in class net.maswag.falcaun.parser.STLParser
run() - Method in class net.maswag.falcaun.BlackBoxVerifier
run() - Method in class net.maswag.falcaun.NumericSULVerifier: run.

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.parser.AbstractTemporalLogic: A set of atomic propositions such that the formula is satisfied if and only if one of these propositions is satisfied.
selectionKind - Variable in class net.maswag.falcaun.ArgParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.parser.LTLParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.parser.SignalMapperParser
sempred(RuleContext, int, int) - Method in class net.maswag.falcaun.parser.STLParser
set(int, Map<Character, Double>) - Method in class net.maswag.falcaun.InputMapper
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.LTLAtomic: Sets the universe of atomic propositions for this formula.
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalAnd.LTLAnd
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalConst.LTLConst
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalEventually.LTLEventually
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalGlobally.LTLGlobally
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalImply.LTLImply
setAPs(LTLAPs) - Method in interface net.maswag.falcaun.parser.TemporalLogic.LTLFormula: Sets the universe of atomic propositions for this formula.
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalNext.LTLNext
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalNot.LTLNot
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalOr.LTLOr
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalRelease.LTLRelease
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalSub.LTLSub
setAPs(LTLAPs) - Method in class net.maswag.falcaun.parser.TemporalUntil.LTLUntil
setAPs(TemporalLogic.LTLFormula, LTLAPs) - Static method in class net.maswag.falcaun.parser.LTLFormulaHelper: Sets the atomic propositions on a formula tree and propagates it to all subformulas.
setAPsWithPropagation(LTLAPs, Runnable) - Method in class net.maswag.falcaun.LTLFormulaBase: Sets the atomic propositions and propagates them to subformulas.
setAtomic(List<Map<Character, Double>>, List<Character>) - Method in class net.maswag.falcaun.parser.STLOutputAtomic
setCache(IncrementalMealyTreeBuilder<String, String>) - Method in class net.maswag.falcaun.NumericMembershipOracle
setCrossoverProbability(double) - Method in class net.maswag.falcaun.IntegerUniformCrossover
setDiscretizer(ComponentWiseSignalDiscretizer) - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Sets the discretizer for this PostComposedSignalDiscretizer.
setHypothesis(MealyMachine<?, String, ?, String>) - Method in class net.maswag.falcaun.EQSearchProblem
setInputAlphabet(Alphabet<String>) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Sets the input alphabet used for the verification process.
setInputMapper(List<Map<Character, Double>>) - Method in class net.maswag.falcaun.parser.STLInputAtomic: Gives the input mapper for the atomic formula.
setInputMaps() - Method in class net.maswag.falcaun.parser.STLInputAtomic
setLabel(String) - Method in class net.maswag.falcaun.LabeledEdge
setLargest(List<Character>) - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Gives the largest alphabets for the atomic formula.
setMapper(Map<String, String>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
setMapper(OutputMapper) - Method in class net.maswag.falcaun.parser.STLOutputAtomic
setMemOracle(MembershipOracle.MealyMembershipOracle<String, String>) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Sets the membership oracle and initializes the emptiness and inclusion oracles.
setMemOracle(MembershipOracle.MealyMembershipOracle<String, String>) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Sets a new membership oracle.
setMutationProbability(double) - Method in class net.maswag.falcaun.IntegerRandomMutation
setOutputMapper(List<Map<Character, Double>>) - Method in class net.maswag.falcaun.parser.STLOutputAtomic: Gives the output mapper for the atomic formula.
setOutputMaps() - Method in class net.maswag.falcaun.parser.STLOutputAtomic
setPostMapper(SULMapper<String, String, String, String>) - Method in class net.maswag.falcaun.PostComposedSignalDiscretizer: Sets the postMapper for this PostComposedSignalDiscretizer.
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.
SGAMapper - Class in net.maswag.falcaun: Output Mapper for Mealy machine based on Specification-Guided Abstraction.
SGAMapper(List<TemporalLogic.LTLFormula>, Alphabet<String>, Alphabet<String>, boolean) - Constructor for class net.maswag.falcaun.SGAMapper
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.parser.STLAbstractAtomic
sigma - Variable in class net.maswag.falcaun.DotMealyWrapper
sigMap - Variable in class net.maswag.falcaun.ArgParser
sigMap - Variable in class net.maswag.falcaun.ExtendedSignalMapper
sigMap - Variable in class net.maswag.falcaun.SignalDeriver
sigMap - Variable in class net.maswag.falcaun.SimpleSignalMapper
Signal - Class in net.maswag.falcaun: Signal is a sequence of values, each associated with an increasing timestamp.
Signal(double) - Constructor for class net.maswag.falcaun.Signal: Constructs a new Signal with the specified time step.
SignalAdapter - Class in net.maswag.falcaun: I/O Mapper between abstract/concrete signals using InputMapper and OutputMapper.
SignalAdapter(InputMapper, OutputMapper) - Constructor for class net.maswag.falcaun.SignalAdapter: Constructor for SignalAdapter without SignalMapper.
SignalDeriver - Class in net.maswag.falcaun: Signal derivation mapper that uses SignalMapper to derive signals from concrete I/O signals.
SignalDeriver(SignalMapper) - Constructor for class net.maswag.falcaun.SignalDeriver: Constructor for SignalDeriver.
signalDiscretizer - Variable in class net.maswag.falcaun.NumericSULVerifier
SignalDiscretizer - Interface in net.maswag.falcaun
signalID - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
signalID - Variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
signalID - Variable in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
signalID - Variable in class net.maswag.falcaun.parser.STLParser.AtomicContext
SignalMapper - Interface in net.maswag.falcaun: Interface to construct pseudo signals from concrete signals
SignalMapperBaseListener - Class in net.maswag.falcaun.parser: 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.parser.SignalMapperBaseListener
SignalMapperBaseVisitor<T> - Class in net.maswag.falcaun.parser: 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.parser.SignalMapperBaseVisitor
SignalMapperLexer - Class in net.maswag.falcaun.parser
SignalMapperLexer(CharStream) - Constructor for class net.maswag.falcaun.parser.SignalMapperLexer
SignalMapperListener - Interface in net.maswag.falcaun.parser: This interface defines a complete listener for a parse tree produced by SignalMapperParser.
SignalMapperParser - Class in net.maswag.falcaun.parser
SignalMapperParser(TokenStream) - Constructor for class net.maswag.falcaun.parser.SignalMapperParser
SignalMapperParser.AtomicContext - Class in net.maswag.falcaun.parser
SignalMapperParser.ExprContext - Class in net.maswag.falcaun.parser
SignalMapperParser.ValueContext - Class in net.maswag.falcaun.parser
SignalMapperVisitor<T> - Interface in net.maswag.falcaun.parser: This interface defines a complete generic visitor for a parse tree produced by SignalMapperParser.
SignalMapperVisitorImpl - Class in net.maswag.falcaun.parser: STLVisitorImpl class.
SignalMapperVisitorImpl() - Constructor for class net.maswag.falcaun.parser.SignalMapperVisitorImpl
signalStep - Variable in class net.maswag.falcaun.IOContinuousSignal
signalStep - Variable in class net.maswag.falcaun.NumericSULVerifier
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
simulink - Variable in class net.maswag.falcaun.NumericSULVerifier
simulinkSimulationStep - Variable in class net.maswag.falcaun.ArgParser
size() - Method in class net.maswag.falcaun.AbstractIOSignal: Returns the size of the input signal.
size() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns the number of Signal Temporal Logic (STL) formulas in the current list.
size() - Method in class net.maswag.falcaun.ExtendedSignalMapper: Returns the size of the signal mapper list.
size() - Method in class net.maswag.falcaun.InputMapper
size() - Method in interface net.maswag.falcaun.IOSignal: Returns the number of steps of the signal.
size() - Method in class net.maswag.falcaun.Signal: Returns 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.
sort(Comparator<? super Map<Character, Double>>) - Method in class net.maswag.falcaun.InputMapper
sortByValue(Map<Character, Double>) - Static method in class net.maswag.falcaun.OutputMapper
Sorted - Annotation Interface in net.maswag.falcaun.annotation
SortedValidator - Class in net.maswag.falcaun.annotation
SortedValidator() - Constructor for class net.maswag.falcaun.annotation.SortedValidator
sortOutputMappings(List<Map<Character, Double>>) - Static method in class net.maswag.falcaun.OutputMapper
source - Variable in class net.maswag.falcaun.LabeledEdge
spliterator() - Method in class net.maswag.falcaun.InputMapper
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.
stepTime - Variable in class net.maswag.falcaun.ArgParser
stl - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
STLAbstractAtomic - Class in net.maswag.falcaun.parser: STLAtomic class.
STLAbstractAtomic(int, STLAbstractAtomic.Operation, double) - Constructor for class net.maswag.falcaun.parser.STLAbstractAtomic: Constructor for STLAbstractAtomic.
STLAbstractAtomic.Operation - Enum Class in net.maswag.falcaun.parser
STLAnd(List<TemporalLogic<List<Double>>>) - Constructor for class net.maswag.falcaun.parser.TemporalAnd.STLAnd
STLAnd(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalAnd.STLAnd
STLBaseListener - Class in net.maswag.falcaun.parser: 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.parser.STLBaseListener
STLBaseVisitor<T> - Class in net.maswag.falcaun.parser: 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.parser.STLBaseVisitor
STLConst(boolean) - Constructor for class net.maswag.falcaun.parser.TemporalConst.STLConst
STLEventually(TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalEventually.STLEventually
STLFactory - Class in net.maswag.falcaun.parser
STLFactory() - Constructor for class net.maswag.falcaun.parser.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.parser.TemporalGlobally.STLGlobally
STLImply(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalImply.STLImply
STLInputAtomic - Class in net.maswag.falcaun.parser: This class represents an atomic formula in STL for input signals.
STLInputAtomic(int, STLAbstractAtomic.Operation, double) - Constructor for class net.maswag.falcaun.parser.STLInputAtomic: Constructor for STLInputAtomic.
STLLexer - Class in net.maswag.falcaun.parser
STLLexer(CharStream) - Constructor for class net.maswag.falcaun.parser.STLLexer
STLListener - Interface in net.maswag.falcaun.parser: This interface defines a complete listener for a parse tree produced by STLParser.
STLNext(TemporalLogic.STLCost, boolean) - Constructor for class net.maswag.falcaun.parser.TemporalNext.STLNext
STLNot(TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalNot.STLNot
STLOr(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalOr.STLOr
STLOutputAtomic - Class in net.maswag.falcaun.parser: STLAtomic class.
STLOutputAtomic(int, STLAbstractAtomic.Operation, double) - Constructor for class net.maswag.falcaun.parser.STLOutputAtomic: Constructor for STLOutputAtomic.
STLParser - Class in net.maswag.falcaun.parser
STLParser(TokenStream) - Constructor for class net.maswag.falcaun.parser.STLParser
STLParser.AtomicContext - Class in net.maswag.falcaun.parser
STLParser.BinaryOperatorContext - Class in net.maswag.falcaun.parser
STLParser.BinaryTemporalOperatorContext - Class in net.maswag.falcaun.parser
STLParser.ComparisonOperatorContext - Class in net.maswag.falcaun.parser
STLParser.ExprContext - Class in net.maswag.falcaun.parser
STLParser.IntervalContext - Class in net.maswag.falcaun.parser
STLParser.UnaryOperatorContext - Class in net.maswag.falcaun.parser
STLParser.UnaryTemporalOperatorContext - Class in net.maswag.falcaun.parser
STLParser.ValueContext - Class in net.maswag.falcaun.parser
STLProperties - Variable in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: A list of Signal Temporal Logic (STL) properties that need to be verified against the system.
STLRelease(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalRelease.STLRelease
STLSub(TemporalOp<List<Double>>, int, int) - Constructor for class net.maswag.falcaun.parser.TemporalSub.STLSub
STLUntil(TemporalLogic.STLCost, TemporalLogic.STLCost) - Constructor for class net.maswag.falcaun.parser.TemporalUntil.STLUntil
STLVisitor<T> - Interface in net.maswag.falcaun.parser: This interface defines a complete generic visitor for a parse tree produced by STLParser.
STLVisitorImpl - Class in net.maswag.falcaun.parser: STLVisitorImpl class.
STLVisitorImpl() - Constructor for class net.maswag.falcaun.parser.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: Returns a stream of property oracles used to verify the Signal Temporal Logic (STL) properties.
stream() - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Returns a stream of Linear Temporal Logic (LTL) formulas as PropertyOracle.MealyPropertyOracle instances.
stream() - Method in class net.maswag.falcaun.InputMapper
stream() - Method in class net.maswag.falcaun.IOContinuousSignal: Constructs a stream of ExtendedIOSignalPiece instances that hold an input signal, an output signal, and the continuous output segment from after the previous input up to and including this input.
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.parser.TemporalNext
subFml - Variable in class net.maswag.falcaun.parser.TemporalNot
subFml - Variable in class net.maswag.falcaun.parser.TemporalOp
subFml - Variable in class net.maswag.falcaun.parser.TemporalSub
subFml1 - Variable in class net.maswag.falcaun.parser.TemporalImply
subFml2 - Variable in class net.maswag.falcaun.parser.TemporalImply
subFmls - Variable in class net.maswag.falcaun.parser.TemporalOr
subFormulas - Variable in class net.maswag.falcaun.parser.TemporalAnd
subList(int, int) - Method in class net.maswag.falcaun.InputMapper
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: A list containing all possible input symbols that can be used in the test cases.
symbolList - Variable in class net.maswag.falcaun.EQSearchProblem

T

target - Variable in class net.maswag.falcaun.LabeledEdge
targetMealy - Variable in class net.maswag.falcaun.WhiteBoxEqOracle
targetSTLs - Variable in class net.maswag.falcaun.AdaptiveSTLList
TemporalAnd - Class in net.maswag.falcaun.parser: The class representing the AND operator of temporal logic.
TemporalAnd(List<TemporalLogic>) - Constructor for class net.maswag.falcaun.parser.TemporalAnd
TemporalAnd(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalAnd
TemporalAnd.LTLAnd - Class in net.maswag.falcaun.parser
TemporalAnd.STLAnd - Class in net.maswag.falcaun.parser
TemporalConst - Class in net.maswag.falcaun.parser
TemporalConst(boolean) - Constructor for class net.maswag.falcaun.parser.TemporalConst
TemporalConst.LTLConst - Class in net.maswag.falcaun.parser
TemporalConst.STLConst - Class in net.maswag.falcaun.parser
TemporalEventually - Class in net.maswag.falcaun.parser: STLEventually class.
TemporalEventually(TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalEventually
TemporalEventually.LTLEventually - Class in net.maswag.falcaun.parser
TemporalEventually.STLEventually - Class in net.maswag.falcaun.parser
TemporalGlobally - Class in net.maswag.falcaun.parser: TemporalGlobally class.
TemporalGlobally(TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalGlobally
TemporalGlobally.LTLGlobally - Class in net.maswag.falcaun.parser
TemporalGlobally.STLGlobally - Class in net.maswag.falcaun.parser
TemporalImply - Class in net.maswag.falcaun.parser: STLImply class.
TemporalImply(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalImply
TemporalImply.LTLImply - Class in net.maswag.falcaun.parser
TemporalImply.STLImply - Class in net.maswag.falcaun.parser
TemporalLogic - Interface in net.maswag.falcaun.parser: Interface of a TemporalLogic formula.
TemporalLogic.IOType - Enum Class in net.maswag.falcaun.parser: Specifies the type of the formula.
TemporalLogic.LTLFormula - Interface in net.maswag.falcaun.parser
TemporalLogic.STLCost - Interface in net.maswag.falcaun.parser
TemporalNext - Class in net.maswag.falcaun.parser: STLNext class.
TemporalNext(TemporalLogic, boolean) - Constructor for class net.maswag.falcaun.parser.TemporalNext
TemporalNext.LTLNext - Class in net.maswag.falcaun.parser
TemporalNext.STLNext - Class in net.maswag.falcaun.parser
TemporalNot - Class in net.maswag.falcaun.parser: STLTemporalNot class.
TemporalNot(TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalNot: Constructs a new TemporalNot with the specified sub formula.
TemporalNot.LTLNot - Class in net.maswag.falcaun.parser
TemporalNot.STLNot - Class in net.maswag.falcaun.parser
TemporalOp - Class in net.maswag.falcaun.parser
TemporalOp(TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalOp
TemporalOr - Class in net.maswag.falcaun.parser: The class representing the OR operator of temporal logic.
TemporalOr(List<TemporalLogic>) - Constructor for class net.maswag.falcaun.parser.TemporalOr
TemporalOr(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalOr
TemporalOr.LTLOr - Class in net.maswag.falcaun.parser
TemporalOr.STLOr - Class in net.maswag.falcaun.parser
TemporalRelease - Class in net.maswag.falcaun.parser: TemporalRelease class.
TemporalRelease(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalRelease
TemporalRelease.LTLRelease - Class in net.maswag.falcaun.parser
TemporalRelease.STLRelease - Class in net.maswag.falcaun.parser
TemporalSub - Class in net.maswag.falcaun.parser
TemporalSub(TemporalOp, int, int) - Constructor for class net.maswag.falcaun.parser.TemporalSub
TemporalSub.LTLSub - Class in net.maswag.falcaun.parser
TemporalSub.STLSub - Class in net.maswag.falcaun.parser
TemporalUntil - Class in net.maswag.falcaun.parser: TemporalUntil class.
TemporalUntil(TemporalLogic, TemporalLogic) - Constructor for class net.maswag.falcaun.parser.TemporalUntil
TemporalUntil.LTLUntil - Class in net.maswag.falcaun.parser
TemporalUntil.STLUntil - Class in net.maswag.falcaun.parser
TimeMeasure - Class in net.maswag.falcaun: Time measurement utility for tracking elapsed time in nanoseconds.
TimeMeasure() - Constructor for class net.maswag.falcaun.TimeMeasure
timeout - Variable in class net.maswag.falcaun.ArgParser
timeout - Variable in class net.maswag.falcaun.BlackBoxVerifier: The timeout value in seconds used for equivalence oracle operations.
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: A list of timeout oracles used to manage timeouts for equivalence oracle operations.
TIMES - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
TIMES - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
TIMES - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
TIMES - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
TIMES() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
TIMES() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
TIMES() - Method in class net.maswag.falcaun.parser.SignalMapperParser.ExprContext
timestamps - Variable in class net.maswag.falcaun.Signal: The timestamps correspond to the signal values in signalValues.
timestamps - Variable in class net.maswag.falcaun.ValueWithTime
timeStep - Variable in class net.maswag.falcaun.Signal: The time step of signals.
timeWindow - Variable in class net.maswag.falcaun.AdaptiveSTLList.IntervalTL
timeWindow - Variable in class net.maswag.falcaun.AdaptiveSTLList
to - Variable in class net.maswag.falcaun.parser.TemporalSub
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.LTLAtomic
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.STLAbstractAtomic
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalAnd
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalConst
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalEventually
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalGlobally
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalImply
toAbstractLTLString(Map<String, String>) - Method in interface net.maswag.falcaun.parser.TemporalLogic
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalNext
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalNot
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalOr
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalRelease
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalSub
toAbstractLTLString(Map<String, String>) - Method in class net.maswag.falcaun.parser.TemporalUntil
toAbstractString() - Method in class net.maswag.falcaun.parser.LTLAtomic
toAbstractString() - Method in class net.maswag.falcaun.parser.STLAbstractAtomic: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalAnd: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalConst
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalEventually: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalGlobally: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalImply: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in interface net.maswag.falcaun.parser.TemporalLogic: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalNext: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalNot: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalOr: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalRelease: Returns a string representation of the formula in the format of LTSMin.
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalSub
toAbstractString() - Method in class net.maswag.falcaun.parser.TemporalUntil: Returns a string representation of the formula in the format of LTSMin.
toArray() - Method in class net.maswag.falcaun.InputMapper
toArray(IntFunction<T[]>) - Method in class net.maswag.falcaun.InputMapper
toArray(T[]) - Method in class net.maswag.falcaun.InputMapper
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.LTLAtomic
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.STLInputAtomic
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.STLOutputAtomic
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalAnd
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalConst
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalEventually
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalGlobally
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalImply
toDisjunctiveForm() - Method in interface net.maswag.falcaun.parser.TemporalLogic
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalNext
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalNot
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalOr
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalRelease
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalSub
toDisjunctiveForm() - Method in class net.maswag.falcaun.parser.TemporalUntil
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.parser.ExtendedSignalMapperLexer: Deprecated.
Use ExtendedSignalMapperLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser: Deprecated.
Use ExtendedSignalMapperParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.LTLLexer: Deprecated.
Use LTLLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.LTLParser: Deprecated.
Use LTLParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer: Deprecated.
Use SignalMapperLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.SignalMapperParser: Deprecated.
Use SignalMapperParser.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.STLLexer: Deprecated.
Use STLLexer.VOCABULARY instead.
tokenNames - Static variable in class net.maswag.falcaun.parser.STLParser: Deprecated.
Use STLParser.VOCABULARY instead.
toLTLString() - Method in interface net.maswag.falcaun.parser.TemporalLogic: Returns a string representation of the formula in the format of LTSMin.
toLTLString(TemporalLogic) - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater: Converts the given Temporal Logic property to its Linear Temporal Logic (LTL) string representation.
toLTLString(TemporalLogic) - Method in interface net.maswag.falcaun.AdaptiveSTLUpdater: Converts a given Signal Temporal Logic (STL) formula to its Linear Temporal Logic (LTL) string representation.
toNnf(boolean) - Method in class net.maswag.falcaun.parser.LTLAtomic
toNnf(boolean) - Method in class net.maswag.falcaun.parser.STLInputAtomic
toNnf(boolean) - Method in class net.maswag.falcaun.parser.STLOutputAtomic
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalAnd
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalConst
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalEventually
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalGlobally
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalImply
toNnf(boolean) - Method in interface net.maswag.falcaun.parser.TemporalLogic
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalNext
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalNot
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalOr
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalRelease
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalSub
toNnf(boolean) - Method in class net.maswag.falcaun.parser.TemporalUntil
toOwlString() - Method in class net.maswag.falcaun.parser.LTLAtomic
toOwlString() - Method in class net.maswag.falcaun.parser.STLAbstractAtomic
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalAnd
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalConst
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalEventually
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalGlobally
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalImply
toOwlString() - Method in interface net.maswag.falcaun.parser.TemporalLogic
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalNext
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalNot
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalOr
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalRelease
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalSub
toOwlString() - Method in class net.maswag.falcaun.parser.TemporalUntil
toString() - Method in class net.maswag.falcaun.AbstractAdaptiveSTLUpdater
toString() - Method in class net.maswag.falcaun.LabeledEdge
toString() - Method in class net.maswag.falcaun.parser.LTLAtomic
toString() - Method in class net.maswag.falcaun.parser.STLAbstractAtomic
toString() - Method in class net.maswag.falcaun.parser.TemporalAnd
toString() - Method in class net.maswag.falcaun.parser.TemporalConst
toString() - Method in class net.maswag.falcaun.parser.TemporalEventually
toString() - Method in class net.maswag.falcaun.parser.TemporalGlobally
toString() - Method in class net.maswag.falcaun.parser.TemporalImply
toString() - Method in class net.maswag.falcaun.parser.TemporalNext
toString() - Method in class net.maswag.falcaun.parser.TemporalNot
toString() - Method in class net.maswag.falcaun.parser.TemporalOr
toString() - Method in class net.maswag.falcaun.parser.TemporalRelease
toString() - Method in class net.maswag.falcaun.parser.TemporalSub
toString() - Method in class net.maswag.falcaun.parser.TemporalUntil
toString() - Method in class net.maswag.falcaun.Signal
Tournament - Enum constant in enum class net.maswag.falcaun.GASelectionKind: Tournament selection randomly selects a subset of individuals and chooses the best from that group.

U

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

V

value() - Method in class AbstractTemporalLogicParser
value() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
value() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
value() - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
value() - Method in class net.maswag.falcaun.parser.LTLParser
value() - Method in class net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
value() - Method in class net.maswag.falcaun.parser.SignalMapperParser
value() - Method in class net.maswag.falcaun.parser.STLParser.AtomicContext
value() - Method in class net.maswag.falcaun.parser.STLParser
ValueContext(ParserRuleContext, int) - Constructor for class AbstractTemporalLogicParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.LTLParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.SignalMapperParser.ValueContext
ValueContext(ParserRuleContext, int) - Constructor for class net.maswag.falcaun.parser.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.GASelectionKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.maswag.falcaun.parser.STLAbstractAtomic.Operation: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.maswag.falcaun.parser.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.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.parser.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.parser.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 sequence of values each associated with an increasing timestamp.
ValueWithTime() - Constructor for class net.maswag.falcaun.ValueWithTime: Initializes with empty lists.
ValueWithTime(List<Double>, List<T>) - Constructor for class net.maswag.falcaun.ValueWithTime: Initializes with the given timestamps and values.
verbose - Variable in class net.maswag.falcaun.ArgParser
verifiedSystem - Variable in class net.maswag.falcaun.BlackBoxVerifier: The System Under Learning (SUL) representing the black-box system to be verified.
verifier - Variable in class net.maswag.falcaun.NumericSULVerifier
visitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.atomic().
visitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.atomic().
visitAtomic(ExtendedSignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperVisitorImpl: Visit a parse tree produced by ExtendedSignalMapperParser.atomic().
visitAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseVisitor: Visit a parse tree produced by SignalMapperParser.atomic().
visitAtomic(SignalMapperParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.SignalMapperVisitor: Visit a parse tree produced by SignalMapperParser.atomic().
visitAtomic(SignalMapperParser.AtomicContext) - Method in class net.maswag.falcaun.parser.SignalMapperVisitorImpl: Visit a parse tree produced by SignalMapperParser.atomic().
visitAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.atomic().
visitAtomic(STLParser.AtomicContext) - Method in interface net.maswag.falcaun.parser.STLVisitor: Visit a parse tree produced by STLParser.atomic().
visitAtomic(STLParser.AtomicContext) - Method in class net.maswag.falcaun.parser.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.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.binaryOperator().
visitBinaryOperator(LTLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.binaryOperator().
visitBinaryOperator(STLParser.BinaryOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.binaryOperator().
visitBinaryOperator(STLParser.BinaryOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.binaryTemporalOperator().
visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.binaryTemporalOperator().
visitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.binaryTemporalOperator().
visitBinaryTemporalOperator(STLParser.BinaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.comparisonOperator().
visitComparisonOperator(LTLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.comparisonOperator().
visitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.comparisonOperator().
visitComparisonOperator(STLParser.ComparisonOperatorContext) - Method in interface net.maswag.falcaun.parser.STLVisitor: Visit a parse tree produced by STLParser.comparisonOperator().
visitErrorNode(ErrorNode) - Method in class AbstractTemporalLogicBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.parser.LTLBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener
visitErrorNode(ErrorNode) - Method in class net.maswag.falcaun.parser.STLBaseListener
visitExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.expr().
visitExpr(ExtendedSignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.expr().
visitExpr(ExtendedSignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperVisitorImpl: Visit a parse tree produced by ExtendedSignalMapperParser.expr().
visitExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.expr().
visitExpr(LTLParser.ExprContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.expr().
visitExpr(LTLParser.ExprContext) - Method in class net.maswag.falcaun.parser.LTLVisitorImpl: Visit a parse tree produced by LTLParser.expr().
visitExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseVisitor: Visit a parse tree produced by SignalMapperParser.expr().
visitExpr(SignalMapperParser.ExprContext) - Method in interface net.maswag.falcaun.parser.SignalMapperVisitor: Visit a parse tree produced by SignalMapperParser.expr().
visitExpr(SignalMapperParser.ExprContext) - Method in class net.maswag.falcaun.parser.SignalMapperVisitorImpl: Visit a parse tree produced by SignalMapperParser.expr().
visitExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.expr().
visitExpr(STLParser.ExprContext) - Method in interface net.maswag.falcaun.parser.STLVisitor: Visit a parse tree produced by STLParser.expr().
visitExpr(STLParser.ExprContext) - Method in class net.maswag.falcaun.parser.STLVisitorImpl: Visit a parse tree produced by STLParser.expr().
visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.extended_expr().
visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext) - Method in class net.maswag.falcaun.parser.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.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.interval().
visitInterval(LTLParser.IntervalContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.interval().
visitInterval(STLParser.IntervalContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.interval().
visitInterval(STLParser.IntervalContext) - Method in interface net.maswag.falcaun.parser.STLVisitor: Visit a parse tree produced by STLParser.interval().
visitTerminal(TerminalNode) - Method in class AbstractTemporalLogicBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.parser.LTLBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.parser.SignalMapperBaseListener
visitTerminal(TerminalNode) - Method in class net.maswag.falcaun.parser.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.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.unaryOperator().
visitUnaryOperator(LTLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.unaryOperator().
visitUnaryOperator(STLParser.UnaryOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.unaryOperator().
visitUnaryOperator(STLParser.UnaryOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.unaryTemporalOperator().
visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.unaryTemporalOperator().
visitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.unaryTemporalOperator().
visitUnaryTemporalOperator(STLParser.UnaryTemporalOperatorContext) - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperBaseVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.value().
visitValue(ExtendedSignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.parser.ExtendedSignalMapperVisitor: Visit a parse tree produced by ExtendedSignalMapperParser.value().
visitValue(LTLParser.ValueContext) - Method in class net.maswag.falcaun.parser.LTLBaseVisitor: Visit a parse tree produced by LTLParser.value().
visitValue(LTLParser.ValueContext) - Method in interface net.maswag.falcaun.parser.LTLVisitor: Visit a parse tree produced by LTLParser.value().
visitValue(SignalMapperParser.ValueContext) - Method in class net.maswag.falcaun.parser.SignalMapperBaseVisitor: Visit a parse tree produced by SignalMapperParser.value().
visitValue(SignalMapperParser.ValueContext) - Method in interface net.maswag.falcaun.parser.SignalMapperVisitor: Visit a parse tree produced by SignalMapperParser.value().
visitValue(STLParser.ValueContext) - Method in class net.maswag.falcaun.parser.STLBaseVisitor: Visit a parse tree produced by STLParser.value().
visitValue(STLParser.ValueContext) - Method in interface net.maswag.falcaun.parser.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.parser.ExtendedSignalMapperLexer
VOCABULARY - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
VOCABULARY - Static variable in class net.maswag.falcaun.parser.LTLLexer
VOCABULARY - Static variable in class net.maswag.falcaun.parser.LTLParser
VOCABULARY - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
VOCABULARY - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
VOCABULARY - Static variable in class net.maswag.falcaun.parser.STLLexer
VOCABULARY - Static variable in class net.maswag.falcaun.parser.STLParser

W

WhiteBoxEqOracle - Class in net.maswag.falcaun: Equivalence Oracle using the actual model of SUL.
WhiteBoxEqOracle(MealyMachine<?, String, ?, String>) - Constructor for class net.maswag.falcaun.WhiteBoxEqOracle
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.parser.ExtendedSignalMapperLexer
WS - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
WS - Static variable in class net.maswag.falcaun.parser.LTLLexer
WS - Static variable in class net.maswag.falcaun.parser.LTLParser
WS - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
WS - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
WS - Static variable in class net.maswag.falcaun.parser.STLLexer
WS - Static variable in class net.maswag.falcaun.parser.STLParser

_

_ATN - Static variable in class AbstractTemporalLogicLexer
_ATN - Static variable in class AbstractTemporalLogicParser
_ATN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
_ATN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
_ATN - Static variable in class net.maswag.falcaun.parser.LTLLexer
_ATN - Static variable in class net.maswag.falcaun.parser.LTLParser
_ATN - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
_ATN - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
_ATN - Static variable in class net.maswag.falcaun.parser.STLLexer
_ATN - Static variable in class net.maswag.falcaun.parser.STLParser
_decisionToDFA - Static variable in class AbstractTemporalLogicLexer
_decisionToDFA - Static variable in class AbstractTemporalLogicParser
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.LTLLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.LTLParser
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.STLLexer
_decisionToDFA - Static variable in class net.maswag.falcaun.parser.STLParser
_LITERAL_NAMES - Static variable in class AbstractTemporalLogicLexer
_LITERAL_NAMES - Static variable in class AbstractTemporalLogicParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.LTLLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.LTLParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.STLLexer
_LITERAL_NAMES - Static variable in class net.maswag.falcaun.parser.STLParser
_serializedATN - Static variable in class AbstractTemporalLogicLexer
_serializedATN - Static variable in class AbstractTemporalLogicParser
_serializedATN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
_serializedATN - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
_serializedATN - Static variable in class net.maswag.falcaun.parser.LTLLexer
_serializedATN - Static variable in class net.maswag.falcaun.parser.LTLParser
_serializedATN - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
_serializedATN - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
_serializedATN - Static variable in class net.maswag.falcaun.parser.STLLexer
_serializedATN - Static variable in class net.maswag.falcaun.parser.STLParser
_sharedContextCache - Static variable in class AbstractTemporalLogicLexer
_sharedContextCache - Static variable in class AbstractTemporalLogicParser
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.LTLLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.LTLParser
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.STLLexer
_sharedContextCache - Static variable in class net.maswag.falcaun.parser.STLParser
_SYMBOLIC_NAMES - Static variable in class AbstractTemporalLogicLexer
_SYMBOLIC_NAMES - Static variable in class AbstractTemporalLogicParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.ExtendedSignalMapperParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.LTLLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.LTLParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.SignalMapperLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.SignalMapperParser
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.STLLexer
_SYMBOLIC_NAMES - Static variable in class net.maswag.falcaun.parser.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