Class DrasticInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    S - the type of formulas
    All Implemented Interfaces:
    net.sf.tweety.commons.postulates.PostulateEvaluatable<S>, InconsistencyMeasure<net.sf.tweety.commons.BeliefSet<S,​?>>

    public class DrasticInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>
    extends BeliefSetInconsistencyMeasure<S>
    This class models the drastic inconsistency measure.
    Author:
    Matthias Thimm
    • Constructor Detail

      • DrasticInconsistencyMeasure

        public DrasticInconsistencyMeasure​(BeliefSetConsistencyTester<S> consTester)
        Creates a new drastic inconsistency measure.
        Parameters:
        consTester - some consistency tester