Package org.tweetyproject.logics.bpm.analysis

Class DeadTransitionMeasure

java.lang.Object

org.tweetyproject.logics.bpm.analysis.DeadTransitionMeasure

All Implemented Interfaces:

BpmnInconsistencyMeasure, InconsistencyMeasure<ReachabilityGraph>

public class DeadTransitionMeasure
extends Object
implements BpmnInconsistencyMeasure

The DeadTransitionMeasure

Author:

Benedikt Knopp

Field Summary

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

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
DeadTransitionMeasure()	Default Constructor

Method Summary

Modifier and Type	Method	Description
List<String>	getInfoStrings()	Return info strings
Double	inconsistencyMeasure(ReachabilityGraph reachabilityGraph)	This method measures the inconsistency of the given belief base.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DeadTransitionMeasure

public DeadTransitionMeasure()

Default Constructor

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

Description copied from interface: BpmnInconsistencyMeasure

Return info strings

Specified by:

getInfoStrings in interface BpmnInconsistencyMeasure

Returns:

info strings