aima.logic.fol.parsing.ast
Class Predicate

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

All Implemented Interfaces:

ParseTreeNode, AtomicSentence, FOLNode, Sentence

public class Predicate
extends java.lang.Object
implements AtomicSentence

Constructor Summary

Predicate(java.lang.String predicateName, java.util.List<Term> terms)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
Predicate	copy()
boolean	equals(java.lang.Object o)
java.util.List<Term>	getArgs()
java.lang.String	getPredicateName()
java.lang.String	getSymbolicName()
java.util.List<Term>	getTerms()
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

Predicate

public Predicate(java.lang.String predicateName,
                 java.util.List<Term> terms)

Method Detail

getPredicateName

public java.lang.String getPredicateName()

getTerms

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

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 Predicate 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