aima.logic.fol.parsing.ast
Class QuantifiedSentence

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Sentence

public class QuantifiedSentence
extends java.lang.Object
implements Sentence

Constructor Summary

QuantifiedSentence(java.lang.String quantifier, java.util.List<Variable> variables, Sentence quantified)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
QuantifiedSentence	copy()
boolean	equals(java.lang.Object o)
java.util.List<FOLNode>	getArgs()
Sentence	getQuantified()
java.lang.String	getQuantifier()
java.lang.String	getSymbolicName()
java.util.List<Variable>	getVariables()
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

QuantifiedSentence

public QuantifiedSentence(java.lang.String quantifier,
                          java.util.List<Variable> variables,
                          Sentence quantified)

Method Detail

getQuantifier

public java.lang.String getQuantifier()

getVariables

public java.util.List<Variable> getVariables()

getQuantified

public Sentence getQuantified()

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<FOLNode> 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 QuantifiedSentence 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