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>
Output Mapper for Mealy machine based on Specification-Guided Abstraction.
- Author:
- Tsubasa Matsumoto <tsubari96061@gmail.com>
-
Nested Class Summary
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionSGAMapper(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial) -
Method Summary
Modifier and TypeMethodDescriptionprivate voidcreateDELAs(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial) createOutputMapper(net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma) Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface de.learnlib.sul.SULMapper
canFork, fork, mapUnwrappedException, mapWrappedException
-
Field Details
-
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
-
mapOutput
-
createOutputMapper
-
createDELAs
private void createDELAs(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial)
-