S - The type of formulas.public class NaiveMusEnumerator<S extends net.sf.tweety.commons.Formula> extends AbstractMusEnumerator<S>
| Constructor and Description |
|---|
NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)
Creates a new naive MusEnumerator that uses the given consistency tester.
|
| Modifier and Type | Method and Description |
|---|---|
Collection<Collection<S>> |
minimalInconsistentSubsets(Collection<S> beliefSet)
This method returns the minimal inconsistent subsets of the given
set of formulas.
|
getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsetspublic NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)
tester - some consistency testerpublic Collection<Collection<S>> minimalInconsistentSubsets(Collection<S> beliefSet)
MusEnumeratorminimalInconsistentSubsets in interface MusEnumerator<S extends net.sf.tweety.commons.Formula>minimalInconsistentSubsets in class AbstractMusEnumerator<S extends net.sf.tweety.commons.Formula>beliefSet - a set of formulas.Copyright © 2018. All rights reserved.