public class MimusMusEnumerator extends PlMusEnumerator
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
pathToMimus
The Mimus executable.
|
Constructor and Description |
---|
MimusMusEnumerator(java.lang.String pathToMimus)
Creates a new MUs enumerator.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<PropositionalFormula>> |
minimalInconsistentSubsets(java.util.Collection<PropositionalFormula> formulas)
This method returns the minimal inconsistent subsets of the given
set of formulas.
|
getDefaultEnumerator, hasDefaultEnumerator, setDefaultEnumerator
getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets
public MimusMusEnumerator(java.lang.String pathToMimus)
pathToMimus
- the path to the MIMUS executable.public java.util.Collection<java.util.Collection<PropositionalFormula>> minimalInconsistentSubsets(java.util.Collection<PropositionalFormula> formulas)
MusEnumerator
minimalInconsistentSubsets
in interface MusEnumerator<PropositionalFormula>
minimalInconsistentSubsets
in class PlMusEnumerator
formulas
- a set of formulas.