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

Packages that use uk.ac.manchester.cs.jfact.datatypes

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.visitors

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact

Class and Description
Datatype
DatatypeFactory
Literal

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact.datatypes

Class and Description
cardinality
Datatype
DatatypeCombination
DatatypeEnumeration
DatatypeExpression Represents an extended datatype - intersection, union or further restrictions.
DatatypeFactory
DatatypeIntersection
DatatypeNumericEnumeration
DataTypeReasoner
DataTypeSituation
DatatypeUnion
Facet
Facets.whitespace
Literal
NumericDatatype all Datatypes whose getNumeric() method returns true implement this interface
NumericLiteral all literals whose datatype is numeric
ordered
OrderedDatatype all Datatypes whose getNumeric() method returns true implement this interface

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact.elf

Class and Description
Datatype
Literal

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact.kernel

Class and Description
Datatype
DatatypeEntry
DatatypeFactory
Literal
LiteralEntry

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact.kernel.dl

Class and Description
Literal

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class and Description
Literal

Classes in uk.ac.manchester.cs.jfact.datatypes used by uk.ac.manchester.cs.jfact.visitors

Class and Description
Datatype
Literal