at.jku.risc.stout.hoau.algo

Class PermEquivProblem

java.lang.Object

at.jku.risc.stout.hoau.algo.PermEquivProblem

All Implemented Interfaces:

Equation, Cloneable

public class PermEquivProblem
extends Object
implements Equation

This class represents a matching problem of two TermNodes. This sort of matching problems are used by the rule based system PermEquivSystem.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
PermEquivProblem()

Method Summary

Methods

Modifier and Type	Method and Description
void	abstrLambda() Abstracts the lambda bound variables of both sides of the equation.
PermEquivProblem	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.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PermEquivProblem

public PermEquivProblem()

Method Detail

abstrLambda

public void abstrLambda()

Abstracts the lambda bound variables of both sides of the equation. The top atom of both sides has to be a lambda atom!

clone

public PermEquivProblem clone()

Specified by:

clone in interface Equation

Overrides:

clone in class Object

getLeft

public TermNode getLeft()

Description copied from interface: Equation

Returns the left hand side of the equation.

Specified by:

getLeft in interface Equation

getRight

public TermNode getRight()

Description copied from interface: Equation

Returns the right hand side of the equation.

Specified by:

getRight in interface Equation

setLeft

public void setLeft(TermNode node)

Description copied from interface: Equation

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

Specified by:

setLeft in interface Equation

setRight

public void setRight(TermNode node)

Description copied from interface: Equation

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

Specified by:

setRight in interface Equation

toString

public String toString()

Overrides:

toString in class Object