Class NaiveMusEnumerator<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<S>
org.tweetyproject.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