Interface MusEnumerator<S extends Formula>

Type Parameters:
S - the type of formulas
All Superinterfaces:
BeliefSetConsistencyTester<S>, ConsistencyTester<BeliefSet<S,?>>
All Known Implementing Classes:
AbstractMusEnumerator, MarcoMusEnumerator, MimusMusEnumerator, NaiveMusEnumerator, PlMusEnumerator
public interface MusEnumerator<S extends Formula> extends BeliefSetConsistencyTester<S>
Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).
Author:
Matthias Thimm

  • Method Details

    • minimalInconsistentSubsets

      Collection<Collection<S>> minimalInconsistentSubsets(Collection<S> formulas)
      This method returns the minimal inconsistent subsets of the given set of formulas.
      Parameters:
      formulas - a set of formulas.
      Returns:
      the minimal inconsistent subsets of the given set of formulas

    • maximalConsistentSubsets

      Collection<Collection<S>> maximalConsistentSubsets(Collection<S> formulas)
      This method returns the maximal consistent subsets of the given set of formulas
      Parameters:
      formulas - a set of formulas
      Returns:
      the maximal consistent subsets of the given set of formulas.

    • minimalCorrectionSubsets

      Set<Set<S>> minimalCorrectionSubsets(Collection<S> formulas)
      This method returns the minimal correction subsets of the given set of formulas (i.e. the complements of maximal consistent subsets)
      Parameters:
      formulas - a set of formulas
      Returns:
      the minimal corrections subsets of the given set of formulas.

    • getMiComponents

      Collection<Collection<S>> getMiComponents(Collection<S> formulas)
      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).
      Parameters:
      formulas - a set of formulas K
      Returns:
      the MI components of K

    • isConsistent

      boolean isConsistent(BeliefSet<S,?> beliefSet)
      Description copied from interface: ConsistencyTester
      Checks whether the given belief base is consistent.
      Specified by:
      isConsistent in interface BeliefSetConsistencyTester<S extends Formula>
      Specified by:
      isConsistent in interface ConsistencyTester<S extends Formula>
      Parameters:
      beliefSet - a belief base.
      Returns:
      "true" iff the given belief base is consistent.

    • isConsistent

      boolean isConsistent(Collection<S> formulas)
      Description copied from interface: BeliefSetConsistencyTester
      Checks whether the given collection of formulas is consistent.
      Specified by:
      isConsistent in interface BeliefSetConsistencyTester<S extends Formula>
      Parameters:
      formulas - a collection of formulas.
      Returns:
      "true" iff the given collection of formulas is consistent.

    • isConsistent

      boolean isConsistent(S formula)
      Description copied from interface: BeliefSetConsistencyTester
      Checks whether the given formula is consistent.
      Specified by:
      isConsistent in interface BeliefSetConsistencyTester<S extends Formula>
      Parameters:
      formula - a formulas.
      Returns:
      "true" iff the formula is consistent.

    • isInstalled

      boolean isInstalled()
      Returns:
      whether the consistency measure is installed