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

Packages that use ASTVisitor

org.eclipse.palamedes.kif.core.ast
org.eclipse.palamedes.kif.core.ast.visitor
org.eclipse.palamedes.ui.editor.rulegraph

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

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

void	KIFIndVar.traverse(ASTVisitor visitor)
void	KIFConjunction.traverse(ASTVisitor visitor)
void	KIFRelSent.traverse(ASTVisitor visitor)
void	KIFOperator.traverse(ASTVisitor visitor)
void	KIFForm.traverse(ASTVisitor visitor)
void	KIFLogConst.traverse(ASTVisitor visitor)
void	KIFFunTerm.traverse(ASTVisitor visitor)
void	KIFComment.traverse(ASTVisitor visitor)
void	KIFDisjunction.traverse(ASTVisitor visitor)
void	KIFNegation.traverse(ASTVisitor visitor)
abstract void	ASTNode.traverse(ASTVisitor visitor)
void	KIFImplication.traverse(ASTVisitor visitor)
void	KIFObjConst.traverse(ASTVisitor visitor)

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

Subclasses of ASTVisitor in org.eclipse.palamedes.kif.core.ast.visitor

class	ContainsChecker
class	DefaultVisitor
class	GroundChecker The GroundChecker recursively checks whether a given ASTNode contains a variable.

Uses of ASTVisitor in org.eclipse.palamedes.ui.editor.rulegraph

Subclasses of ASTVisitor in org.eclipse.palamedes.ui.editor.rulegraph

class

RuleGraphCreator