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

Packages that use KIFImplication

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

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

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

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

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

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

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

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

KIFImplication	AST.newImplication(KIFSent sentence)
KIFImplication	AST.newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)

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

KIFSeq<KIFImplication>

KIFForm.getImplications() This method returns a new list that contains only the top level implications of the form.

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

protected void	KIFImplication.copyMembers(KIFImplication node)
abstract void	ASTVisitor.visit(KIFImplication node)

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

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

void	DefaultVisitor.visit(KIFImplication node)

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

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

java.util.ArrayList<KIFImplication>	KBEntry.getImplicationBody() Returns all implications where the symbol appears in the body.
java.util.ArrayList<KIFImplication>	KBEntry.getImplicationHead() Returns all implications where the symbol appears in the head.