at.jku.risc.stout.hoau.data

Interface Equation

All Superinterfaces:

Cloneable

All Known Implementing Classes:

AntiUnifyProblem, PermEquivProblem

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
Equation	clone()
TermNode	getLeft() Returns the left hand side of the equation.
TermNode	getRight() Returns the right hand side of the equation.
void	setLeft(TermNode node) Sets the left hand side of the equation to the given TermNode.
void	setRight(TermNode node) Sets the right hand side of the equation to the given TermNode.

Method Detail

clone

Equation clone()

getLeft

TermNode getLeft()

Returns the left hand side of the equation.

getRight

TermNode getRight()

Returns the right hand side of the equation.

setLeft

void setLeft(TermNode node)

Sets the left hand side of the equation to the given TermNode.

setRight

void setRight(TermNode node)

Sets the right hand side of the equation to the given TermNode.