Class AbstractMusEnumerator<S extends Formula>

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<java.util.Collection<S>> getMiComponents​(java.util.Collection<S> formulas)
      Computes the maximal (wrt.
      boolean isConsistent​(java.util.Collection<S> formulas)
      Checks whether the given collection of formulas is consistent.
      boolean isConsistent​(BeliefSet<S,​?> beliefSet)
      Checks whether the given belief base is consistent.
      boolean isConsistent​(S formula)
      Checks whether the given formula is consistent.
      java.util.Collection<java.util.Collection<S>> maximalConsistentSubsets​(java.util.Collection<S> formulas)
      This method returns the maximal consistent subsets of the given set of formulas
      java.util.Set<java.util.Set<S>> minimalCorrectionSubsets​(java.util.Collection<S> formulas)
      This method returns the minimal correction subsets of the given set of formulas (i.e.
      abstract java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets​(java.util.Collection<S> formulas)
      This method returns the minimal inconsistent subsets of the given set of formulas.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AbstractMusEnumerator

        public AbstractMusEnumerator()
    • Method Detail

      • minimalInconsistentSubsets

        public abstract java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets​(java.util.Collection<S> formulas)
        Description copied from interface: MusEnumerator
        This method returns the minimal inconsistent subsets of the given set of formulas.
        Specified by:
        minimalInconsistentSubsets in interface MusEnumerator<S extends Formula>
        Parameters:
        formulas - a set of formulas.
        Returns:
        the minimal inconsistent subsets of the given set of formulas
      • minimalCorrectionSubsets

        public java.util.Set<java.util.Set<S>> minimalCorrectionSubsets​(java.util.Collection<S> formulas)
        Description copied from interface: MusEnumerator
        This method returns the minimal correction subsets of the given set of formulas (i.e. the complements of maximal consistent subsets)
        Specified by:
        minimalCorrectionSubsets in interface MusEnumerator<S extends Formula>
        Parameters:
        formulas - a set of formulas
        Returns:
        the minimal corrections subsets of the given set of formulas.
      • maximalConsistentSubsets

        public java.util.Collection<java.util.Collection<S>> maximalConsistentSubsets​(java.util.Collection<S> formulas)
        Description copied from interface: MusEnumerator
        This method returns the maximal consistent subsets of the given set of formulas
        Specified by:
        maximalConsistentSubsets in interface MusEnumerator<S extends Formula>
        Parameters:
        formulas - a set of formulas
        Returns:
        the maximal consistent subsets of the given set of formulas.
      • getMiComponents

        public java.util.Collection<java.util.Collection<S>> getMiComponents​(java.util.Collection<S> formulas)
        Description copied from interface: MusEnumerator
        Computes the maximal (wrt. cardinality) partitioning {K1,...,Kn} of K (ie. K is a disjoint union of K1,...,Kn) such that MI(K) is a disjoint union of MI(K1),...,MI(Kn).
        Specified by:
        getMiComponents in interface MusEnumerator<S extends Formula>
        Parameters:
        formulas - a set of formulas K
        Returns:
        the MI components of K