Package net.maswag.falcaun

Class PreComposedSignalDiscretizer

java.lang.Object

net.maswag.falcaun.PreComposedSignalDiscretizer

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>>>, ComponentWiseSignalDiscretizer, SignalDiscretizer

Direct Known Subclasses:

NumericSULMapper

public class PreComposedSignalDiscretizer
extends Object
implements ComponentWiseSignalDiscretizer

SignalDiscretizer pre-composed with an SULMapper

This class allows for the composition of a SignalDiscretizer with another SULMapper. We assume that the SULMapper does not change the input values (i.e., it acts as an identity function on inputs), a property that is enforced in mapInput(String). The preMapper may, however, derive additional signals in the outputs, which are then discretized by the underlying ComponentWiseSignalDiscretizer.

Author:

Masaki Waga <masakiwaga@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 ComponentWiseSignalDiscretizer	discretizer
private final SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>	preMapper

Constructor Summary

Constructors

Constructor	Description
PreComposedSignalDiscretizer(@NonNull ComponentWiseSignalDiscretizer discretizer, @NonNull SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper)	Constructor for PreComposedSignalDiscretizer.

Method Summary

Modifier and Type	Method	Description
net.automatalib.alphabet.Alphabet<String>	constructAbstractAlphabet()	Constructs an abstract alphabet from the input mappings.
net.automatalib.alphabet.Alphabet<List<Double>>	constructConcreteAlphabet()	Constructs a concrete alphabet from the input mappings.
List<List<Character>>	getAbstractOutputs()
List<Character>	getLargestOutputs()
List<Double>	mapConcrete(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to a list of concrete output values.
List<Double>	mapInput(String s)	Maps an abstract input string to a concrete list of double values.
String	mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an abstract output string.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.maswag.falcaun.ComponentWiseSignalDiscretizer

postCompose, preCompose

Methods inherited from interface de.learnlib.Mapper

post, pre

Methods inherited from interface net.maswag.falcaun.SignalDiscretizer

getPostOutputMapper, mapInput, mapInputs

Methods inherited from interface de.learnlib.sul.SULMapper

canFork, fork, mapUnwrappedException, mapWrappedException

Field Details

discretizer

private final ComponentWiseSignalDiscretizer discretizer

preMapper

private final SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper

Constructor Details

PreComposedSignalDiscretizer

public PreComposedSignalDiscretizer(@NonNull
 @NonNull ComponentWiseSignalDiscretizer discretizer,
 @NonNull
 @NonNull SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper)

Constructor for PreComposedSignalDiscretizer.

Parameters:

discretizer - The SignalDiscretizer to use for mapping.

preMapper - The SULMapper to pre-compose with the discretizer.

Method Details

mapInput

public List<Double> mapInput(String s)

Description copied from interface: SignalDiscretizer

Maps an abstract input string to a concrete list of double values.

Specified by:

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

Specified by:

mapInput in interface SignalDiscretizer

Parameters:

s - The abstract input string to map.

Returns:

The concrete list of double values corresponding to the input string.

mapOutput

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

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

Parameters:

concreteIO - The concrete IOSignalPiece to map.

Returns:

The abstract output string corresponding to the concrete output.

mapConcrete

public List<Double> mapConcrete(IOSignalPiece<List<Double>> concreteIO)

Maps a concrete IOSignalPiece to a list of concrete output values.

Specified by:

mapConcrete in interface SignalDiscretizer

Parameters:

concreteIO - The concrete IOSignalPiece to map.

Returns:

The list of concrete output values.

constructAbstractAlphabet

public net.automatalib.alphabet.Alphabet<String> constructAbstractAlphabet()

Constructs an abstract alphabet from the input mappings.

Specified by:

constructAbstractAlphabet in interface SignalDiscretizer

Returns:

The abstract alphabet.

constructConcreteAlphabet

public net.automatalib.alphabet.Alphabet<List<Double>> constructConcreteAlphabet()

Constructs a concrete alphabet from the input mappings.

Specified by:

constructConcreteAlphabet in interface SignalDiscretizer

Returns:

The concrete alphabet.

getLargestOutputs

public List<Character> getLargestOutputs()

Specified by:

getLargestOutputs in interface ComponentWiseSignalDiscretizer

Returns:

The largest concrete output values for each component

getAbstractOutputs

public List<List<Character>> getAbstractOutputs()

Specified by:

getAbstractOutputs in interface ComponentWiseSignalDiscretizer

Returns:

The list of possible abstract output characters for each component