Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer

Class ReachabilityGraphStaticAnalyzerImpl<M extends Marking<?>>

java.lang.Object

org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer.ReachabilityGraphStaticAnalyzerImpl<M>

All Implemented Interfaces:

ReachabilityGraphStaticAnalyzer<M>

public class ReachabilityGraphStaticAnalyzerImpl<M extends Marking<?>>
extends java.lang.Object
implements ReachabilityGraphStaticAnalyzer<M>

Constructor Summary

Constructors

Constructor	Description
ReachabilityGraphStaticAnalyzerImpl(java.lang.Class<M> clazz)

Method Summary

Modifier and Type	Method	Description
ReachabilityGraphStaticAnalysis<M>	analyze(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityGraphStaticAnalyzerImpl

public ReachabilityGraphStaticAnalyzerImpl(java.lang.Class<M> clazz)

Method Detail

analyze

public ReachabilityGraphStaticAnalysis<M> analyze(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)

Specified by:

analyze in interface ReachabilityGraphStaticAnalyzer<M extends Marking<?>>