aima.logic.fol.parsing.ast
Class ParanthizedSentence

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Sentence

Direct Known Subclasses:

ConnectedSentence

public class ParanthizedSentence
extends java.lang.Object
implements Sentence

Author:

Ravi Mohan

Constructor Summary

protected	ParanthizedSentence()
	ParanthizedSentence(Sentence sen)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
FOLNode	copy()
boolean	equals(java.lang.Object o)
Sentence	getParanthized()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ParanthizedSentence

protected ParanthizedSentence()

ParanthizedSentence

public ParanthizedSentence(Sentence sen)

Method Detail

getParanthized

public Sentence getParanthized()

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

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)

Specified by:

accept in interface FOLNode

copy

public FOLNode copy()

Specified by:

copy in interface FOLNode