net.sf.tweety.logics.pl.sat

Class MarcoMusEnumerator

java.lang.Object

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

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

net.sf.tweety.logics.pl.sat.MarcoMusEnumerator

All Implemented Interfaces:

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

public class MarcoMusEnumerator
extends PlMusEnumerator

Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/). Tested with version 1.0.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	pathToMarco The MARCO executable.

Constructor Summary

Constructors

Constructor and Description
MarcoMusEnumerator(java.lang.String pathToMarco) 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

pathToMarco

private java.lang.String pathToMarco

The MARCO executable.

Constructor Detail

MarcoMusEnumerator

public MarcoMusEnumerator(java.lang.String pathToMarco)

Creates a new MUs enumerator.

Parameters:

pathToMarco - the path to the MARCO 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