aima.logic.fol.parsing.ast
Interface Sentence

All Superinterfaces:

FOLNode, ParseTreeNode

All Known Subinterfaces:

AtomicSentence

All Known Implementing Classes:

ConnectedSentence, NotSentence, Predicate, QuantifiedSentence, TermEquality

public interface Sentence
extends FOLNode

Method Summary

Sentence

copy()

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

accept, getArgs, getSymbolicName, isCompound

Method Detail

copy

Sentence copy()

Specified by:

copy in interface FOLNode