org.eclipse.palamedes.kif.core.ast
Class KIFTerm

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTNode
      org.eclipse.palamedes.kif.core.ast.KIFTerm

Direct Known Subclasses:

KIFFunTerm, KIFIndVar, KIFObjConst

public abstract class KIFTerm
extends ASTNode

Field Summary

Fields inherited from class org.eclipse.palamedes.kif.core.ast.ASTNode

COMMENT, CONJUNCTION, DISJUNCTION, FORM, FUNTERM, HORNSENT, IMPLICATION, INDVAR, LOGCONST, NEGATION, OBJCONST, OPERATOR, RELSENT, SEQUENCE

Method Summary

abstract java.lang.String	getName()
abstract KIFSeq<KIFTerm>	getTerms()

Methods inherited from class org.eclipse.palamedes.kif.core.ast.ASTNode

clone, copyMembers, equals, getAST, getInfixNotation, getNodeType, getPrefixNotation, getSourceLength, getSourceStart, hashCode, setSourceLength, setSourceStart, toString, traverse

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getName

public abstract java.lang.String getName()

getTerms

public abstract KIFSeq<KIFTerm> getTerms()