Package org.processmining.directlyfollowsmodelminer.mining

Class CheckSoundness

java.lang.Object

org.processmining.directlyfollowsmodelminer.mining.CheckSoundness

public class CheckSoundness
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
CheckSoundness()

Method Summary

Modifier and Type	Method	Description
static java.util.BitSet	backwardReachabilitySearch(DirectlyFollowsModel dfm)
static java.lang.String	findIssues(DirectlyFollowsModel dfm)	Check the dfm for soundness.
static java.util.BitSet	forwardReachabilitySearch(DirectlyFollowsModel dfm)

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckSoundness

public CheckSoundness()

Method Detail

findIssues

public static java.lang.String findIssues(DirectlyFollowsModel dfm)

Check the dfm for soundness.

Parameters:

dfm -

Returns:

A string describing an issue, or null if there are no issues.

forwardReachabilitySearch

public static java.util.BitSet forwardReachabilitySearch(DirectlyFollowsModel dfm)

backwardReachabilitySearch

public static java.util.BitSet backwardReachabilitySearch(DirectlyFollowsModel dfm)