uk.ac.manchester.cs.jfact.datatypes

Interface NumericDatatype<R extends Comparable<R>>

Type Parameters:

R - type

All Superinterfaces:

DataExpression, Datatype<R>, Entity, Expression, org.semanticweb.owlapi.model.HasIRI, OrderedDatatype<R>, Serializable

All Known Implementing Classes:

DatatypeNumericEnumeration

public interface NumericDatatype<R extends Comparable<R>>
extends Datatype<R>, OrderedDatatype<R>

all Datatypes whose getNumeric() method returns true implement this interface

Method Summary

Modifier and Type	Method and Description
R	getMax()
R	getMin()
boolean	hasMax()
boolean	hasMaxExclusive()
boolean	hasMaxInclusive()
boolean	hasMin()
boolean	hasMinExclusive()
boolean	hasMinInclusive()

Methods inherited from interface uk.ac.manchester.cs.jfact.datatypes.Datatype

asExpression, asNumericDatatype, asOrderedDatatype, buildLiteral, emptyValueSpace, getAncestors, getBounded, getCardinality, getDatatypeIRI, getFacets, getFacetValue, getKnownNonNumericFacetValues, getKnownNumericFacetValues, getNumeric, getNumericFacetValue, getOrdered, host, isCompatible, isCompatible, isContradictory, isExpression, isInValueSpace, isNumericDatatype, isOrderedDatatype, isSubType, listValues, parseValue, wrapAsDatatypeExpression, wrapAsNumericExpression, wrapAsOrderedExpression

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression

accept, accept, getIRI

Method Detail

hasMinExclusive

boolean hasMinExclusive()

Specified by:

hasMinExclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if min exclusive facet applies

hasMinInclusive

boolean hasMinInclusive()

Specified by:

hasMinInclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if min inclusive facet applies

hasMaxExclusive

boolean hasMaxExclusive()

Specified by:

hasMaxExclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if max exclusive facet applies

hasMaxInclusive

boolean hasMaxInclusive()

Specified by:

hasMaxInclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if max inclusive facet applies

hasMin

boolean hasMin()

Specified by:

hasMin in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if min exists

hasMax

boolean hasMax()

Specified by:

hasMax in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if max exists

getMin

@Nullable
R getMin()

Specified by:

getMin in interface OrderedDatatype<R extends Comparable<R>>

Returns:

value for min

getMax

@Nullable
R getMax()

Specified by:

getMax in interface OrderedDatatype<R extends Comparable<R>>

Returns:

value for max