aima.logic.fol.parsing.ast
Interface AtomicSentence

All Superinterfaces:

FOLNode, ParseTreeNode, Sentence

All Known Implementing Classes:

Predicate, TermEquality

public interface AtomicSentence
extends Sentence

Method Summary

AtomicSentence	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

AtomicSentence copy()

Specified by:

copy in interface FOLNode

Specified by:

copy in interface Sentence