Package net.maswag.falcaun

Class SGAMapper

java.lang.Object

net.maswag.falcaun.SGAMapper

All Implemented Interfaces:

Mapper<String,String,String,String>, Mapper.SynchronousMapper<String,String,String,String>, SULMapper<String,String,String,String>

public class SGAMapper
extends Object
implements SULMapper<String,String,String,String>

Output Mapper for Mealy machine 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 List<owl.automaton.Automaton<owl.translations.ltl2dela.NormalformDELAConstruction.State,?>>	automata
private final Map<String,String>	outputMapper

Constructor Summary

Constructors

Constructor	Description
SGAMapper(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial)

Method Summary

Modifier and Type	Method	Description
private void	createDELAs(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial)
private Map<String,String>	createOutputMapper(net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma)
String	mapInput(String abstractInput)
String	mapOutput(String concreteOutput)

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 de.learnlib.sul.SULMapper

canFork, fork, mapUnwrappedException, mapWrappedException

Field Details

outputMapper

private final Map<String,String> outputMapper

automata

private List<owl.automaton.Automaton<owl.translations.ltl2dela.NormalformDELAConstruction.State,?>> automata

Constructor Details

SGAMapper

public SGAMapper(List<TemporalLogic.LTLFormula> formulaList,
 net.automatalib.alphabet.Alphabet<String> sigma,
 net.automatalib.alphabet.Alphabet<String> gamma,
 boolean partial)

Method Details

mapInput

public String mapInput(String abstractInput)

Specified by:

mapInput in interface Mapper<String,String,String,String>

mapOutput

public String mapOutput(String concreteOutput)

Specified by:

mapOutput in interface Mapper<String,String,String,String>

createOutputMapper

private Map<String,String> createOutputMapper(net.automatalib.alphabet.Alphabet<String> sigma,
 net.automatalib.alphabet.Alphabet<String> gamma)

createDELAs

private void createDELAs(List<TemporalLogic.LTLFormula> formulaList,
 net.automatalib.alphabet.Alphabet<String> sigma,
 net.automatalib.alphabet.Alphabet<String> gamma,
 boolean partial)