Package net.maswag.falcaun
package net.maswag.falcaun
The package for FalCAuN.
-
ClassDescriptionAbstract class for potentially adaptive set of STL formulasAbstract AbstractSelectEQOracle class.Abstract TemporalLogic class.Adaptive updater of STL/LTL formulasInterface for potentially adaptive set of STL formulasVerifier of a black-box system with respect to the given properties.Continuous-time systems under learning with numerical I/O.SimulinkGenerationalGeneticAlgorithm class.EQSearchProblem class.SimulinkSteadyStateGeneticAlgorithm class.A pair of input and output signals at one time step potentially with some previous output signals.Class to construct pseudo signals from concrete signalsThis 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.This class provides an empty implementation ofExtendedSignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.This interface defines a complete listener for a parse tree produced byExtendedSignalMapperParser.This interface defines a complete generic visitor for a parse tree produced byExtendedSignalMapperParser.ExtendedSignalMapperVisitorImpl class.FalCAuN class.Equivalence query using genetic algorithmHillClimbingEQOracle class.This class implements a random mutation operator for integer solution.Uniform crossover for integersA signal with continuous output values.A discrete-time signal with both input and output values.IOSignal<I>A signal with both input and output values.A pair of input and output signals at one time step.The atomic propositions in LTL formulasThis class provides an empty implementation ofLTLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.This class provides an empty implementation ofLTLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.This interface defines a complete listener for a parse tree produced byLTLParser.LTLVisitor<T>This interface defines a complete generic visitor for a parse tree produced byLTLParser.LTLVisitorImpl class.Equivalence oracle that uses a fixed set of samples.MutateSelectEQOracle class.The membership oracle for a Simulink modelSystems under learning with numerical I/O.I/O Mapper between abstract/concrete NumericSUL.Verifier of a NumericSULThe RoSI class representing a robust satisfaction interval (RoSI).Answer the Equivalence query by simulated annealingSignal of SimulinkInterface to construct pseudo signals from concrete signalsThis class provides an empty implementation ofSignalMapperListener, which can be extended to create a listener which only needs to handle a subset of the available methods.This class provides an empty implementation ofSignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.This interface defines a complete listener for a parse tree produced bySignalMapperParser.This interface defines a complete generic visitor for a parse tree produced bySignalMapperParser.STLVisitorImpl class.Class to construct pseudo signals from concrete signalsSimulinkAbstractAlphabetDomain class.Raw Simulink model.Enum for the interpolation methods of the input signalPure Random Tester of a Simulink modelThe System Under Learning implemented by a Simulink.List of STL/LTL formulas without updateSTLAtomic class.This class provides an empty implementation ofSTLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.This class provides an empty implementation ofSTLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.STLAtomic class.This interface defines a complete listener for a parse tree produced bySTLParser.STLAtomic class.STLVisitor<T>This interface defines a complete generic visitor for a parse tree produced bySTLParser.STLVisitorImpl class.StopDisprovedEQOracle<I,O, C> Wraps an equivalence oracle so that the equivalence oracle is skipped if all the LTL oracles are disproved.TemporalAnd<I>The class representing the AND operator of temporal logic.STLEventually class.STLGlobal class.STLImply class.Interface of a TemporalLogic formula.Specifies the type of the formula.TemporalNext<I>STLNext class.TemporalNot<I>STLTemporalNot class.TemporalOp<I>TemporalOr<I>The class representing the OR operator of temporal logic.STLRelease class.TemporalSub<I>STLUntil class.TimeoutEQOracle<I,O> Am equivalence oracle to add timeout in addition to the original oracle.A pair of time and values.