NaiveMusEnumerator

java.lang.Object
- net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator<S>
- - net.sf.tweety.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

Field Summary

Fields
Modifier and Type Field Description

private BeliefSetConsistencyTester<S> tester
Used for making consistency checks.

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
`private java.util.Collection<java.util.Collection<S>>`	`merge(java.util.Collection<java.util.Collection<S>> formulas)`	Auxiliary method that combines every two collections into one.
`java.util.Collection<java.util.Collection<S>>`	`minimalInconsistentSubsets(java.util.Collection<S> beliefSet)`	This method returns the minimal inconsistent subsets of the given set of formulas.

Methods inherited from class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets

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

- Field Detail
  - tester
```
private BeliefSetConsistencyTester<S extends Formula> tester
```
    Used for making consistency checks.
- Constructor Detail
  - NaiveMusEnumerator
```
public NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)
```
    Creates a new naive MusEnumerator that uses the given consistency tester.
    
    Parameters:
    
    tester - some consistency tester
- Method Detail
  - minimalInconsistentSubsets
```
public java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets(java.util.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
  - merge
```
private java.util.Collection<java.util.Collection<S>> merge(java.util.Collection<java.util.Collection<S>> formulas)
```
    Auxiliary method that combines every two collections into one.
    
    Parameters:
    
    formulas - a set of sets of formulas
    
    Returns:
    
    a set of sets of formulas