Package de.saar.chorus.domgraph.chart.lethal

Class ChartToLethal

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.ChartToLethal

public class ChartToLethal
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor	Description
ChartToLethal()

Method Summary

Modifier and Type	Method	Description
static RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>>	convertFtaToChart(de.uni_muenster.cs.sev.lethal.treeautomata.generic.GenFTA<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.saar.chorus.contexttransducer.PairState<de.uni_muenster.cs.sev.lethal.states.State,String>> fta, DomGraph graph)
static de.uni_muenster.cs.sev.lethal.treeautomata.easy.EasyFTA	convertToFta(RegularTreeGrammar<SubgraphNonterminal> chart, DomGraph graph, NodeLabels labels)
static de.uni_muenster.cs.sev.lethal.grammars.generic.GenRTG<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.states.State>	convertToRtg(RegularTreeGrammar<SubgraphNonterminal> chart, DomGraph graph, NodeLabels labels)

Methods inherited from class java.lang.Object

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

Constructor Details

ChartToLethal

public ChartToLethal()

Method Details

convertToRtg

public static de.uni_muenster.cs.sev.lethal.grammars.generic.GenRTG<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.states.State> convertToRtg(RegularTreeGrammar<SubgraphNonterminal> chart,
 DomGraph graph,
 NodeLabels labels)

convertToFta

public static de.uni_muenster.cs.sev.lethal.treeautomata.easy.EasyFTA convertToFta(RegularTreeGrammar<SubgraphNonterminal> chart,
 DomGraph graph,
 NodeLabels labels)

convertFtaToChart

public static RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>> convertFtaToChart(de.uni_muenster.cs.sev.lethal.treeautomata.generic.GenFTA<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.saar.chorus.contexttransducer.PairState<de.uni_muenster.cs.sev.lethal.states.State,String>> fta,
 DomGraph graph)