aima.logic.propositional.parsing.ast
Class UnarySentence

java.lang.Object
  aima.logic.propositional.parsing.ast.Sentence
      aima.logic.propositional.parsing.ast.ComplexSentence
          aima.logic.propositional.parsing.ast.UnarySentence

All Implemented Interfaces:

ParseTreeNode

public class UnarySentence
extends ComplexSentence

Constructor Summary

UnarySentence(Sentence negated)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

UnarySentence

public UnarySentence(Sentence negated)

Method Detail

getNegated

public Sentence getNegated()

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

accept

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

Specified by:

accept in class Sentence