Class NaiveMusEnumerator<S extends Formula>
- 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
-
-
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 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
-
-
-
-
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 interfaceMusEnumerator<S extends Formula>
- Specified by:
minimalInconsistentSubsets
in classAbstractMusEnumerator<S extends Formula>
- Parameters:
beliefSet
- a set of formulas.- Returns:
- the minimal inconsistent subsets of the given set of formulas
-
-