org.semanticweb.HermiT.hierarchy
Class AtomicConceptElement
java.lang.Object
org.semanticweb.HermiT.hierarchy.AtomicConceptElement
public class AtomicConceptElement
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
AtomicConceptElement
public AtomicConceptElement(java.util.Set<Individual> known,
java.util.Set<Individual> possible)
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