Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.IndividualName

Packages that use IndividualName

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.visitors

Uses of IndividualName in uk.ac.manchester.cs.jfact.elf

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type IndividualName

Modifier and Type	Method and Description
void	ELFExpressionChecker.visit(IndividualName expr)

Uses of IndividualName in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return IndividualName

Modifier and Type	Method and Description
IndividualName	ExpressionManager.IndividualNameCreator.makeEntry(String name)

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type IndividualName

Modifier and Type	Method and Description
DLTree	ExpressionTranslator.visit(IndividualName expr)

Uses of IndividualName in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type IndividualName

Modifier and Type	Method and Description
A	DLExpressionVisitorExAdapter.visit(IndividualName expr)
O	DLExpressionVisitorEx.visit(IndividualName expr)
void	DLExpressionVisitorAdapter.visit(IndividualName expr)
void	DLExpressionVisitor.visit(IndividualName expr)