Interface TabulationDomain<F,​T>

    • Method Detail

      • hasPriorityOver

        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