Uses of Package
net.maswag.falcaun
Packages that use net.maswag.falcaun
-
Classes in net.maswag.falcaun used by net.maswag.falcaunClassDescriptionAbstract class for potentially adaptive set of STL formulasAbstract AbstractSelectEQOracle class.Abstract TemporalLogic class.Interface 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.EQSearchProblem 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
ExtendedSignalMapperVisitor, 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.HillClimbingEQOracle class.A signal with continuous output values.A signal with both input and output values.A pair of input and output signals at one time step.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.This interface defines a complete generic visitor for a parse tree produced byLTLParser.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).Signal of SimulinkInterface to construct pseudo signals from concrete signalsThis 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.Raw Simulink model.Enum for the interpolation methods of the input signalThe System Under Learning implemented by a Simulink.STLAtomic class.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.This interface defines a complete listener for a parse tree produced bySTLParser.This interface defines a complete generic visitor for a parse tree produced bySTLParser.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.STLNext class.STLTemporalNot class.The class representing the OR operator of temporal logic.STLRelease class.STLUntil class.Am equivalence oracle to add timeout in addition to the original oracle.A pair of time and values.