Uses of Class
de.saar.chorus.domgraph.chart.lethal.Annotator

Packages that use Annotator

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

Uses of Annotator in de.saar.chorus.domgraph.chart.lethal

Methods in de.saar.chorus.domgraph.chart.lethal with parameters of type Annotator

Modifier and Type	Method	Description
static void	UtoolReducer.loadRewriteSystem(String filename, RewriteSystem weakening, RewriteSystem equivalence, Annotator annotator)
void	RewritingSystemParser.read(Reader reader, RewriteSystem weakening, RewriteSystem equivalence, Annotator annotator)

Constructors in de.saar.chorus.domgraph.chart.lethal with parameters of type Annotator

Modifier	Constructor	Description
	RelativeNormalFormsComputer(Annotator annotator)
	RewriteSystemSpecializer(DomGraph graph, NodeLabels labels, Annotator annotator)
	RewriteSystemToTransducer(Annotator annotator)