org.processmining.maxsyncalignments.algorithms

Class MarkingGraphToTransClosureGraph

java.lang.Object

org.processmining.maxsyncalignments.algorithms.MarkingGraphToTransClosureGraph

public class MarkingGraphToTransClosureGraph
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MarkingGraphToTransClosureGraph()

Method Summary

Modifier and Type	Method and Description
static TransClosureGraph	Convert(MarkingGraph mg)

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkingGraphToTransClosureGraph

public MarkingGraphToTransClosureGraph()

Method Detail

Convert

public static TransClosureGraph Convert(MarkingGraph mg)