org.semanticweb.HermiT.hierarchy
Class RoleElementManager

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.RoleElementManager

public class RoleElementManager
extends java.lang.Object


Nested Class Summary
 class RoleElementManager.RoleElement
           
 
Field Summary
static java.lang.String LB
           
protected  java.util.Map<Role,RoleElementManager.RoleElement> m_roleToElement
           
 
Constructor Summary
protected RoleElementManager()
           
 
Method Summary
 RoleElementManager.RoleElement getRoleElement(Role Role)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

LB

public static final java.lang.String LB

m_roleToElement

protected final java.util.Map<Role,RoleElementManager.RoleElement> m_roleToElement
Constructor Detail

RoleElementManager

protected RoleElementManager()
Method Detail

getRoleElement

public RoleElementManager.RoleElement getRoleElement(Role Role)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object