at.jku.risc.stout.tgau.algo

Class TermAUP

java.lang.Object

at.jku.risc.stout.tgau.util.PrintableX

at.jku.risc.stout.tgau.algo.BaseAUP

at.jku.risc.stout.tgau.algo.TermAUP

All Implemented Interfaces:

Printable, java.lang.Comparable<TermAUP>

public class TermAUP
extends BaseAUP
implements java.lang.Comparable<TermAUP>

This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Terms. The term nodes represent the left hand side and the right hand side of the equation.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
TermVar	generalizationVar
TermVar	left
TermVar	right

Fields inherited from class at.jku.risc.stout.tgau.algo.BaseAUP

PRINT_EQ_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
TermAUP(TermVar generalizationVar, TermVar left, TermVar right) Create an AUP with the given generalization variable and hedges.

Method Summary

Modifier and Type	Method and Description
int	compareTo(TermAUP o)
boolean	equals(java.lang.Object o)
Variable	getGeneralizationVar()
java.lang.Object	getLeft()
java.lang.Object	getRight()
int	hashCode()
void	print(java.io.Writer out)

Methods inherited from class at.jku.risc.stout.tgau.algo.BaseAUP

isCommutative

Methods inherited from class at.jku.risc.stout.tgau.util.PrintableX

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

generalizationVar

public TermVar generalizationVar

left

public TermVar left

right

public TermVar right

Constructor Detail

TermAUP

public TermAUP(TermVar generalizationVar,
               TermVar left,
               TermVar right)

Create an AUP with the given generalization variable and hedges.

Method Detail

compareTo

public int compareTo(TermAUP o)

Specified by:

compareTo in interface java.lang.Comparable<TermAUP>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getGeneralizationVar

public Variable getGeneralizationVar()

Specified by:

getGeneralizationVar in class BaseAUP

getLeft

public java.lang.Object getLeft()

Specified by:

getLeft in class BaseAUP

getRight

public java.lang.Object getRight()

Specified by:

getRight in class BaseAUP

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

print

public void print(java.io.Writer out)
           throws java.io.IOException

Specified by:

print in interface Printable

Throws:

java.io.IOException