Uses of Class
uk.ac.manchester.cs.jfact.kernel.RoleMaster

Packages that use RoleMaster

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

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

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

Modifier and Type	Method and Description
RoleMaster	TBox.getDRM()
RoleMaster	TBox.getORM()
RoleMaster	TBox.getRM(Role R)

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

Modifier and Type	Method and Description
void	DLDag.determineSorts(RoleMaster ORM, RoleMaster DRM) build the sort system for given TBox
void	TBox.initRangeDomain(RoleMaster RM)