|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AtLeastDataRange | |
|---|---|
| org.semanticweb.HermiT.model | |
| org.semanticweb.HermiT.tableau | |
| Uses of AtLeastDataRange in org.semanticweb.HermiT.model |
|---|
| Fields in org.semanticweb.HermiT.model with type parameters of type AtLeastDataRange | |
|---|---|
protected static InterningManager<AtLeastDataRange> |
AtLeastDataRange.s_interningManager
|
| Methods in org.semanticweb.HermiT.model that return AtLeastDataRange | |
|---|---|
static AtLeastDataRange |
AtLeastDataRange.create(int number,
Role onRole,
LiteralDataRange toDataRange)
|
| Uses of AtLeastDataRange in org.semanticweb.HermiT.tableau |
|---|
| Methods in org.semanticweb.HermiT.tableau with parameters of type AtLeastDataRange | |
|---|---|
void |
ExistentialExpansionManager.doNormalExpansion(AtLeastDataRange atLeastDataRange,
Node forNode)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||