Uses of Interface
org.semanticweb.HermiT.blocking.BlockingValidator.ConsequenceAtom

Packages that use BlockingValidator.ConsequenceAtom
org.semanticweb.HermiT.blocking   
 

Uses of BlockingValidator.ConsequenceAtom in org.semanticweb.HermiT.blocking
 

Classes in org.semanticweb.HermiT.blocking that implement BlockingValidator.ConsequenceAtom
protected static class BlockingValidator.MirroredYConsequenceAtom
           
protected static class BlockingValidator.SimpleConsequenceAtom
           
protected static class BlockingValidator.X2YOrY2XConsequenceAtom
           
 

Fields in org.semanticweb.HermiT.blocking declared as BlockingValidator.ConsequenceAtom
protected  BlockingValidator.ConsequenceAtom[] BlockingValidator.DLClauseInfo.m_consequencesForBlockedX
           
protected  BlockingValidator.ConsequenceAtom[] BlockingValidator.DLClauseInfo.m_consequencesForNonblockedX