Class UnorderedDomain<T,​U>

    • Constructor Detail

      • UnorderedDomain

        public UnorderedDomain()
    • Method Detail

      • hasPriorityOver

        public boolean hasPriorityOver​(PathEdge<U> p1,
                                       PathEdge<U> p2)
        Description copied from interface: TabulationDomain
        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
        Specified by:
        hasPriorityOver in interface TabulationDomain<T,​U>