at.jku.risc.stout.urauc.data

Interface Equation

All Known Implementing Classes:

AntiUnifyProblem

public interface Equation

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 right hedge of the equation.
Hedge	getLeft() The left hedge of the equation.
Hedge	getRight() The right hedge of the equation.
void	init() This method is called automatically by the input parser after a new equation has been created.

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 right hedge of the equation.

getLeft

Hedge getLeft()

The left hedge of the equation.

getRight

Hedge getRight()

The right hedge of the equation.

init

void init()

This method is called automatically by the input parser after a new equation has been created. Override this method to implement an initialization for every newly generated equation.