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

Packages that use RewriteSystem

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

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

Methods in de.saar.chorus.domgraph.chart.lethal that return RewriteSystem

Modifier and Type	Method	Description
RewriteSystem	RewriteSystemSpecializer.specialize(RewriteSystem trs)
RewriteSystem	RewriteSystemSpecializer.specialize(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> termOrder)

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

Modifier and Type	Method	Description
void	RelativeNormalFormsComputer.addRewriteSystem(RewriteSystem trs)
void	RelativeNormalFormsComputer.addRewriteSystem(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> comparator)
void	RewriteSystemToTransducer.addRewriteSystem(RewriteSystem trs)
void	RewriteSystemToTransducer.addRewriteSystem(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> comparator)
static void	UtoolReducer.loadRewriteSystem(String filename, RewriteSystem weakening, RewriteSystem equivalence, Annotator annotator)
void	RewritingSystemParser.read(Reader reader, RewriteSystem weakening, RewriteSystem equivalence, Annotator annotator)
RewriteSystem	RewriteSystemSpecializer.specialize(RewriteSystem trs)
RewriteSystem	RewriteSystemSpecializer.specialize(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> termOrder)