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

Packages that use KIFDisjunction

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

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

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

KIFDisjunction	AST.newDisjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFDisjunction	AST.newDisjunction(KIFSeq<KIFSent> sequence)

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

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

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

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

void	DefaultVisitor.visit(KIFDisjunction node)