aima.logic.fol.parsing.ast
Class NotSentence

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Sentence

public class NotSentence
extends java.lang.Object
implements Sentence

Constructor Summary

NotSentence(Sentence negated)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
FOLNode	copy()
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

NotSentence

public NotSentence(Sentence negated)

Method Detail

getNegated

public Sentence getNegated()

copy

public FOLNode copy()

Specified by:

copy in interface FOLNode

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