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

Packages that use KIFRelSent

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

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

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

class	Does
class	Init
class	Role
class	True

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

KIFRelSent	Rule.getConsequence()
KIFRelSent	GDLAST.newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)

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

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

KIFRelSent

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

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

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

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

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

void	DefaultVisitor.visit(KIFRelSent node)