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 and 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 and 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.

Fields in net.sf.tweety.logics.pl.sat declared as AbstractMusEnumerator

Modifier and Type	Field and Description
private static AbstractMusEnumerator<PropositionalFormula>	PlMusEnumerator.defaultEnumerator The default MUS enumerator.

Methods in net.sf.tweety.logics.pl.sat that return AbstractMusEnumerator

Modifier and Type	Method and Description
static AbstractMusEnumerator<PropositionalFormula>	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 and Description
static void	PlMusEnumerator.setDefaultEnumerator(AbstractMusEnumerator<PropositionalFormula> 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 and Description
static AbstractMusEnumerator<PropositionalFormula>	InconsistencyMeasurementService.musEnumerator The MUS enumerator configured for this service.