| Modifier and Type | Method and Description |
|---|---|
RestrictedDatatype<T> |
RestrictedDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
Object value)
Apply a constraining facet to further restrict the value space
|
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) |
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 |
|---|---|
RestrictedDatatype<Boolean> |
RestrictedBooleanDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
Object value) |
| Modifier and Type | Method and Description |
|---|---|
RestrictedDatatype<XMLGregorianCalendar> |
RestrictedTimelineDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
Object value) |
| Modifier and Type | Method and Description |
|---|---|
RestrictedDatatype<Duration> |
RestrictedDurationDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
Object value) |
| Modifier and Type | Method and Description |
|---|---|
RestrictedDatatype<aterm.ATermAppl> |
RestrictedTextDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
Object value) |
| Modifier and Type | Method and Description |
|---|---|
RestrictedDatatype<aterm.ATermAppl> |
RestrictedURIDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
Object value) |
Copyright © 2019. All rights reserved.