Package org.tweetyproject.logics.bpm.analysis

Class DeadEndInconsistencyMeasure

java.lang.Object

org.tweetyproject.logics.bpm.analysis.DeadEndInconsistencyMeasure

All Implemented Interfaces:

BpmnInconsistencyMeasure, InconsistencyMeasure<ReachabilityGraph>

public class DeadEndInconsistencyMeasure
extends Object
implements BpmnInconsistencyMeasure

A BPMN model has an IndeterminateInconsistency value of 1 if there is an activity in this model a) that is reachable from a start event via the model's sequence flow b) from where no end event can possibly be reached, and 0 otherwise

Author:

Benedikt Knopp

Field Summary

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

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
DeadEndInconsistencyMeasure()	DeadEndInconsistencyMeasure

Method Summary

Modifier and Type	Method	Description
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

DeadEndInconsistencyMeasure

public DeadEndInconsistencyMeasure()

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.