aima.logic.fol.parsing.ast
Interface FOLNode

All Superinterfaces:

ParseTreeNode

All Known Subinterfaces:

AtomicSentence, Sentence, Term

All Known Implementing Classes:

ConnectedSentence, Constant, Function, NotSentence, Predicate, QuantifiedSentence, TermEquality, Variable

public interface FOLNode
extends ParseTreeNode

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
FOLNode	copy()
java.util.List<? extends FOLNode>	getArgs()
java.lang.String	getSymbolicName()
boolean	isCompound()

Method Detail

getSymbolicName

java.lang.String getSymbolicName()

isCompound

boolean isCompound()

getArgs

java.util.List<? extends FOLNode> getArgs()

accept

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

copy

FOLNode copy()