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

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTNode
      org.eclipse.palamedes.kif.core.ast.KIFForm
          org.eclipse.palamedes.gdl.core.ast.GDLForm

public class GDLForm
extends KIFForm

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

KIFSeq<KIFTerm>	getInitArguments() This method returns the function terms of a init predicate.
KIFSeq<KIFSent>	getRawGeneral()
KIFSeq<Init>	getRawInits() This method returns all init sentences.
KIFSeq<KIFSent>	getRawOthers()
KIFSeq<Role>	getRawRoles() This method returns all role sentences.
KIFSeq<RuleGeneral>	getRawRuleGeneral()
KIFSeq<RuleGoal>	getRawRuleGoal()
KIFSeq<RuleLegal>	getRawRuleLegal()
KIFSeq<RuleNext>	getRawRuleNext()
KIFSeq<RuleTerminal>	getRawRuleTerminal()
java.lang.String[]	getRoleNames() This method returns the names of the roles.
KIFSeq<KIFObjConst>	getRoleObjConst() This method returns all role object constants.

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

copyMembers, getChildren, getComments, getImplications, getSentences, hasChildren, isEmpty, toString, traverse

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

getInitArguments

public KIFSeq<KIFTerm> getInitArguments()

This method returns the function terms of a init predicate.

Returns:

Array of name strings

getRawInits

public KIFSeq<Init> getRawInits()

This method returns all init sentences.

getRawRoles

public KIFSeq<Role> getRawRoles()

This method returns all role sentences.

getRawRuleGeneral

public KIFSeq<RuleGeneral> getRawRuleGeneral()

getRawGeneral

public KIFSeq<KIFSent> getRawGeneral()

getRawRuleGoal

public KIFSeq<RuleGoal> getRawRuleGoal()

getRawRuleLegal

public KIFSeq<RuleLegal> getRawRuleLegal()

getRawRuleNext

public KIFSeq<RuleNext> getRawRuleNext()

getRawRuleTerminal

public KIFSeq<RuleTerminal> getRawRuleTerminal()

getRawOthers

public KIFSeq<KIFSent> getRawOthers()

getRoleNames

public java.lang.String[] getRoleNames()

This method returns the names of the roles.

Returns:

Array of name strings

getRoleObjConst

public KIFSeq<KIFObjConst> getRoleObjConst()

This method returns all role object constants.