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

Class RewriteSystemToTransducer

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.RewriteSystemToTransducer

public class RewriteSystemToTransducer
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor	Description
RewriteSystemToTransducer(Annotator annotator)

Method Summary

Modifier and Type	Method	Description
void	addRewriteSystem(RewriteSystem trs)
void	addRewriteSystem(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> comparator)
de.saar.chorus.contexttransducer.ContextTreeTransducer<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.states.State>	convert(DomGraph graph, NodeLabels labels)

Methods inherited from class java.lang.Object

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

Constructor Details

RewriteSystemToTransducer

public RewriteSystemToTransducer(Annotator annotator)

Method Details

addRewriteSystem

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

addRewriteSystem

public void addRewriteSystem(RewriteSystem trs)

convert

public de.saar.chorus.contexttransducer.ContextTreeTransducer<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.states.State> convert(DomGraph graph,
 NodeLabels labels)