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

Packages that use KIFSent

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

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

Subclasses of KIFSent in org.eclipse.palamedes.gdl.core.ast

class	Does
class	Init
class	Role
class	Rule A rule is an implication of the form h <= b_1 ∧ ...
class	RuleGeneral
class	RuleGoal
class	RuleLegal
class	RuleNext
class	RuleTerminal
class	True

Methods in org.eclipse.palamedes.gdl.core.ast that return types with arguments of type KIFSent

KIFSeq<KIFSent>	GDLForm.getRawGeneral()
KIFSeq<KIFSent>	GDLForm.getRawOthers()

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

KIFImplication	GDLAST.newImplication(KIFSent sentence)
KIFImplication	GDLAST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
void	Rule.setConsequence(KIFSent consequence)

Method parameters in org.eclipse.palamedes.gdl.core.ast with type arguments of type KIFSent

KIFForm	GDLAST.newForm(KIFSeq<KIFSent> sentences)
KIFImplication	GDLAST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)

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

Subclasses of KIFSent in org.eclipse.palamedes.kif.core.ast

class	KIFComment
class	KIFConjunction
class	KIFDisjunction
class	KIFImplication
class	KIFLogConst
class	KIFLogSent
class	KIFNegation
class	KIFRelSent

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

KIFSent	KIFImplication.getConsequence()
KIFSent	KIFNegation.getOperand()

Methods in org.eclipse.palamedes.kif.core.ast that return types with arguments of type KIFSent

KIFSeq<KIFSent>	KIFConjunction.getOperands()
KIFSeq<KIFSent>	KIFLogConst.getOperands()
KIFSeq<KIFSent>	KIFDisjunction.getOperands()
KIFSeq<KIFSent>	KIFNegation.getOperands()
KIFSeq<KIFSent>	KIFImplication.getOperands()
KIFSeq<KIFSent>	KIFImplication.getPremise()
KIFSeq<KIFSent>	KIFForm.getSentences()
KIFSeq<KIFSent>	AST.newSeq(KIFSent sentence)
KIFSeq<KIFSent>	AST.newSeq(KIFSeq<KIFSent> sequence, KIFSent sentence)

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

KIFConjunction	AST.newConjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFDisjunction	AST.newDisjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFImplication	AST.newImplication(KIFSent sentence)
KIFImplication	AST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFNegation	AST.newNegation(KIFSent sentence)
KIFSeq<KIFSent>	AST.newSeq(KIFSent sentence)
KIFSeq<KIFSent>	AST.newSeq(KIFSeq<KIFSent> sequence, KIFSent sentence)
void	KIFImplication.setConsequence(KIFSent consequence)

Method parameters in org.eclipse.palamedes.kif.core.ast with type arguments of type KIFSent

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)
KIFImplication	AST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFSeq<KIFSent>	AST.newSeq(KIFSeq<KIFSent> sequence, KIFSent sentence)

Uses of KIFSent in org.eclipse.palamedes.kif.core.knowledgebase

Methods in org.eclipse.palamedes.kif.core.knowledgebase that return types with arguments of type KIFSent

java.util.ArrayList<KIFSent>

KBEntry.getTopLevelNodes() Returns all Top Level ASTNodes corresponding to the symbol.