aima.logic.fol.parsing.ast
Interface Term

All Superinterfaces:

FOLNode, ParseTreeNode

All Known Implementing Classes:

Constant, Function, Variable

public interface Term
extends FOLNode

Method Summary

Term	copy()
java.util.List<Term>	getArgs()

Methods inherited from interface aima.logic.fol.parsing.ast.FOLNode

accept, getSymbolicName, isCompound

Method Detail

getArgs

java.util.List<Term> getArgs()

Specified by:

getArgs in interface FOLNode

copy

Term copy()

Specified by:

copy in interface FOLNode