Package uk.ac.manchester.cs.jfact.datatypes

Interface Summary

Interface	Description
Datatype<Representation extends Comparable<Representation>>
DatatypeCombination<Type,Element>
DatatypeExpression<Representation extends Comparable<Representation>>	Represents an extended datatype - intersection, union or further restrictions.
Facet
Literal<T extends Comparable<T>>
NumericDatatype<R extends Comparable<R>>	all Datatypes whose getNumeric() method returns true implement this interface
NumericLiteral<R extends Comparable<R>>	all literals whose datatype is numeric
OrderedDatatype<R extends Comparable<R>>	all Datatypes whose getNumeric() method returns true implement this interface

Class Summary

Class	Description
DatatypeEntry
DatatypeEnumeration<R extends Comparable<R>>
DatatypeFactory
DatatypeIntersection<T extends Comparable<T>>
DatatypeNegation<R extends Comparable<R>>
DatatypeNumericEnumeration<R extends Comparable<R>>
DataTypeReasoner
DataTypeSituation<R extends Comparable<R>>
DatatypeUnion
Facets
LiteralEntry
NumericLiteralImpl<R extends Comparable<R>>	all literals whose datatype is numeric
Utils

Enum Summary

Enum	Description
cardinality
Facets.whitespace
ordered