at.jku.risc.stout.uru.algo

Class UnifEquation

java.lang.Object

at.jku.risc.stout.uru.algo.UnifEquation

public class UnifEquation
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	PRINT_EQ_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
UnifEquation(TermNode left, TermNode right)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Substitution theta)
void	apply(Variable fromVar, TermNode toTerm)
void	collectHedgeVars(Set<HedgeVar> atoms)
UnifEquation	copy()
boolean	equals(Object obj)
long	getDerivationDepth()
TermNode	getLeft()
UnifEquation	getNext()
TermNode	getRight()
int	hashCode()
void	incDerivationDepth()
void	setDerivationDepth(long derivationDepth)
void	setLeft(TermNode left)
void	setNext(UnifEquation 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

UnifEquation

public UnifEquation(TermNode left,
            TermNode right)

Method Detail

apply

public void apply(Substitution theta)

apply

public void apply(Variable fromVar,
         TermNode toTerm)

collectHedgeVars

public void collectHedgeVars(Set<HedgeVar> atoms)

copy

public UnifEquation copy()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getDerivationDepth

public long getDerivationDepth()

getLeft

public TermNode getLeft()

getNext

public UnifEquation getNext()

getRight

public TermNode getRight()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

incDerivationDepth

public void incDerivationDepth()

setDerivationDepth

public void setDerivationDepth(long derivationDepth)

setLeft

public void setLeft(TermNode left)

setNext

public void setNext(UnifEquation next)

setRight

public void setRight(TermNode right)

swap

public void swap()

toString

public String toString()

Overrides:

toString in class Object