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

Class RewriteSystem.Rule

java.lang.Object

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

Enclosing class:

RewriteSystem

public static class RewriteSystem.Rule
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
String	annotation
de.saar.chorus.term.Term	lhs
boolean	oriented
de.saar.chorus.term.Term	rhs

Constructor Summary

Constructors

Constructor	Description
Rule(de.saar.chorus.term.Term lhs, de.saar.chorus.term.Term rhs, String annotation, boolean oriented)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Set<String>	getAllLabels()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

lhs

public de.saar.chorus.term.Term lhs

rhs

public de.saar.chorus.term.Term rhs

annotation

public String annotation

oriented

public boolean oriented

Constructor Details

Rule

public Rule(de.saar.chorus.term.Term lhs,
 de.saar.chorus.term.Term rhs,
 String annotation,
 boolean oriented)

Method Details

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getAllLabels

public Set<String> getAllLabels()