Uses of Interface
net.maswag.falcaun.SignalMapper

Packages that use SignalMapper

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.

Uses of SignalMapper in net.maswag.falcaun

Classes in net.maswag.falcaun that implement SignalMapper

Modifier and Type	Class	Description
class	ExtendedSignalMapper	Class to construct pseudo signals from concrete signals
class	SimpleSignalMapper	Class to construct pseudo signals from concrete signals

Fields in net.maswag.falcaun declared as SignalMapper

Modifier and Type	Field	Description
(package private) SignalMapper	ArgParser.sigMap
private final SignalMapper	SignalDeriver.sigMap

Methods in net.maswag.falcaun that return SignalMapper

Modifier and Type	Method	Description
static SignalMapper	SimpleSignalMapper.parse(BufferedReader reader)	Get SignalMapper by parsing from a BufferedReader
static SignalMapper	SimpleSignalMapper.parse(String filename)	Get SignalMapper by parsing the given file
static SignalMapper	SimpleSignalMapper.parse(List<String> mapperDefinitions)	Get SignalMapper by parsing a list of strings.

Constructors in net.maswag.falcaun with parameters of type SignalMapper

Modifier	Constructor	Description
	NumericSULMapper(List<Map<Character,Double>> inputMapper, List<Character> largestOutputs, List<Map<Character,Double>> outputMapper, SignalMapper sigMap)	Constructor for NumericSULMapper.
	NumericSULMapper(List<Map<Character,Double>> inputMapper, OutputMapperReader outputMapperReader, SignalMapper sigMap)	Deprecated. Use NumericSULMapper with InputMapper and OutputMapper instead.
	NumericSULMapper(List<Map<Character,Double>> inputMapper, OutputMapper outputMapper, SignalMapper sigMap)	Constructor for NumericSULMapper.
	NumericSULMapperWithSGA(List<Map<Character,Double>> inputMapper, List<Character> largestOutputs, List<Map<Character,Double>> outputMapper, SignalMapper sigMap, List<TemporalLogic.STLCost> formulaList, boolean partial)
	NumericSULMapperWithSGA(List<Map<Character,Double>> inputMapper, OutputMapperReader outputMapperReader, SignalMapper sigMap, List<TemporalLogic.STLCost> formulaList, boolean partial)	Deprecated.
	NumericSULMapperWithSGA(List<Map<Character,Double>> inputMapper, OutputMapper outputMapper, SignalMapper sigMap, List<TemporalLogic.STLCost> formulaList, boolean partial)
	SignalDeriver(@NonNull SignalMapper sigMap)	Constructor for SignalDeriver.