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.kernel
uk.ac.manchester.cs.jfact.split
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
Datatype<?>	DataRangeTranslator.visit(org.semanticweb.owlapi.model.OWLDatatype node)

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<R extends Comparable<R>> 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	ABSTRACT_DATATYPE<R extends Comparable<R>>
class	DatatypeEnumeration<R extends Comparable<R>>
class	DatatypeNegation<R extends Comparable<R>> datatype negation
class	DatatypeNumericEnumeration<R extends Comparable<R>> numeric enumeration

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

Modifier and Type	Field and Description
static Datatype<String>	DatatypeFactory.ANYURI ANYURI
static Datatype<String>	DatatypeFactory.BASE64BINARY BASE64BINARY
static Datatype<Boolean>	DatatypeFactory.BOOLEAN BOOLEAN
static Datatype<Calendar>	DatatypeFactory.DATETIME DATETIME
static Datatype<Calendar>	DatatypeFactory.DATETIMESTAMP DATETIMESTAMP
static Datatype<String>	DatatypeFactory.HEXBINARY HEXBINARY
static Datatype<String>	DatatypeFactory.LANGUAGE LANGUAGE
static Datatype<String>	DatatypeFactory.LITERAL LITERAL
static Datatype<String>	DatatypeFactory.NAME NAME
static Datatype<String>	DatatypeFactory.NCNAME NCNAME
static Datatype<String>	DatatypeFactory.NMTOKEN NMTOKEN
static Datatype<String>	DatatypeFactory.NMTOKENS NMTOKENS
static Datatype<String>	DatatypeFactory.NORMALIZEDSTRING NORMALIZEDSTRING
static Datatype<String>	DatatypeFactory.PLAINLITERAL PLAINLITERAL
static Datatype<String>	DatatypeFactory.STRING STRING
static Datatype<String>	DatatypeFactory.TOKEN TOKEN
static Datatype<String>	DatatypeFactory.XMLLITERAL 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<?>> collection)
Datatype<R>	DatatypeNegation.getHostType()
Datatype<R>	DatatypeExpression.getHostType()
Datatype<R>	DatatypeEnumeration.getHostType()
Datatype<?>	DatatypeFactory.getKnownDatatype(org.semanticweb.owlapi.model.IRI key)
Datatype<?>	LiteralEntry.getType()
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<?>>	ABSTRACT_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	ABSTRACT_DATATYPE.isCompatible(Datatype<?> type)
boolean	DatatypeUnion.isContradictory(Datatype<?> type)
boolean	DatatypeNegation.isContradictory(Datatype<?> type)
boolean	DatatypeIntersection.isContradictory(Datatype<?> type)
boolean	DatatypeEnumeration.isContradictory(Datatype<?> type)
boolean	DatatypeCombination.isContradictory(Datatype<?> type)
boolean	Datatype.isContradictory(Datatype<?> type)
boolean	ABSTRACT_DATATYPE.isContradictory(Datatype<?> type)
boolean	DatatypeNegation.isSubType(Datatype<?> type)
boolean	DatatypeEnumeration.isSubType(Datatype<?> type)
boolean	Datatype.isSubType(Datatype<?> type)
boolean	ABSTRACT_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<?>> collection)

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)
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
ABSTRACT_DATATYPE(org.semanticweb.owlapi.model.IRI u, Set<Facet> f, Set<Datatype<?>> ancestors)
DatatypeIntersection(Datatype<T> host, Iterable<Datatype<T>> list)
DatatypeUnion(Datatype<?> host, Collection<Datatype<?>> list)

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

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

Modifier and Type	Method and Description
void	TopEquivalenceEvaluator.visit(Datatype<?> arg)
void	BotEquivalenceEvaluator.visit(Datatype<?> arg)

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)