| 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 |
| Modifier and Type | Method and Description |
|---|---|
protected Datatype<?> |
TranslationMachinery.toDataTypePointer(org.semanticweb.owlapi.model.OWLDatatype datatype) |
| 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
|
| Modifier and Type | Class and Description |
|---|---|
class |
DatatypeEnumeration<R extends Comparable<R>> |
class |
DatatypeNegation<R extends Comparable<R>> |
class |
DatatypeNumericEnumeration<R extends Comparable<R>> |
| 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 |
| 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() |
| 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() |
| 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>> |
DatatypeFactory.getDatatypeExpression(Datatype<R> base) |
static <R extends Comparable<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) |
| Modifier and Type | Method and Description |
|---|---|
static Datatype<?> |
DatatypeIntersection.getHostDatatype(Collection<Datatype<?>> c) |
| 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 and Description |
|---|
DatatypeIntersection(Datatype<T> host,
Iterable<Datatype<T>> list) |
DatatypeUnion(Datatype<?> host,
Collection<Datatype<?>> list) |
| Modifier and Type | Method and Description |
|---|---|
void |
ELFExpressionChecker.visit(Datatype<?> expr) |
| Modifier and Type | Method and Description |
|---|---|
int |
TBox.addDatatypeExpressionToHeap(Datatype<?> p) |
DLTree |
ExpressionTranslator.visit(Datatype<?> expr) |
| 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) |
Copyright © 2013 The University of Manchester. All Rights Reserved.