aima.logic.propositional.parsing.ast
Class Symbol

java.lang.Object
  aima.logic.propositional.parsing.ast.Sentence
      aima.logic.propositional.parsing.ast.AtomicSentence
          aima.logic.propositional.parsing.ast.Symbol

All Implemented Interfaces:

ParseTreeNode

public class Symbol
extends AtomicSentence

Constructor Summary

Symbol(java.lang.String value)

Method Summary

java.lang.Object	accept(PLVisitor plv, java.lang.Object arg)
boolean	equals(java.lang.Object o)
java.lang.String	getValue()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Symbol

public Symbol(java.lang.String value)

Method Detail

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

getValue

public java.lang.String getValue()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public java.lang.Object accept(PLVisitor plv,
                               java.lang.Object arg)

Specified by:

accept in class Sentence