at.jku.risc.stout.urau.data

Interface Equation

All Superinterfaces:

Cloneable

All Known Implementing Classes:

AntiUnifyProblem

public interface Equation
extends Cloneable

Interface for equations which consist of two TermNodes.

Author:

Alexander Baumgartner

Method Summary

Methods

Modifier and Type	Method and Description
void	addLeft(TermNode node) Adds a TermNode to the left hedge of the equation.
void	addRight(TermNode node) Adds a TermNode to the left hedge of the equation.
Equation	clone()
TermNode	getLeft() The left hedge of the equation.
TermNode	getRight() The right hedge of the equation.

Method Detail

addLeft

void addLeft(TermNode node)

Adds a TermNode to the left hedge of the equation.

addRight

void addRight(TermNode node)

Adds a TermNode to the left hedge of the equation.

clone

Equation clone()

getLeft

TermNode getLeft()

The left hedge of the equation.

getRight

TermNode getRight()

The right hedge of the equation.