aima.logic.fol.parsing.ast
Class Constant

java.lang.Object
  aima.logic.fol.parsing.ast.Term
      aima.logic.fol.parsing.ast.Constant

All Implemented Interfaces:

ParseTreeNode, FOLNode

public class Constant
extends Term

Constructor Summary

Constant(java.lang.String s)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
java.lang.Object	clone()
Constant	copy()
boolean	equals(java.lang.Object o)
java.lang.String	getValue()
int	hashCode()
boolean	renamingEquals(Sentence s)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Constant

public Constant(java.lang.String s)

Method Detail

getValue

public java.lang.String getValue()

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

renamingEquals

public boolean renamingEquals(Sentence s)

toString

public java.lang.String toString()

Specified by:

toString in interface FOLNode

Overrides:

toString in class java.lang.Object

accept

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

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

copy

public Constant copy()

Specified by:

copy in interface FOLNode

Specified by:

copy in class Term