@ParametersAreNonnullByDefault

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

Interface Summary

Interface	Description
Datatype<R extends Comparable<R>>
DatatypeCombination<T,E>
DatatypeExpression<R extends Comparable<R>>	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
AbstractDatatype<R extends Comparable<R>>
DatatypeEntry	datatype entry
DatatypeEnumeration<R extends Comparable<R>>
DatatypeFactory	Factory for datatypes
DatatypeIntersection<T extends Comparable<T>>
DatatypeNegation<R extends Comparable<R>>	datatype negation
DatatypeNumericEnumeration<R extends Comparable<R>>	numeric enumeration
DataTypeReasoner
DataTypeSituation<R extends Comparable<R>>
DatatypeUnion	datatype union
Facets	facets
LiteralEntry	literal
NumericLiteralImpl<R extends Comparable<R>>	all literals whose datatype is numeric
Utils

Enum Summary

Enum	Description
cardinality	cardinality
DatatypeClashes	datatype clashes
Facets.whitespace	whitespace enum
ordered	ordered