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

Packages that use DataRoleName

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

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

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

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

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

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

Modifier and Type	Method and Description
DataRoleName	ExpressionManager.DataroleNameCreator.makeEntry(String name)

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

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

Uses of DataRoleName in uk.ac.manchester.cs.jfact.split

Methods in uk.ac.manchester.cs.jfact.split with parameters of type DataRoleName

Modifier and Type	Method and Description
void	TopEquivalenceEvaluator.visit(DataRoleName expr)
void	BotEquivalenceEvaluator.visit(DataRoleName expr)

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

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

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