aima.logic.fol.parsing.ast
Class TermEquality

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

All Implemented Interfaces:

ParseTreeNode, AtomicSentence, FOLNode, Sentence

public class TermEquality
extends java.lang.Object
implements AtomicSentence

Constructor Summary

TermEquality(Term term1, Term term2)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
TermEquality	copy()
boolean	equals(java.lang.Object o)
java.util.List<Term>	getArgs()
static java.lang.String	getEqualitySynbol()
java.lang.String	getSymbolicName()
Term	getTerm1()
Term	getTerm2()
int	hashCode()
boolean	isCompound()
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

getEqualitySynbol

public static java.lang.String getEqualitySynbol()

getTerm1

public Term getTerm1()

getTerm2

public Term getTerm2()

getSymbolicName

public java.lang.String getSymbolicName()

Specified by:

getSymbolicName in interface FOLNode

isCompound

public boolean isCompound()

Specified by:

isCompound in interface FOLNode

getArgs

public java.util.List<Term> getArgs()

Specified by:

getArgs in interface AtomicSentence

Specified by:

getArgs in interface FOLNode

accept

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

Specified by:

accept in interface FOLNode

copy

public TermEquality copy()

Specified by:

copy in interface AtomicSentence

Specified by:

copy in interface FOLNode

Specified by:

copy in interface Sentence

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object