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

Author:

Ravi Mohan

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)
Sentence	getQuantified()
java.lang.String	getQuantifier()
java.util.List	getVariables()
java.util.List<java.lang.String>	getVariablesAsString()
int	hashCode()
void	setVariables(java.util.List<Variable> variables)
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

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

Specified by:

copy in interface FOLNode

getQuantified

public Sentence getQuantified()

getVariables

public java.util.List getVariables()

setVariables

public void setVariables(java.util.List<Variable> variables)

getQuantifier

public java.lang.String getQuantifier()

getVariablesAsString

public java.util.List<java.lang.String> getVariablesAsString()