Uses of Class
org.eclipse.palamedes.kif.core.ast.KIFSeq

Packages that use KIFSeq

org.eclipse.palamedes.gdl.core.ast
org.eclipse.palamedes.kif.core.ast
org.eclipse.palamedes.kif.core.ast.visitor

Uses of KIFSeq in org.eclipse.palamedes.gdl.core.ast

Methods in org.eclipse.palamedes.gdl.core.ast that return KIFSeq

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

Methods in org.eclipse.palamedes.gdl.core.ast with parameters of type KIFSeq

KIFForm	GDLAST.newForm(KIFSeq<KIFSent> sentences)
KIFImplication	GDLAST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFRelSent	GDLAST.newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)

Uses of KIFSeq in org.eclipse.palamedes.kif.core.ast

Methods in org.eclipse.palamedes.kif.core.ast that return KIFSeq

KIFSeq<T>	KIFSeq.clone0(AST ast)
KIFSeq<KIFImplication>	KIFForm.getImplications() This method returns a new list that contains only the top level implications of the form.
KIFSeq<KIFSent>	KIFConjunction.getOperands()
KIFSeq<KIFTerm>	KIFRelSent.getOperands()
KIFSeq<KIFSent>	KIFLogConst.getOperands()
KIFSeq<? extends ASTNode>	KIFComment.getOperands()
KIFSeq<KIFSent>	KIFDisjunction.getOperands()
KIFSeq<KIFSent>	KIFNegation.getOperands()
KIFSeq<KIFSent>	KIFImplication.getOperands()
abstract KIFSeq<? extends ASTNode>	KIFSent.getOperands()
KIFSeq<KIFSent>	KIFImplication.getPremise()
KIFSeq<KIFSent>	KIFForm.getSentences()
KIFSeq<KIFTerm>	KIFIndVar.getTerms()
KIFSeq<KIFTerm>	KIFRelSent.getTerms()
KIFSeq<KIFTerm>	KIFFunTerm.getTerms()
KIFSeq<KIFTerm>	KIFObjConst.getTerms()
abstract KIFSeq<KIFTerm>	KIFTerm.getTerms()
KIFSeq<KIFSent>	AST.newSeq(KIFSent sentence)
KIFSeq<KIFSent>	AST.newSeq(KIFSeq<KIFSent> sequence, KIFSent sentence)
KIFSeq<KIFTerm>	AST.newSeq(KIFSeq<KIFTerm> sequence, KIFTerm term)
KIFSeq<KIFTerm>	AST.newSeq(KIFTerm term)

Methods in org.eclipse.palamedes.kif.core.ast with parameters of type KIFSeq

KIFConjunction	AST.newConjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFConjunction	AST.newConjunction(KIFSeq<KIFSent> sequence)
KIFDisjunction	AST.newDisjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFDisjunction	AST.newDisjunction(KIFSeq<KIFSent> sequence)
KIFForm	AST.newForm(KIFSeq<KIFSent> sentences)
KIFFunTerm	AST.newFunTerm(java.lang.String funConst, KIFSeq<KIFTerm> termSeq)
KIFImplication	AST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFRelSent	AST.newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)
KIFSeq<KIFSent>	AST.newSeq(KIFSeq<KIFSent> sequence, KIFSent sentence)
KIFSeq<KIFTerm>	AST.newSeq(KIFSeq<KIFTerm> sequence, KIFTerm term)

Uses of KIFSeq in org.eclipse.palamedes.kif.core.ast.visitor

Methods in org.eclipse.palamedes.kif.core.ast.visitor with parameters of type KIFSeq

static java.lang.String	NotationWriter.toDefaultString(KIFSeq<? extends ASTNode> sequence)
static java.lang.String	NotationWriter.toDefaultString(KIFSeq<? extends ASTNode> sequence, java.lang.String filler)
java.lang.String	NotationWriter.toString(KIFSeq<? extends ASTNode> sequence)
java.lang.String	NotationWriter.toString(KIFSeq<? extends ASTNode> sequence, java.lang.String filler)