public class UnorderedDomain<T,U> extends MutableMapping<T> implements TabulationDomain<T,U>
TabulationDomain
with no build-in partial order defining priority.Constructor and Description |
---|
UnorderedDomain() |
Modifier and Type | Method and Description |
---|---|
boolean |
hasPriorityOver(PathEdge<U> p1,
PathEdge<U> p2)
returns
true if p1 should be processed before
p2 by the TabulationSolver
For example, if this domain supports a partial order on facts, return true
if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2)
return false otherwise |
add, deleteMappedObject, getMappedIndex, getMappedObject, getMaximumIndex, getObjects, getSize, hasMappedIndex, iterator, make, makeSingleton, put, replace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex
forEach, iterator, spliterator
public boolean hasPriorityOver(PathEdge<U> p1, PathEdge<U> p2)
TabulationDomain
true
if p1 should be processed before
p2 by the TabulationSolver
For example, if this domain supports a partial order on facts, return true
if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2)
return false otherwisehasPriorityOver
in interface TabulationDomain<T,U>