Package net.maswag.falcaun

Class NumericSULMapperWithSGA

java.lang.Object

net.maswag.falcaun.PostComposedSignalDiscretizer

net.maswag.falcaun.NumericSULMapperWithSGA

All Implemented Interfaces:

Mapper<String,String,List<Double>,IOSignalPiece<List<Double>>>, Mapper.SynchronousMapper<String,String,List<Double>,IOSignalPiece<List<Double>>>, SULMapper<String,String,List<Double>,IOSignalPiece<List<Double>>>, SignalDiscretizer

public class NumericSULMapperWithSGA
extends PostComposedSignalDiscretizer

Output Mapper for NumericSUL based on Specification-Guided Abstraction.

Author:

Tsubasa Matsumoto <tsubari96061@gmail.com>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.Mapper

Mapper.AsynchronousMapper<AI extends Object,AO extends Object,CI extends Object,CO extends Object>, Mapper.SynchronousMapper<AI extends Object,AO extends Object,CI extends Object,CO extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<String,String>	postOutputMapper

Constructor Summary

Constructors

Constructor	Description
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)

Method Summary

Modifier and Type	Method	Description
Optional<Map<String,String>>	getPostOutputMapper()	Provides an optional mapping to transform abstract output strings.
String	mapAbstractOutput(String s)
String	mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an abstract output string.

Methods inherited from class net.maswag.falcaun.PostComposedSignalDiscretizer

constructAbstractAlphabet, constructConcreteAlphabet, mapConcrete, mapInput, setDiscretizer, setPostMapper

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.Mapper

post, pre

Methods inherited from interface net.maswag.falcaun.SignalDiscretizer

mapInput, mapInputs

Methods inherited from interface de.learnlib.sul.SULMapper

canFork, fork, mapUnwrappedException, mapWrappedException

Field Details

postOutputMapper

private final Map<String,String> postOutputMapper

Constructor Details

NumericSULMapperWithSGA

public NumericSULMapperWithSGA(List<Map<Character,Double>> inputMapper,
 List<Character> largestOutputs,
 List<Map<Character,Double>> outputMapper,
 SignalMapper sigMap,
 List<TemporalLogic.STLCost> formulaList,
 boolean partial)

NumericSULMapperWithSGA

public NumericSULMapperWithSGA(List<Map<Character,Double>> inputMapper,
 OutputMapper outputMapper,
 SignalMapper sigMap,
 List<TemporalLogic.STLCost> formulaList,
 boolean partial)

NumericSULMapperWithSGA

@Deprecated
public NumericSULMapperWithSGA(List<Map<Character,Double>> inputMapper,
 OutputMapperReader outputMapperReader,
 SignalMapper sigMap,
 List<TemporalLogic.STLCost> formulaList,
 boolean partial)

Deprecated.

Method Details

mapOutput

public String mapOutput(IOSignalPiece<List<Double>> concreteIO)

Description copied from class: PostComposedSignalDiscretizer

Maps a concrete IOSignalPiece to an abstract output string.

Specified by:

mapOutput in interface Mapper<String,String,List<Double>,IOSignalPiece<List<Double>>>

Specified by:

mapOutput in interface SignalDiscretizer

Overrides:

mapOutput in class PostComposedSignalDiscretizer

Parameters:

concreteIO - The concrete IOSignalPiece to map.

Returns:

The abstract output string corresponding to the concrete output.

mapAbstractOutput

public String mapAbstractOutput(String s)

getPostOutputMapper

public Optional<Map<String,String>> getPostOutputMapper()

Description copied from interface: SignalDiscretizer

Provides an optional mapping to transform abstract output strings.

Returns:

An Optional containing the post-output mapper if available, otherwise Optional.empty().