uk.ac.manchester.cs.jfact.kernel

Class RoleMaster

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.RoleMaster

@PortedFrom(file="RoleMaster.h",
            name="RoleMaster")
public class RoleMaster
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	RoleMaster.RoleCreator

Constructor Summary

Constructors

Constructor and Description
RoleMaster(boolean d, String TopRoleName, String BotRoleName, JFactReasonerConfiguration c)

Method Summary

Methods

Modifier and Type	Method and Description
void	addDisjointRoles(Role R, Role S) a pair of disjoint roles
void	addRoleParent(DLTree tree, Role parent)
void	addRoleParentProper(Role role, Role parent) add parent for the input role
void	addRoleSynonym(Role role, Role syn) add synonym to existing role
NamedEntry	ensureRoleName(String name) create role entry with given name
void	fillReflexiveRoles(List<Role> RR)
List<Role>	getRoles()
Taxonomy	getTaxonomy() get access to the taxonomy
boolean	hasReflexiveRoles()
void	initAncDesc()
void	print(LogAdapter o, String type)
void	setUndefinedNames(boolean val) change the undefined names usage policy
int	size() get number of roles

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RoleMaster

public RoleMaster(boolean d,
          String TopRoleName,
          String BotRoleName,
          JFactReasonerConfiguration c)

Method Detail

size

@PortedFrom(file="RoleMaster.h",
            name="size")
public int size()

get number of roles

ensureRoleName

@PortedFrom(file="RoleMaster.h",
            name="ensureRoleName")
public NamedEntry ensureRoleName(String name)

create role entry with given name

addRoleSynonym

@PortedFrom(file="RoleMaster.h",
            name="addRoleSynonym")
public void addRoleSynonym(Role role,
                                     Role syn)

add synonym to existing role

addRoleParentProper

@PortedFrom(file="RoleMaster.h",
            name="addRoleParentProper")
public void addRoleParentProper(Role role,
                                          Role parent)

add parent for the input role

addDisjointRoles

@PortedFrom(file="RoleMaster.h",
            name="addDisjointRoles")
public void addDisjointRoles(Role R,
                                       Role S)

a pair of disjoint roles

setUndefinedNames

@PortedFrom(file="RoleMaster.h",
            name="setUndefinedNames")
public void setUndefinedNames(boolean val)

change the undefined names usage policy

getRoles

@PortedFrom(file="RoleMaster.h",
            name="begin")
public List<Role> getRoles()

getTaxonomy

@PortedFrom(file="RoleMaster.h",
            name="getTaxonomy")
public Taxonomy getTaxonomy()

get access to the taxonomy

print

@PortedFrom(file="RoleMaster.h",
            name="Print")
public void print(LogAdapter o,
                            String type)

hasReflexiveRoles

@PortedFrom(file="RoleMaster.h",
            name="hasReflexiveRoles")
public boolean hasReflexiveRoles()

fillReflexiveRoles

@PortedFrom(file="RoleMaster.h",
            name="fillReflexiveRoles")
public void fillReflexiveRoles(List<Role> RR)

addRoleParent

@PortedFrom(file="RoleMaster.h",
            name="addRoleParent")
public void addRoleParent(DLTree tree,
                                    Role parent)

initAncDesc

@PortedFrom(file="RoleMaster.h",
            name="initAncDesc")
public void initAncDesc()