Package net.maswag.falcaun

Class DotMealyWrapper

java.lang.Object

net.maswag.falcaun.DotMealyWrapper

public class DotMealyWrapper
extends Object

This class provides construction of Mealy machine from DOT file

Author:

Tsubasa Matsumoto <tsubari96061@gmail.com>

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Set<LabeledEdge>	edges
(package private) String	fileName
(package private) net.automatalib.alphabet.Alphabet<String>	gamma
(package private) net.automatalib.alphabet.Alphabet<String>	sigma

Constructor Summary

Constructors

Constructor	Description
DotMealyWrapper(String fileName)

Method Summary

Modifier and Type	Method	Description
net.automatalib.automaton.transducer.impl.CompactMealy<String,String>	createMealy()
net.automatalib.automaton.transducer.impl.CompactMealy<String,String>	createMealy(Map<String,String> mapper)
Set<LabeledEdge>	getEdges()
void	readFromDot()
void	readInputSymbols()
void	readOutputSymbols()

Methods inherited from class java.lang.Object

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

Field Details

fileName

String fileName

edges

Set<LabeledEdge> edges

sigma

net.automatalib.alphabet.Alphabet<String> sigma

gamma

net.automatalib.alphabet.Alphabet<String> gamma

Constructor Details

DotMealyWrapper

public DotMealyWrapper(String fileName)
                throws IOException

Throws:

IOException

Method Details

readInputSymbols

public void readInputSymbols()
                      throws IOException

Throws:

IOException

readOutputSymbols

public void readOutputSymbols()
                       throws IOException

Throws:

IOException

readFromDot

public void readFromDot()
                 throws IOException

Throws:

IOException

createMealy

public net.automatalib.automaton.transducer.impl.CompactMealy<String,String> createMealy()

createMealy

public net.automatalib.automaton.transducer.impl.CompactMealy<String,String> createMealy(Map<String,String> mapper)

getEdges

public Set<LabeledEdge> getEdges()