org.eclipse.palamedes.gdl.core.ast
Class Does

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTNode
      org.eclipse.palamedes.kif.core.ast.KIFSent
          org.eclipse.palamedes.kif.core.ast.KIFRelSent
              org.eclipse.palamedes.gdl.core.ast.Does

public class Does
extends KIFRelSent

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

KIFFunTerm

getFluent()

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

copyMembers, getName, getOperandCount, getOperands, getTerms, setConstName, toString, traverse

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

getLeadingComment, setLeadingComment

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

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

Methods inherited from class java.lang.Object

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

Method Detail

getFluent

public KIFFunTerm getFluent()