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

Class RewriteSystem

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.RewriteSystem

public class RewriteSystem
extends Object

Author:

koller

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	RewriteSystem.Rule

Constructor Summary

Constructors

Constructor	Description
RewriteSystem(boolean oriented)

Method Summary

Modifier and Type	Method	Description
void	addRule(de.saar.chorus.term.Term lhs, de.saar.chorus.term.Term rhs, String annotation)
List<RewriteSystem.Rule>	getAllRules()
boolean	isOrdered()
String	toPrettyString()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

RewriteSystem

public RewriteSystem(boolean oriented)

Method Details

addRule

public void addRule(de.saar.chorus.term.Term lhs,
 de.saar.chorus.term.Term rhs,
 String annotation)

getAllRules

public List<RewriteSystem.Rule> getAllRules()

isOrdered

public boolean isOrdered()

toString

public String toString()

Overrides:

toString in class Object

toPrettyString

public String toPrettyString()