at.jku.risc.stout.nau.data

Class Equation<T extends Printable>

java.lang.Object

at.jku.risc.stout.nau.util.Printable

at.jku.risc.stout.nau.data.Equation<T>

All Implemented Interfaces:

DeepCopy<Equation<T>>

Direct Known Subclasses:

AntiUnifyProblem, EquivarianceProblem

public abstract class Equation<T extends Printable>
extends Printable
implements DeepCopy<Equation<T>>

An equation consists of two NominalTerms.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
Equation(T left, T right) An equation consists of two terms, which are called the left and the right part of the equation, respectively.

Method Summary

Methods

Modifier and Type	Method and Description
T	getLeft() Returns the left part of the equation.
T	getRight() Returns the right part of the equation.
void	setLeft(T left) Changes the left part of the equation.
void	setRight(T right) Changes the right part of the equation.

Methods inherited from class at.jku.risc.stout.nau.util.Printable

printString, printString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface at.jku.risc.stout.nau.util.DeepCopy

deepCopy

Constructor Detail

Equation

public Equation(T left,
        T right)

An equation consists of two terms, which are called the left and the right part of the equation, respectively.

Method Detail

getLeft

public T getLeft()

Returns the left part of the equation.

getRight

public T getRight()

Returns the right part of the equation.

setLeft

public void setLeft(T left)

Changes the left part of the equation.

setRight

public void setRight(T right)

Changes the right part of the equation.