| Modifier and Type | Method and Description |
|---|---|
boolean |
DatatypeReasoner.containsAtLeast(int n,
Collection<aterm.ATermAppl> ranges)
Check that the intersection of a collection of data ranges contains a
minimum number of elements.
|
boolean |
DatatypeReasonerImpl.containsAtLeast(int n,
Collection<aterm.ATermAppl> ranges) |
aterm.ATermAppl |
DatatypeReasoner.getCanonicalRepresentation(aterm.ATermAppl literal)
Get the canonical representation of a literal.
|
aterm.ATermAppl |
DatatypeReasonerImpl.getCanonicalRepresentation(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDDouble.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDFloat.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDDecimal.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
Datatype.getCanonicalRepresentation(aterm.ATermAppl input)
Get the canonical representation of a lexical form
|
aterm.ATermAppl |
InfiniteNamedDatatype.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDLong.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDInteger.getCanonicalRepresentation(aterm.ATermAppl input) |
Object |
DatatypeReasoner.getValue(aterm.ATermAppl literal)
Get the Java object representation of the data value.
|
Object |
DatatypeReasonerImpl.getValue(aterm.ATermAppl literal) |
Double |
XSDDouble.getValue(aterm.ATermAppl literal) |
Float |
XSDFloat.getValue(aterm.ATermAppl literal) |
Number |
XSDDecimal.getValue(aterm.ATermAppl literal) |
T |
Datatype.getValue(aterm.ATermAppl literal)
Get the Java object representation of a data value
|
aterm.ATermAppl |
InfiniteNamedDatatype.getValue(aterm.ATermAppl literal) |
Number |
XSDLong.getValue(aterm.ATermAppl literal) |
Number |
XSDInteger.getValue(aterm.ATermAppl literal) |
boolean |
DatatypeReasoner.isSatisfiable(Collection<aterm.ATermAppl> dataranges)
Shorthand for
DatatypeReasoner.isSatisfiable(Collection, Object) where
value == null. |
boolean |
DatatypeReasonerImpl.isSatisfiable(Collection<aterm.ATermAppl> dataranges) |
boolean |
DatatypeReasoner.isSatisfiable(Collection<aterm.ATermAppl> dataranges,
Object value)
Check the data ranges on a single literal node are satisfiable
(independent of other nodes).
|
boolean |
DatatypeReasonerImpl.isSatisfiable(Collection<aterm.ATermAppl> dataranges,
Object value) |
boolean |
DatatypeReasoner.isSatisfiable(Set<Literal> nodes,
Map<Literal,Set<Literal>> ineqs)
Check that the data ranges and inequalities asserted on a collection of
literal nodes are satisfiable.
|
boolean |
DatatypeReasonerImpl.isSatisfiable(Set<Literal> nodes,
Map<Literal,Set<Literal>> neqs) |
Iterator<?> |
DatatypeReasoner.valueIterator(Collection<aterm.ATermAppl> dataranges)
Get an iterator for the values of a finite datarange
|
Iterator<?> |
DatatypeReasonerImpl.valueIterator(Collection<aterm.ATermAppl> dataranges) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
XSDBoolean.getCanonicalRepresentation(aterm.ATermAppl input) |
Boolean |
XSDBoolean.getValue(aterm.ATermAppl literal) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
XSDDateTimeStamp.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
AbstractTimelineDatatype.getCanonicalRepresentation(aterm.ATermAppl input) |
XMLGregorianCalendar |
XSDDateTimeStamp.getValue(aterm.ATermAppl literal) |
XMLGregorianCalendar |
AbstractTimelineDatatype.getValue(aterm.ATermAppl literal) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
XSDDuration.getCanonicalRepresentation(aterm.ATermAppl input) |
Duration |
XSDDuration.getValue(aterm.ATermAppl literal) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
XSDDouble.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDFloat.getCanonicalRepresentation(aterm.ATermAppl input) |
Double |
XSDDouble.getValue(aterm.ATermAppl literal) |
Float |
XSDFloat.getValue(aterm.ATermAppl literal) |
| Modifier and Type | Method and Description |
|---|---|
protected Number |
XSDUnsignedLong.fromLexicalForm(String lexicalForm) |
protected Number |
XSDUnsignedShort.fromLexicalForm(String lexicalForm) |
protected Number |
XSDByte.fromLexicalForm(String lexicalForm) |
protected Number |
XSDInt.fromLexicalForm(String lexicalForm) |
protected Number |
XSDShort.fromLexicalForm(String lexicalForm) |
protected Number |
XSDUnsignedInt.fromLexicalForm(String lexicalForm) |
protected Number |
XSDNonPositiveInteger.fromLexicalForm(String lexicalForm) |
protected Number |
XSDPositiveInteger.fromLexicalForm(String lexicalForm) |
protected abstract Number |
AbstractDerivedIntegerType.fromLexicalForm(String lexicalForm)
Parse and validate a lexical form of the literal.
|
protected Number |
XSDLong.fromLexicalForm(String lexicalForm) |
protected Number |
XSDNegativeInteger.fromLexicalForm(String lexicalForm) |
protected Number |
XSDNonNegativeInteger.fromLexicalForm(String lexicalForm) |
protected Number |
XSDUnsignedByte.fromLexicalForm(String lexicalForm) |
protected Number |
XSDInteger.fromLexicalForm(String lexicalForm) |
aterm.ATermAppl |
OWLReal.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDDecimal.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
AbstractDerivedIntegerType.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
OWLRational.getCanonicalRepresentation(aterm.ATermAppl input) |
Number |
OWLReal.getValue(aterm.ATermAppl literal) |
Number |
XSDDecimal.getValue(aterm.ATermAppl literal) |
Number |
AbstractDerivedIntegerType.getValue(aterm.ATermAppl literal) |
Number |
OWLRational.getValue(aterm.ATermAppl literal) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
XSDName.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDToken.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
RDFPlainLiteral.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDNCName.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDLanguage.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDNMToken.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDString.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDNormalizedString.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDName.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDToken.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
RDFPlainLiteral.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDNCName.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDLanguage.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDNMToken.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDString.getValue(aterm.ATermAppl literal) |
aterm.ATermAppl |
XSDNormalizedString.getValue(aterm.ATermAppl literal) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
XSDAnyURI.getCanonicalRepresentation(aterm.ATermAppl input) |
aterm.ATermAppl |
XSDAnyURI.getValue(aterm.ATermAppl literal) |
Copyright © 2019. All rights reserved.