S
- The type of formulas.public class NaiveMusEnumerator<S extends Formula> extends AbstractMusEnumerator<S>
Modifier and Type | Field and Description |
---|---|
private BeliefSetConsistencyTester<S> |
tester
Used for making consistency checks.
|
Constructor and Description |
---|
NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)
Creates a new naive MusEnumerator that uses the given consistency tester.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Collection<java.util.Collection<S>> |
merge(java.util.Collection<java.util.Collection<S>> formulas)
Auxiliary method that combines every two collections into one.
|
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.
|
getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets
private BeliefSetConsistencyTester<S extends Formula> tester
public NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)
tester
- some consistency testerpublic java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets(java.util.Collection<S> beliefSet)
MusEnumerator
minimalInconsistentSubsets
in interface MusEnumerator<S extends Formula>
minimalInconsistentSubsets
in class AbstractMusEnumerator<S extends Formula>
beliefSet
- a set of formulas.