aima.logic.fol.parsing.ast
Class TermEquality

java.lang.Object
  aima.logic.fol.parsing.ast.TermEquality

All Implemented Interfaces:

ParseTreeNode, FOLNode, Sentence

public class TermEquality
extends java.lang.Object
implements Sentence

Constructor Summary

TermEquality(Term term1, Term term2)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
FOLNode	copy()
boolean	equals(java.lang.Object o)
Term	getTerm1()
Term	getTerm2()
int	hashCode()
void	setTerm1(Sentence term1)
void	setTerm2(Sentence term2)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TermEquality

public TermEquality(Term term1,
                    Term term2)

Method Detail

setTerm1

public void setTerm1(Sentence term1)

setTerm2

public void setTerm2(Sentence term2)

getTerm1

public Term getTerm1()

getTerm2

public Term getTerm2()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

accept

public java.lang.Object accept(FOLVisitor v,
                               java.lang.Object arg)

Specified by:

accept in interface FOLNode

toString

public java.lang.String toString()

Specified by:

toString in interface FOLNode

Overrides:

toString in class java.lang.Object

copy

public FOLNode copy()

Specified by:

copy in interface FOLNode