Class DeadEndMeasure

java.lang.Object
org.tweetyproject.logics.bpm.analysis.DeadEndMeasure
All Implemented Interfaces:
BpmnInconsistencyMeasure, InconsistencyMeasure<ReachabilityGraph>

public class DeadEndMeasure extends Object implements BpmnInconsistencyMeasure
Author:
Benedikt Knopp
  • Field Summary

    Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure

    MEASURE_TOLERANCE
  • Constructor Summary

    Constructors
    Constructor
    Description
    DeadEndInconsistencyMeasure
  • Method Summary

    Modifier and Type
    Method
    Description
     
    Retrieve for a particular (non-final) state its local culpability for the global inconsistency A high culpability means that this state features many tokens in non-final places and the state is entered with a high probability
    Retrieve for a particular (non-final) place its local culpability for the global inconsistency A high culpability means that many tokens remain in that place with a high probability
    This method measures the inconsistency of the given belief base.
    void
    setTokenSensitivity(boolean tokenSensitive)
    specify before determining the values whether the value should be token sensitive A token sensitive measure assigns higher inconsistency values if more tokens remain in non-final places

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • DeadEndMeasure

      public DeadEndMeasure()
      DeadEndInconsistencyMeasure
  • Method Details

    • inconsistencyMeasure

      public Double inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
      Description copied from interface: InconsistencyMeasure
      This method measures the inconsistency of the given belief base.
      Specified by:
      inconsistencyMeasure in interface InconsistencyMeasure<ReachabilityGraph>
      Parameters:
      reachabilityGraph - a belief base.
      Returns:
      a Double indicating the degree of inconsistency.
    • getInfoStrings

      public List<String> getInfoStrings()
      Specified by:
      getInfoStrings in interface BpmnInconsistencyMeasure
    • setTokenSensitivity

      public void setTokenSensitivity(boolean tokenSensitive)
      specify before determining the values whether the value should be token sensitive A token sensitive measure assigns higher inconsistency values if more tokens remain in non-final places
      Parameters:
      tokenSensitive -
    • getPlaceCulpability

      public Double getPlaceCulpability(Place place)
      Retrieve for a particular (non-final) place its local culpability for the global inconsistency A high culpability means that many tokens remain in that place with a high probability
      Parameters:
      place - the place
      Returns:
      the place culpability
    • getMarkingCulpability

      public Double getMarkingCulpability(Marking marking)
      Retrieve for a particular (non-final) state its local culpability for the global inconsistency A high culpability means that this state features many tokens in non-final places and the state is entered with a high probability
      Parameters:
      marking - the state
      Returns:
      the state culpability