org.semanticweb.HermiT.hierarchy
Class RoleElementManager.RoleElement

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.RoleElementManager.RoleElement
Enclosing class:
RoleElementManager

public class RoleElementManager.RoleElement
extends java.lang.Object


Field Summary
protected  java.util.Map<Individual,java.util.Set<Individual>> m_knownRelations
           
protected  java.util.Map<Individual,java.util.Set<Individual>> m_possibleRelations
           
protected  Role m_role
           
 
Constructor Summary
protected RoleElementManager.RoleElement(Role Role)
           
 
Method Summary
 boolean addKnown(Individual individual1, Individual individual2)
           
 boolean addKnowns(Individual individual, java.util.Set<Individual> individuals)
           
 boolean addPossible(Individual individual1, Individual individual2)
           
 boolean addPossibles(Individual individual, java.util.Set<Individual> individuals)
           
 java.util.Map<Individual,java.util.Set<Individual>> getKnownRelations()
           
 java.util.Map<Individual,java.util.Set<Individual>> getPossibleRelations()
           
 Role getRole()
           
 boolean hasPossibles()
           
 boolean isKnown(Individual individual1, Individual individual2)
           
 boolean isPossible(Individual individual1, Individual individual2)
           
 boolean removeKnown(Individual individual1, Individual individual2)
           
 boolean removePossible(Individual individual1, Individual individual2)
           
 void setToKnown(Individual individual1, Individual individual2)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_role

protected final Role m_role

m_knownRelations

protected java.util.Map<Individual,java.util.Set<Individual>> m_knownRelations

m_possibleRelations

protected java.util.Map<Individual,java.util.Set<Individual>> m_possibleRelations
Constructor Detail

RoleElementManager.RoleElement

protected RoleElementManager.RoleElement(Role Role)
Method Detail

getRole

public Role getRole()

isKnown

public boolean isKnown(Individual individual1,
                       Individual individual2)

isPossible

public boolean isPossible(Individual individual1,
                          Individual individual2)

getKnownRelations

public java.util.Map<Individual,java.util.Set<Individual>> getKnownRelations()

getPossibleRelations

public java.util.Map<Individual,java.util.Set<Individual>> getPossibleRelations()

hasPossibles

public boolean hasPossibles()

setToKnown

public void setToKnown(Individual individual1,
                       Individual individual2)

addKnown

public boolean addKnown(Individual individual1,
                        Individual individual2)

addKnowns

public boolean addKnowns(Individual individual,
                         java.util.Set<Individual> individuals)

removeKnown

public boolean removeKnown(Individual individual1,
                           Individual individual2)

addPossible

public boolean addPossible(Individual individual1,
                           Individual individual2)

removePossible

public boolean removePossible(Individual individual1,
                              Individual individual2)

addPossibles

public boolean addPossibles(Individual individual,
                            java.util.Set<Individual> individuals)

toString

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