public class MarcoMusEnumerator extends PlMusEnumerator
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
pathToMarco
The MARCO executable.
|
Constructor and Description |
---|
MarcoMusEnumerator(java.lang.String pathToMarco)
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 MarcoMusEnumerator(java.lang.String pathToMarco)
pathToMarco
- the path to the MARCO 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.