MimusMusEnumerator

java.lang.Object
- net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator<PlFormula>
- - net.sf.tweety.logics.pl.sat.PlMusEnumerator
  - - net.sf.tweety.logics.pl.sat.MimusMusEnumerator

All Implemented Interfaces:

BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>, MusEnumerator<PlFormula>
```
public class MimusMusEnumerator
extends PlMusEnumerator
```
Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html). Tested with version 1.0.5.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

MimusMusEnumerator(java.lang.String pathToMimus)
Creates a new MUs enumerator.

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<java.util.Collection<PlFormula>>`	`minimalInconsistentSubsets(java.util.Collection<PlFormula> formulas)`	This method returns the minimal inconsistent subsets of the given set of formulas.

Methods inherited from class net.sf.tweety.logics.pl.sat.PlMusEnumerator
getDefaultEnumerator, hasDefaultEnumerator, setDefaultEnumerator

Methods inherited from class net.sf.tweety.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 Detail
  - MimusMusEnumerator
```
public MimusMusEnumerator(java.lang.String pathToMimus)
```
    Creates a new MUs enumerator.
    
    Parameters:
    
    pathToMimus - the path to the MIMUS executable.
- Method Detail
  - minimalInconsistentSubsets
```
public java.util.Collection<java.util.Collection<PlFormula>> minimalInconsistentSubsets(java.util.Collection<PlFormula> 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<PlFormula>
    
    Specified by:
    
    minimalInconsistentSubsets in class PlMusEnumerator
    
    Parameters:
    
    formulas - a set of formulas.
    
    Returns:
    
    the minimal inconsistent subsets of the given set of formulas