|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use NumberInterval | |
|---|---|
| org.semanticweb.HermiT.datatypes.owlreal | |
| Uses of NumberInterval in org.semanticweb.HermiT.datatypes.owlreal |
|---|
| Fields in org.semanticweb.HermiT.datatypes.owlreal with type parameters of type NumberInterval | |
|---|---|
protected java.util.List<NumberInterval> |
OWLRealValueSpaceSubset.m_intervals
|
protected static java.util.Map<java.lang.String,NumberInterval> |
OWLRealDatatypeHandler.s_intervalsByDatatype
|
| Methods in org.semanticweb.HermiT.datatypes.owlreal that return NumberInterval | |
|---|---|
protected NumberInterval |
OWLRealDatatypeHandler.getIntervalFor(DatatypeRestriction datatypeRestriction)
|
NumberInterval |
NumberInterval.intersectWith(NumberInterval that)
Computes the intersection of this interval with the supplied one. |
| Methods in org.semanticweb.HermiT.datatypes.owlreal with parameters of type NumberInterval | |
|---|---|
NumberInterval |
NumberInterval.intersectWith(NumberInterval that)
Computes the intersection of this interval with the supplied one. |
| Constructors in org.semanticweb.HermiT.datatypes.owlreal with parameters of type NumberInterval | |
|---|---|
OWLRealValueSpaceSubset(NumberInterval interval)
|
|
| Constructor parameters in org.semanticweb.HermiT.datatypes.owlreal with type arguments of type NumberInterval | |
|---|---|
OWLRealValueSpaceSubset(java.util.List<NumberInterval> intervals)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||