Uses of Class
org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator

Packages that use AbstractMusEnumerator

Package	Description
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.pl.sat

Uses of AbstractMusEnumerator in org.tweetyproject.logics.commons.analysis

Subclasses of AbstractMusEnumerator in org.tweetyproject.logics.commons.analysis

Modifier and Type	Class	Description
class	NaiveMusEnumerator<S extends Formula>	A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.

Uses of AbstractMusEnumerator in org.tweetyproject.logics.pl.sat

Subclasses of AbstractMusEnumerator in org.tweetyproject.logics.pl.sat

Modifier and Type	Class	Description
class	MarcoMusEnumerator	Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
class	MimusMusEnumerator	Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
class	PlMusEnumerator	This abstract class models a MUS enumerator for propositional logic, i.e.

Methods in org.tweetyproject.logics.pl.sat that return AbstractMusEnumerator

Modifier and Type	Method	Description
static AbstractMusEnumerator<PlFormula>	PlMusEnumerator.getDefaultEnumerator()	Returns the default MUS enumerator. If a default MUS enumerator has been configured this enumerator is returned by this method.

Methods in org.tweetyproject.logics.pl.sat with parameters of type AbstractMusEnumerator

Modifier and Type	Method	Description
static void	PlMusEnumerator.setDefaultEnumerator(AbstractMusEnumerator<PlFormula> enumerator)	Sets the default MUS enumerator.