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

Class RelativeNormalFormsComputer

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer

public class RelativeNormalFormsComputer
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor	Description
RelativeNormalFormsComputer(Annotator annotator)

Method Summary

Modifier and Type	Method	Description
void	addRewriteSystem(RewriteSystem trs)
void	addRewriteSystem(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> comparator)
static long	countFtaTrees(de.uni_muenster.cs.sev.lethal.treeautomata.common.AbstractFTA fta)
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>>	reduce(Chart chart, DomGraph graph, NodeLabels labels)
RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>>	reduceToChart(Chart chart, DomGraph graph, NodeLabels labels)
void	setVerbose(boolean v)
static long	theircountFtaTrees(de.uni_muenster.cs.sev.lethal.treeautomata.common.FTA fta)

Methods inherited from class java.lang.Object

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

Constructor Details

RelativeNormalFormsComputer

public RelativeNormalFormsComputer(Annotator annotator)

Method Details

addRewriteSystem

public void addRewriteSystem(RewriteSystem trs)

addRewriteSystem

public void addRewriteSystem(RewriteSystem trs,
 Comparator<de.saar.chorus.term.Term> comparator)

setVerbose

public void setVerbose(boolean v)

reduce

public 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>> reduce(Chart chart,
 DomGraph graph,
 NodeLabels labels)

theircountFtaTrees

public static long theircountFtaTrees(de.uni_muenster.cs.sev.lethal.treeautomata.common.FTA fta)

countFtaTrees

public static long countFtaTrees(de.uni_muenster.cs.sev.lethal.treeautomata.common.AbstractFTA fta)

reduceToChart

public RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>> reduceToChart(Chart chart,
 DomGraph graph,
 NodeLabels labels)