aima.logic.fol.parsing.ast
Interface FOLNode

All Superinterfaces:

ParseTreeNode

All Known Subinterfaces:

Sentence

All Known Implementing Classes:

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

public interface FOLNode
extends ParseTreeNode

Author:

Ravi Mohan

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
FOLNode	copy()
java.lang.String	toString()

Method Detail

accept

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

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

copy

FOLNode copy()