Package org.tweetyproject.logics.bpm.analysis

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
    DeadEndMeasure()
    DeadEndInconsistencyMeasure

  • Method Summary

    Modifier and Type
    Method
    Description
    List<String>
    getInfoStrings()
     
    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
    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
    Double
    inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
    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