|
||||||||||
| 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 | |||||||||