org.semanticweb.HermiT.hierarchy
Class AtomicConceptElement

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

public class AtomicConceptElement
extends Object


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

m_knownInstances

protected final Set<Individual> m_knownInstances

m_possibleInstances

protected final Set<Individual> m_possibleInstances
Constructor Detail

AtomicConceptElement

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

isKnown

public boolean isKnown(Individual individual)

isPossible

public boolean isPossible(Individual individual)

getKnownInstances

public Set<Individual> getKnownInstances()

getPossibleInstances

public Set<Individual> getPossibleInstances()

hasPossibles

public boolean hasPossibles()

setToKnown

public void setToKnown(Individual individual)

addPossible

public boolean addPossible(Individual individual)

addPossibles

public boolean addPossibles(Set<Individual> individuals)

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.