Package net.sf.tweety.logics.pl.sat
Class MarcoMusEnumerator
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator<PlFormula>
-
- net.sf.tweety.logics.pl.sat.PlMusEnumerator
-
- net.sf.tweety.logics.pl.sat.MarcoMusEnumerator
-
- All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>
,ConsistencyTester<BeliefSet<PlFormula,?>>
,MusEnumerator<PlFormula>
public class MarcoMusEnumerator extends PlMusEnumerator
Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/). Tested with version 1.0.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description MarcoMusEnumerator(java.lang.String pathToMarco)
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
-
-
-
-
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 interfaceMusEnumerator<PlFormula>
- Specified by:
minimalInconsistentSubsets
in classPlMusEnumerator
- Parameters:
formulas
- a set of formulas.- Returns:
- the minimal inconsistent subsets of the given set of formulas
-
-