Package net.sf.tweety.logics.pl.sat

Class MimusMusEnumerator

java.lang.Object

net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator<PlFormula>

net.sf.tweety.logics.pl.sat.PlMusEnumerator

net.sf.tweety.logics.pl.sat.MimusMusEnumerator

All Implemented Interfaces:

net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester<PlFormula>, net.sf.tweety.logics.commons.analysis.ConsistencyTester<net.sf.tweety.commons.BeliefSet<PlFormula,?>>, net.sf.tweety.logics.commons.analysis.MusEnumerator<PlFormula>

public class MimusMusEnumerator
extends PlMusEnumerator

Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html). Tested with version 1.0.5.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
MimusMusEnumerator(String pathToMimus)	Creates a new MUs enumerator.

Method Summary

Modifier and Type	Method	Description
Collection<Collection<PlFormula>>	minimalInconsistentSubsets(Collection<PlFormula> formulas)

Methods inherited from class net.sf.tweety.logics.pl.sat.PlMusEnumerator

getDefaultEnumerator, hasDefaultEnumerator, setDefaultEnumerator

Methods inherited from class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator

getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MimusMusEnumerator

public MimusMusEnumerator(String pathToMimus)

Creates a new MUs enumerator.

Parameters:

pathToMimus - the path to the MIMUS executable.

Method Detail

minimalInconsistentSubsets

public Collection<Collection<PlFormula>> minimalInconsistentSubsets(Collection<PlFormula> formulas)

Specified by:

minimalInconsistentSubsets in interface net.sf.tweety.logics.commons.analysis.MusEnumerator<PlFormula>

Specified by:

minimalInconsistentSubsets in class PlMusEnumerator