F
- factoid typeT
- type of nodes in the supergraphpublic interface TabulationDomain<F,T> extends OrdinalSetMapping<F>
Modifier and Type | Method and Description |
---|---|
boolean |
hasPriorityOver(PathEdge<T> p1,
PathEdge<T> 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, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex
forEach, iterator, spliterator
boolean hasPriorityOver(PathEdge<T> p1, PathEdge<T> p2)
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