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

Class RewriteSystemSpecializer

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer

public class RewriteSystemSpecializer
extends Object

Author:

koller

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Collection<String>	getAllLabels()
List<String>	getSpecializedLabels(String label)
List<de.uni_muenster.cs.sev.lethal.symbol.standard.StdNamedRankedSymbol>	getSpecializedRankedSymbols(String label)
RewriteSystem	specialize(RewriteSystem trs)
RewriteSystem	specialize(RewriteSystem trs, Comparator<de.saar.chorus.term.Term> termOrder)

Methods inherited from class java.lang.Object

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

Constructor Details

RewriteSystemSpecializer

public RewriteSystemSpecializer(DomGraph graph,
 NodeLabels labels,
 Annotator annotator)

Method Details

getSpecializedLabels

public List<String> getSpecializedLabels(String label)

getSpecializedRankedSymbols

public List<de.uni_muenster.cs.sev.lethal.symbol.standard.StdNamedRankedSymbol> getSpecializedRankedSymbols(String label)

getAllLabels

public Collection<String> getAllLabels()

specialize

public RewriteSystem specialize(RewriteSystem trs)

specialize

public RewriteSystem specialize(RewriteSystem trs,
 Comparator<de.saar.chorus.term.Term> termOrder)