net.sf.tweety.logics.pl.sat

Class MimusMusEnumerator

java.lang.Object

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

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

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

All Implemented Interfaces:

BeliefSetConsistencyTester<PropositionalFormula>, ConsistencyTester<BeliefSet<PropositionalFormula>>, MusEnumerator<PropositionalFormula>

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

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	pathToMimus The Mimus executable.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<PropositionalFormula>>	minimalInconsistentSubsets(java.util.Collection<PropositionalFormula> formulas) This method returns the minimal inconsistent subsets of the given set of 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

Field Detail

pathToMimus

private java.lang.String pathToMimus

The Mimus executable.

Constructor Detail

MimusMusEnumerator

public MimusMusEnumerator(java.lang.String pathToMimus)

Creates a new MUs enumerator.

Parameters:

pathToMimus - the path to the MIMUS executable.

Method Detail

minimalInconsistentSubsets

public java.util.Collection<java.util.Collection<PropositionalFormula>> minimalInconsistentSubsets(java.util.Collection<PropositionalFormula> formulas)

Description copied from interface: MusEnumerator

This method returns the minimal inconsistent subsets of the given set of formulas.

Specified by:

minimalInconsistentSubsets in interface MusEnumerator<PropositionalFormula>

Specified by:

minimalInconsistentSubsets in class PlMusEnumerator

Parameters:

formulas - a set of formulas.

Returns:

the minimal inconsistent subsets of the given set of formulas