Uses of Class
net.maswag.falcaun.OutputMapper
Packages that use OutputMapper
Package
Description
FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
-
Uses of OutputMapper in net.maswag.falcaun
Fields in net.maswag.falcaun declared as OutputMapperModifier and TypeFieldDescriptionprivate final OutputMapperOutputMapperReader.delegateDeprecated.Constructors in net.maswag.falcaun with parameters of type OutputMapperModifierConstructorDescriptionNumericSULMapper(List<Map<Character, Double>> inputMapper, OutputMapper outputMapper, SignalMapper sigMap) Constructor for NumericSULMapper.NumericSULMapperWithSGA(List<Map<Character, Double>> inputMapper, OutputMapper outputMapper, SignalMapper sigMap, List<TemporalLogic.STLCost> formulaList, boolean partial) SignalAdapter(InputMapper inputMapper, OutputMapper outputMapper) Constructor for SignalAdapter without SignalMapper. -
Uses of OutputMapper in net.maswag.falcaun.parser
Methods in net.maswag.falcaun.parser with parameters of type OutputMapperModifier and TypeMethodDescriptionSTLFactory.parse(String stlFormula, List<Map<Character, Double>> inputMapper, OutputMapper outputMapper) parse an STL formula using an output mapper object(package private) voidSTLOutputAtomic.setMapper(OutputMapper mapper)