Uses of Interface
uk.ac.manchester.cs.jfact.datatypes.Datatype

Packages that use Datatype

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.visitors

Uses of Datatype in uk.ac.manchester.cs.jfact

Methods in uk.ac.manchester.cs.jfact that return Datatype

Modifier and Type	Method and Description
protected Datatype<?>	TranslationMachinery.toDataTypePointer(org.semanticweb.owlapi.model.OWLDatatype datatype)

Uses of Datatype in uk.ac.manchester.cs.jfact.datatypes

Subinterfaces of Datatype in uk.ac.manchester.cs.jfact.datatypes

Modifier and Type	Interface and Description
interface	DatatypeExpression<Representation extends Comparable<Representation>> Represents an extended datatype - intersection, union or further restrictions.
interface	NumericDatatype<R extends Comparable<R>> all Datatypes whose getNumeric() method returns true implement this interface

Classes in uk.ac.manchester.cs.jfact.datatypes that implement Datatype

Modifier and Type	Class and Description
class	DatatypeEnumeration<R extends Comparable<R>>
class	DatatypeNegation<R extends Comparable<R>>
class	DatatypeNumericEnumeration<R extends Comparable<R>>

Fields in uk.ac.manchester.cs.jfact.datatypes declared as Datatype

Modifier and Type	Field and Description
static Datatype<String>	DatatypeFactory.ANYURI
static Datatype<String>	DatatypeFactory.BASE64BINARY
static Datatype<Boolean>	DatatypeFactory.BOOLEAN
static Datatype<Byte>	DatatypeFactory.BYTE
static Datatype<Calendar>	DatatypeFactory.DATETIME
static Datatype<Calendar>	DatatypeFactory.DATETIMESTAMP
static Datatype<BigDecimal>	DatatypeFactory.DECIMAL
static Datatype<Double>	DatatypeFactory.DOUBLE
static Datatype<Float>	DatatypeFactory.FLOAT
static Datatype<String>	DatatypeFactory.HEXBINARY
protected Datatype<R>	DatatypeEnumeration.host
static Datatype<Integer>	DatatypeFactory.INT
static Datatype<BigInteger>	DatatypeFactory.INTEGER
static Datatype<String>	DatatypeFactory.LANGUAGE
static Datatype<String>	DatatypeFactory.LITERAL
static Datatype<Long>	DatatypeFactory.LONG
static Datatype<String>	DatatypeFactory.NAME
static Datatype<String>	DatatypeFactory.NCNAME
static Datatype<BigInteger>	DatatypeFactory.NEGATIVEINTEGER
static Datatype<String>	DatatypeFactory.NMTOKEN
static Datatype<String>	DatatypeFactory.NMTOKENS
static Datatype<BigInteger>	DatatypeFactory.NONNEGATIVEINTEGER
static Datatype<BigInteger>	DatatypeFactory.NONPOSITIVEINTEGER
static Datatype<String>	DatatypeFactory.NORMALIZEDSTRING
static Datatype<String>	DatatypeFactory.PLAINLITERAL
static Datatype<BigInteger>	DatatypeFactory.POSITIVEINTEGER
static Datatype<BigDecimal>	DatatypeFactory.RATIONAL
static Datatype<BigDecimal>	DatatypeFactory.REAL
static Datatype<Short>	DatatypeFactory.SHORT
static Datatype<String>	DatatypeFactory.STRING
static Datatype<String>	DatatypeFactory.TOKEN
static Datatype<Short>	DatatypeFactory.UNSIGNEDBYTE
static Datatype<Long>	DatatypeFactory.UNSIGNEDINT
static Datatype<BigInteger>	DatatypeFactory.UNSIGNEDLONG
static Datatype<Integer>	DatatypeFactory.UNSIGNEDSHORT
static Datatype<String>	DatatypeFactory.XMLLITERAL

Methods in uk.ac.manchester.cs.jfact.datatypes that return Datatype

Modifier and Type	Method and Description
Datatype<?>	DatatypeEntry.getDatatype()
Datatype<T>	Literal.getDatatypeExpression()
Datatype<?>	DatatypeUnion.getHost()
Datatype<?>	DatatypeIntersection.getHost()
Datatype<?>	DatatypeEnumeration.getHost()
Datatype<?>	DatatypeCombination.getHost()
static Datatype<?>	DatatypeIntersection.getHostDatatype(Collection<Datatype<?>> c)
Datatype<R>	DatatypeNegation.getHostType()
Datatype<Representation>	DatatypeExpression.getHostType()
Datatype<R>	DatatypeEnumeration.getHostType()
Datatype<?>	DatatypeFactory.getKnownDatatype(String key)
Datatype<?>	LiteralEntry.getType() get host type
Datatype<?>	DataTypeSituation.getType()

