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