aima.logic.fol.parsing.ast
Class Term

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

All Implemented Interfaces:

ParseTreeNode, FOLNode

Direct Known Subclasses:

Constant, Function, Variable

public abstract class Term
extends java.lang.Object
implements FOLNode

Constructor Summary

Term()

Method Summary

abstract Term

copy()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

accept, toString

Constructor Detail

Term

public Term()

Method Detail

copy

public abstract Term copy()

Specified by:

copy in interface FOLNode