Uses of Package
net.maswag.falcaun

Packages that use net.maswag.falcaun

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Classes in net.maswag.falcaun used by net.maswag.falcaun

Class	Description
AbstractAdaptiveSTLUpdater	Abstract class representing a potentially adaptive set of Signal Temporal Logic (STL) formulas.
AbstractIOSignal	Abstract class representing an Input-Output (IO) signal.
AbstractMapperReader	Abstract class for reading and parsing mapper data from files.
AbstractSelectEQOracle	Abstract class for implementing equivalence oracles that select test cases based on a cost function.
AdaptiveSTLList.IntervalTL
AdaptiveSTLUpdater	Interface for a potentially adaptive set of Signal Temporal Logic (STL) formulas.
ArgParser.EquivType
BlackBoxVerifier	Verifies a black-box system against specified properties using various equivalence oracles and model checking techniques.
ComponentWiseSignalDiscretizer
EQSearchProblem	EQSearchProblem class.
EvaluationCountable
EvaluationCountable.MealyEquivalenceOracle
EvaluationCountable.Sum
ExtendedIOSignalPiece	A pair of input and output signals at one time step potentially with some previous output signals.
ExtendedSignalMapper	Class to construct pseudo signals from concrete signals
GASelectionKind	Enumeration of selection methods used in Genetic Algorithm (GA) equivalence queries.
HillClimbingEQOracle	HillClimbingEQOracle class.
InputMapper	A class that represents a mapping from characters to double values.
IOContinuousSignal	A signal with continuous output values.
IOSignal	A signal with both input and output values.
IOSignalPiece	Represents a pair of input and output signals at one time step in a system's behavior.
LabeledEdge
LTLAPs	Represents the atomic propositions (APs) for LTL formulas.
NumericMembershipOracle	The membership oracle for a Simulink model
NumericMembershipOracleCost	A membership oracle that computes the cost of input-output signals using a specified cost function.
NumericSUL	Systems under learning with numerical I/O.
OutputMapper	A class for mapping output values to characters.
OutputMapperReader	Deprecated. Use OutputMapper instead.
PostComposedSignalDiscretizer	SignalDiscretizer post-composed with an SULMapper.
PreComposedSignalDiscretizer	SignalDiscretizer pre-composed with an SULMapper
Signal	Signal is a sequence of values, each associated with an increasing timestamp.
SignalDeriver	Signal derivation mapper that uses SignalMapper to derive signals from concrete I/O signals.
SignalDiscretizer
SignalMapper	Interface to construct pseudo signals from concrete signals
TimeoutEQOracle	Am equivalence oracle to add timeout in addition to the original oracle.
ValueWithTime	A sequence of values each associated with an increasing timestamp.

Classes in net.maswag.falcaun used by net.maswag.falcaun.parser

Class	Description
ExtendedIOSignalPiece	A pair of input and output signals at one time step potentially with some previous output signals.
IOSignal	A signal with both input and output values.
IOSignalPiece	Represents a pair of input and output signals at one time step in a system's behavior.
LTLAPs	Represents the atomic propositions (APs) for LTL formulas.
LTLFormulaBase	Base class for LTL formula implementations that provides common functionality for atomic propositions management using composition instead of inheritance.
OutputMapper	A class for mapping output values to characters.