org.processmining.maxsyncalignments.algorithms

Class Main

java.lang.Object

org.processmining.maxsyncalignments.algorithms.Main

public class Main
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
boolean	alignLog
boolean	computeMG
boolean	computeTCG
static java.lang.String	INPUT_BASE
org.deckfour.xes.model.XLog	log
MarkingGraph	mg
org.processmining.models.graphbased.directed.petrinet.Petrinet	net
static java.lang.String	OUTPUT_BASE
boolean	printAlignment
boolean	printAlignmentFancy
boolean	printDOT
boolean	printInfo
boolean	printStats
static java.lang.String	RESULTS_FILE
TransClosureGraph	tcg

Constructor Summary

Constructors

Constructor and Description
Main()

Method Summary

Modifier and Type	Method and Description
void	a12()
void	a42()
void	align()
void	bpm()
void	cmdtest(java.lang.String name)
void	compute()
void	csvcomp(java.lang.String modelname, java.lang.String logname)
void	csvprecomp(java.lang.String name)
void	csvprecomp2(java.lang.String name)
static void	main(java.lang.String[] args)
void	println(java.lang.String s)
void	test()

Methods inherited from class java.lang.Object

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

Field Detail

INPUT_BASE

public static java.lang.String INPUT_BASE

OUTPUT_BASE

public static java.lang.String OUTPUT_BASE

RESULTS_FILE

public static java.lang.String RESULTS_FILE

net

public org.processmining.models.graphbased.directed.petrinet.Petrinet net

mg

public MarkingGraph mg

tcg

public TransClosureGraph tcg

log

public org.deckfour.xes.model.XLog log

computeMG

public boolean computeMG

computeTCG

public boolean computeTCG

alignLog

public boolean alignLog

printDOT

public boolean printDOT

printInfo

public boolean printInfo

printStats

public boolean printStats

printAlignment

public boolean printAlignment

printAlignmentFancy

public boolean printAlignmentFancy

Constructor Detail

Main

public Main()

Method Detail

a42

public void a42()

a12

public void a12()

test

public void test()

csvcomp

public void csvcomp(java.lang.String modelname,
                    java.lang.String logname)

csvprecomp

public void csvprecomp(java.lang.String name)

csvprecomp2

public void csvprecomp2(java.lang.String name)

cmdtest

public void cmdtest(java.lang.String name)

bpm

public void bpm()

println

public void println(java.lang.String s)

align

public void align()

compute

public void compute()

main

public static void main(java.lang.String[] args)