|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.semanticweb.HermiT.existentials | |
---|---|
org.semanticweb.HermiT.existentials | |
org.semanticweb.HermiT.tableau |
Classes in org.semanticweb.HermiT.existentials used by org.semanticweb.HermiT.existentials | |
---|---|
AbstractExpansionStrategy
Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses. |
|
AbstractExpansionStrategy.SatType
|
|
ExistentialExpansionStrategy
Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced. |
|
IndividualReuseStrategy.NodeBranchingPointPair
|
Classes in org.semanticweb.HermiT.existentials used by org.semanticweb.HermiT.tableau | |
---|---|
ExistentialExpansionStrategy
Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |