MimusMusEnumerator

java.lang.Object

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

org.tweetyproject.logics.pl.sat.PlMusEnumerator

org.tweetyproject.logics.pl.sat.MimusMusEnumerator

All Implemented Interfaces:: BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>, 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

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
- MimusMusEnumerator
  
  public MimusMusEnumerator(String pathToMimus)
  
  Creates a new MUs enumerator.
  
  Parameters:
  
  pathToMimus - the path to the MIMUS 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