org.semanticweb.HermiT.blocking
Interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

All Known Implementing Classes:
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject, ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject
Enclosing class:
ValidatedSingleDirectBlockingChecker

public static interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject


Method Summary
 void addConcept(Concept concept, boolean isCore)
           
 boolean blockViolatesParentConstraints()
           
 void destroy()
           
 java.util.Set<AtomicConcept> getAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> getFullAtomicConceptsLabel()
           
 java.util.Set<AtomicRole> getFullFromParentLabel()
           
 java.util.Set<AtomicRole> getFullToParentLabel()
           
 boolean hasAlreadyBeenChecked()
           
 void initialize()
           
 void removeConcept(Concept concept, boolean isCore)
           
 void setBlockViolatesParentConstraints(boolean violates)
           
 void setHasAlreadyBeenChecked(boolean hasBeenChecked)
           
 

Method Detail

initialize

void initialize()

destroy

void destroy()

getAtomicConceptsLabel

java.util.Set<AtomicConcept> getAtomicConceptsLabel()

addConcept

void addConcept(Concept concept,
                boolean isCore)

removeConcept

void removeConcept(Concept concept,
                   boolean isCore)

getFullAtomicConceptsLabel

java.util.Set<AtomicConcept> getFullAtomicConceptsLabel()

getFullFromParentLabel

java.util.Set<AtomicRole> getFullFromParentLabel()

getFullToParentLabel

java.util.Set<AtomicRole> getFullToParentLabel()

setBlockViolatesParentConstraints

void setBlockViolatesParentConstraints(boolean violates)

setHasAlreadyBeenChecked

void setHasAlreadyBeenChecked(boolean hasBeenChecked)

hasAlreadyBeenChecked

boolean hasAlreadyBeenChecked()

blockViolatesParentConstraints

boolean blockViolatesParentConstraints()