Uses of Package uk.ac.manchester.cs.jfact.datatypes (JFact 5.0.3 API)

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.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.datatypes
Class and Description
cardinality cardinality
Datatype
DatatypeClashes datatype clashes
DatatypeCombination
DatatypeEntry datatype entry
DatatypeEnumeration
DatatypeExpression Represents an extended datatype - intersection, union or further restrictions.
DatatypeFactory Factory for datatypes
DatatypeIntersection
DatatypeNumericEnumeration numeric enumeration
DataTypeSituation
DatatypeUnion datatype union
Facet
Facets.whitespace whitespace enum
Literal
LiteralEntry literal
NumericDatatype all Datatypes whose getNumeric() method returns true implement this interface
NumericLiteral all literals whose datatype is numeric
ordered 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.kernel
Class and Description
Datatype
DatatypeEntry datatype entry
DatatypeExpression Represents an extended datatype - intersection, union or further restrictions.
DatatypeFactory Factory for datatypes
Literal
LiteralEntry literal

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
DatatypeExpression Represents an extended datatype - intersection, union or further restrictions.
Literal

Uses of Packageuk.ac.manchester.cs.jfact.datatypes