Methods in uk.ac.manchester.cs.jfact.datatypes that return types with arguments of type Datatype

Modifier and Type	Method and Description
static Set<Datatype<?>>	Utils.generateAncestors(Datatype<?> d)
Collection<Datatype<?>>	DatatypeNegation.getAncestors()
Collection<Datatype<?>>	DatatypeEnumeration.getAncestors()
Collection<Datatype<?>>	Datatype.getAncestors()
Collection<Datatype<?>>	DatatypeFactory.getKnownDatatypes()
Iterable<Datatype<?>>	DatatypeUnion.getList()
Iterable<Datatype<T>>	DatatypeIntersection.getList()
static List<Datatype<?>>	DatatypeFactory.getValues()

Methods in uk.ac.manchester.cs.jfact.datatypes with parameters of type Datatype

Modifier and Type	Method and Description
DatatypeUnion	DatatypeUnion.add(Datatype<?> d)
DatatypeIntersection<T>	DatatypeIntersection.add(Datatype<T> d)
boolean	DataTypeSituation.addInterval(boolean pos, Datatype<R> interval, DepSet dep) add restrictions [POS]INT to intervals
static Set<Datatype<?>>	Utils.generateAncestors(Datatype<?> d)
static <R extends Comparable<R>> DatatypeExpression<R>	DatatypeFactory.getDatatypeExpression(Datatype<R> base)
static <R extends Comparable<R>> DatatypeExpression<R>	DatatypeFactory.getOrderedDatatypeExpression(Datatype<R> base)
boolean	DatatypeUnion.isCompatible(Datatype<?> type)
boolean	DatatypeNegation.isCompatible(Datatype<?> type)
boolean	DatatypeIntersection.isCompatible(Datatype<?> type)
boolean	DatatypeEnumeration.isCompatible(Datatype<?> type)
boolean	DatatypeCombination.isCompatible(Datatype<?> type)
boolean	Datatype.isCompatible(Datatype<?> type)
boolean	DatatypeNegation.isSubType(Datatype<?> type)
boolean	DatatypeEnumeration.isSubType(Datatype<?> type)
boolean	Datatype.isSubType(Datatype<?> type)

Method parameters in uk.ac.manchester.cs.jfact.datatypes with type arguments of type Datatype

Modifier and Type	Method and Description
static Datatype<?>	DatatypeIntersection.getHostDatatype(Collection<Datatype<?>> c)

Constructors in uk.ac.manchester.cs.jfact.datatypes with parameters of type Datatype

Constructor and Description
DatatypeEntry(Datatype<?> type) create data entry with given name
DatatypeEnumeration(Datatype<R> d)
DatatypeEnumeration(Datatype<R> d, Collection<Literal<R>> c)
DatatypeEnumeration(Datatype<R> d, Literal<R> l)
DatatypeIntersection(Datatype<T> host)
DatatypeIntersection(Datatype<T> host, Iterable<Datatype<T>> list)
DatatypeNegation(Datatype<R> d)
DataTypeSituation(Datatype<R> p, DataTypeReasoner dep)
DatatypeUnion(Datatype<?> host)
DatatypeUnion(Datatype<?> host, Collection<Datatype<?>> list)

Constructor parameters in uk.ac.manchester.cs.jfact.datatypes with type arguments of type Datatype

Constructor and Description
DatatypeIntersection(Datatype<T> host, Iterable<Datatype<T>> list)
DatatypeUnion(Datatype<?> host, Collection<Datatype<?>> list)

Uses of Datatype in uk.ac.manchester.cs.jfact.elf

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type Datatype

Modifier and Type	Method and Description
void	ELFExpressionChecker.visit(Datatype<?> expr)

Uses of Datatype in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type Datatype

Modifier and Type	Method and Description
int	TBox.addDatatypeExpressionToHeap(Datatype<?> p)
DLTree	ExpressionTranslator.visit(Datatype<?> expr)

Uses of Datatype in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type Datatype

Modifier and Type	Method and Description
A	DLExpressionVisitorExAdapter.visit(Datatype<?> expr)
O	DLExpressionVisitorEx.visit(Datatype<?> expr)
void	DLExpressionVisitorAdapter.visit(Datatype<?> expr)
void	DLExpressionVisitor.visit(Datatype<?> expr)