Class 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 Details

    • MimusMusEnumerator

      public MimusMusEnumerator(String pathToMimus)
      Creates a new MUs enumerator.
      Parameters:
      pathToMimus - the path to the MIMUS executable.
  • Method Details