org.semanticweb.HermiT.hierarchy
Class AtomicConceptElement

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

public class AtomicConceptElement
extends java.lang.Object


Field Summary
static java.lang.String LB
           
protected  java.util.Set<Individual> m_knownInstances
           
protected  java.util.Set<Individual> m_possibleInstances
           
 
Constructor Summary
AtomicConceptElement(java.util.Set<Individual> known, java.util.Set<Individual> possible)
           
 
Method Summary
 boolean addPossible(Individual individual)
           
 boolean addPossibles(java.util.Set<Individual> individuals)
           
 java.util.Set<Individual> getKnownInstances()
           
 java.util.Set<Individual> getPossibleInstances()
           
 boolean hasPossibles()
           
 boolean isKnown(Individual individual)
           
 boolean isPossible(Individual individual)
           
 void setToKnown(Individual individual)
           
 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_knownInstances

protected final java.util.Set<Individual> m_knownInstances

m_possibleInstances

protected final java.util.Set<Individual> m_possibleInstances
Constructor Detail

AtomicConceptElement

public AtomicConceptElement(java.util.Set<Individual> known,
                            java.util.Set<Individual> possible)
Method Detail

isKnown

public boolean isKnown(Individual individual)

isPossible

public boolean isPossible(Individual individual)

getKnownInstances

public java.util.Set<Individual> getKnownInstances()

getPossibleInstances

public java.util.Set<Individual> getPossibleInstances()

hasPossibles

public boolean hasPossibles()

setToKnown

public void setToKnown(Individual individual)

addPossible

public boolean addPossible(Individual individual)

addPossibles

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

toString

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