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

Packages that use KIFIndVar

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

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

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

KIFIndVar

AST.newIndVar(java.lang.String varName)

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

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

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

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

void	GroundChecker.visit(KIFIndVar node)
void	DefaultVisitor.visit(KIFIndVar node)