Class AbstractMusEnumerator<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<S>
Type Parameters:
S - the type of formulas
All Implemented Interfaces:
BeliefSetConsistencyTester<S>, ConsistencyTester<BeliefSet<S,?>>, MusEnumerator<S>
Direct Known Subclasses:
NaiveMusEnumerator, PlMusEnumerator

public abstract class AbstractMusEnumerator<S extends Formula> extends Object implements MusEnumerator<S>
Abstract implementation for MUes enumerators.
Author:
Matthias Thimm