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