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

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.AST
      org.eclipse.palamedes.gdl.core.ast.GDLAST

public class GDLAST
extends AST

Constructor Summary

GDLAST()

Method Summary

static boolean	isKeyword(java.lang.String symbol) Returns true if the given string is a GDL keyword; otherwise false.
KIFForm	newForm()
KIFForm	newForm(KIFSeq<KIFSent> sentences)
KIFImplication	newImplication(KIFSent sentence)
KIFImplication	newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFRelSent	newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)

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

getParser, modifying, newComment, newConjunction, newConjunction, newDisjunction, newDisjunction, newFunTerm, newFunTerm, newIndVar, newLogConst, newNegation, newObjConst, newOperator, newSeq, newSeq, newSeq, newSeq, parseFile, parseString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GDLAST

public GDLAST()

Method Detail

isKeyword

public static boolean isKeyword(java.lang.String symbol)

Returns true if the given string is a GDL keyword; otherwise false.

newForm

public KIFForm newForm()

Overrides:

newForm in class AST

newForm

public KIFForm newForm(KIFSeq<KIFSent> sentences)

Overrides:

newForm in class AST

newImplication

public KIFImplication newImplication(KIFSent sentence)

Overrides:

newImplication in class AST

newImplication

public KIFImplication newImplication(KIFSent sentence,
                                     KIFSeq<KIFSent> sequence)

Overrides:

newImplication in class AST

newRelSent

public KIFRelSent newRelSent(java.lang.String constName,
                             KIFSeq<KIFTerm> terms)

Overrides:

newRelSent in class AST