Uses of Class
net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator

Packages that use AbstractMusEnumerator

Package	Description
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.pl.sat
net.sf.tweety.web.services

Uses of AbstractMusEnumerator in net.sf.tweety.logics.commons.analysis

Subclasses of AbstractMusEnumerator in net.sf.tweety.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 net.sf.tweety.logics.pl.sat

Subclasses of AbstractMusEnumerator in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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.

Uses of AbstractMusEnumerator in net.sf.tweety.web.services

Fields in net.sf.tweety.web.services declared as AbstractMusEnumerator

Modifier and Type	Field	Description
static AbstractMusEnumerator<PlFormula>	InconsistencyMeasurementService.musEnumerator	The MUS enumerator configured for this service.