aima.logic.fol.parsing.ast
Class Predicate

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Sentence

public class Predicate
extends java.lang.Object
implements Sentence

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.lang.String	getPredicateName()
java.util.List	getTerms()
int	hashCode()
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 getTerms()

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 Predicate copy()

Specified by:

copy in interface FOLNode