Class MicInconsistencyMeasure<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.MicInconsistencyMeasure<S>
Type Parameters:
S - the type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,​?>>
Direct Known Subclasses:
NormalizedMicInconsistencyMeasure

public class MicInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class models the MI^C inconsistency measure.
Author:
Matthias Thimm
  • Constructor Details

    • MicInconsistencyMeasure

      public MicInconsistencyMeasure(MusEnumerator<S> enumerator)
      Creates a new drastic inconsistency measure.
      Parameters:
      enumerator - some MUs enumerator
  • Method Details