|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |