MarcoMusEnumerator

java.lang.Object

org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<PlFormula>

org.tweetyproject.logics.pl.sat.PlMusEnumerator

org.tweetyproject.logics.pl.sat.MarcoMusEnumerator

All Implemented Interfaces:: BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>, MusEnumerator<PlFormula>

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

Constructor Summary

Constructors

Constructor

Description

MarcoMusEnumerator(String pathToMarco)

Creates a new MUs enumerator.
Method Summary

Modifier and Type

Method

Description

boolean

isInstalled()

Collection<Collection<PlFormula>>

minimalInconsistentSubsets(Collection<PlFormula> formulas)

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

Methods inherited from class org.tweetyproject.logics.pl.sat.PlMusEnumerator
convertToDimacsAndIndex, getDefaultEnumerator, hasDefaultEnumerator, setDefaultEnumerator

Methods inherited from class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- MarcoMusEnumerator
  
  public MarcoMusEnumerator(String pathToMarco)
  
  Creates a new MUs enumerator.
  
  Parameters:
  
  pathToMarco - the path to the MARCO executable.
Method Details
- minimalInconsistentSubsets
  
  public Collection<Collection<PlFormula>> minimalInconsistentSubsets(Collection<PlFormula> 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<PlFormula>
  
  Specified by:
  
  minimalInconsistentSubsets in class PlMusEnumerator
  
  Parameters:
  
  formulas - a set of formulas.
  
  Returns:
  
  the minimal inconsistent subsets of the given set of formulas
- isInstalled
  
  public boolean isInstalled()
  
  Returns:
  
  whether the consistency measure is installed