aima.logic.fol.parsing.ast
Class ConnectedSentence

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Sentence

public class ConnectedSentence
extends java.lang.Object
implements Sentence

Constructor Summary

ConnectedSentence(java.lang.String connector, Sentence first, Sentence second)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
ConnectedSentence	copy()
boolean	equals(java.lang.Object o)
java.util.List<Sentence>	getArgs()
java.lang.String	getConnector()
Sentence	getFirst()
Sentence	getSecond()
java.lang.String	getSymbolicName()
int	hashCode()
boolean	isCompound()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConnectedSentence

public ConnectedSentence(java.lang.String connector,
                         Sentence first,
                         Sentence second)

Method Detail

getConnector

public java.lang.String getConnector()

getFirst

public Sentence getFirst()

getSecond

public Sentence getSecond()

getSymbolicName

public java.lang.String getSymbolicName()

Specified by:

getSymbolicName in interface FOLNode

isCompound

public boolean isCompound()

Specified by:

isCompound in interface FOLNode

getArgs

public java.util.List<Sentence> getArgs()

Specified by:

getArgs in interface FOLNode

accept

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

Specified by:

accept in interface FOLNode

copy

public ConnectedSentence copy()

Specified by:

copy in interface FOLNode

Specified by:

copy in interface Sentence

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