NaiveMusEnumerator

java.lang.Object

org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<S>

org.tweetyproject.logics.commons.analysis.NaiveMusEnumerator<S>

Type Parameters:: S - The type of formulas.

All Implemented Interfaces:: BeliefSetConsistencyTester<S>, ConsistencyTester<BeliefSet<S,?>>, MusEnumerator<S>

public class NaiveMusEnumerator<S extends Formula> extends AbstractMusEnumerator<S>

A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)

Creates a new naive MusEnumerator that uses the given consistency tester.
Method Summary

Modifier and Type

Method

Description

Collection<Collection<S>>

minimalInconsistentSubsets(Collection<S> beliefSet)

This method returns the minimal inconsistent subsets of the given set of formulas.

Methods inherited from class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- NaiveMusEnumerator
  
  public NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)
  
  Creates a new naive MusEnumerator that uses the given consistency tester.
  
  Parameters:
  
  tester - some consistency tester
Method Details
- minimalInconsistentSubsets
  
  public Collection<Collection<S>> minimalInconsistentSubsets(Collection<S> beliefSet)
  
  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>
  
  Specified by:
  
  minimalInconsistentSubsets in class AbstractMusEnumerator<S extends Formula>
  
  Parameters:
  
  beliefSet - a set of formulas.
  
  Returns:
  
  the minimal inconsistent subsets of the given set of formulas