at.jku.risc.stout.urmc.algo

Class MatchEquation

java.lang.Object

at.jku.risc.stout.urmc.algo.MatchEquation

public class MatchEquation
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	PRINT_EQ_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
MatchEquation(TermNode left, TermNode right)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Substitution theta)
void	apply(Variable fromVar, TermNode toTerm)
MatchEquation	copy()
boolean	equals(Object obj)
TermNode	getLeft()
MatchEquation	getNext()
TermNode	getRight()
int	hashCode()
void	setLeft(TermNode left)
void	setNext(MatchEquation next)
void	setRight(TermNode right)
void	swap()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

PRINT_EQ_SEPARATOR

public static String PRINT_EQ_SEPARATOR

Constructor Detail

MatchEquation

public MatchEquation(TermNode left,
             TermNode right)

Method Detail

apply

public void apply(Substitution theta)

apply

public void apply(Variable fromVar,
         TermNode toTerm)

copy

public MatchEquation copy()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getLeft

public TermNode getLeft()

getNext

public MatchEquation getNext()

getRight

public TermNode getRight()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

setLeft

public void setLeft(TermNode left)

setNext

public void setNext(MatchEquation next)

setRight

public void setRight(TermNode right)

swap

public void swap()

toString

public String toString()

Overrides:

toString in class Object