org.semanticweb.HermiT.hierarchy

Class AtomicConceptElement

java.lang.Object

org.semanticweb.HermiT.hierarchy.AtomicConceptElement

public class AtomicConceptElement
extends Object

AtomicConceptElement.

Constructor Summary

Constructors

Constructor and Description
AtomicConceptElement(Set<Individual> known, Set<Individual> possible)

Method Summary

Modifier and Type	Method and Description
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AtomicConceptElement

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

Parameters:

known - known

possible - possible

Method Detail

isKnown

public boolean isKnown(Individual individual)

Parameters:

individual - individual

Returns:

true if known

isPossible

public boolean isPossible(Individual individual)

Parameters:

individual - individual

Returns:

true if possible

getKnownInstances

public Set<Individual> getKnownInstances()

Returns:

known instances

getPossibleInstances

public Set<Individual> getPossibleInstances()

Returns:

possible instances

hasPossibles

public boolean hasPossibles()

Returns:

true if has possibles

setToKnown

public void setToKnown(Individual individual)

Parameters:

individual - individual

addPossible

public boolean addPossible(Individual individual)

Parameters:

individual - individual

Returns:

true if added

addPossibles

public boolean addPossibles(Set<Individual> individuals)

Parameters:

individuals - individuals

Returns:

true if added

toString

public String toString()

Overrides:

toString in class Object