aima.logic.fol.parsing.ast
Class Variable

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Term

public class Variable
extends java.lang.Object
implements Term

Constructor Summary

Variable(java.lang.String s)

Variable(java.lang.String s, int idx)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
Variable	copy()
boolean	equals(java.lang.Object o)
java.util.List<Term>	getArgs()
java.lang.String	getIndexedValue()
int	getIndexical()
java.lang.String	getSymbolicName()
java.lang.String	getValue()
int	hashCode()
boolean	isCompound()
void	setIndexical(int idx)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Variable

public Variable(java.lang.String s)

Variable

public Variable(java.lang.String s,
                int idx)

Method Detail

getValue

public java.lang.String getValue()

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

Specified by:

getArgs in interface FOLNode

Specified by:

getArgs in interface Term

accept

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

Specified by:

accept in interface FOLNode

copy

public Variable copy()

Specified by:

copy in interface FOLNode

Specified by:

copy in interface Term

getIndexical

public int getIndexical()

setIndexical

public void setIndexical(int idx)

getIndexedValue

public java.lang.String getIndexedValue()

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