org.processmining.maxsyncalignments.models

Class TransClosureGraph

java.lang.Object

org.processmining.maxsyncalignments.models.TransClosureGraph

public class TransClosureGraph
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList<java.lang.String>	alphabet
java.util.ArrayList<Edge>	edges
int	empty_label
int	empty_markingset
java.util.ArrayList<java.lang.Integer>	final_markingsets
int	init_markingset
java.util.ArrayList<Marking>	markings
java.util.ArrayList<java.util.ArrayList<java.lang.Integer>>	markingsets
int[][]	suc_matrix

Constructor Summary

Constructors

Constructor and Description
TransClosureGraph()

Method Summary

Modifier and Type	Method and Description
void	addEdge(int from, int label, int to)
void	createSucMatrix()
int	findLetter(java.lang.String letter)
int	findOrPut(java.util.ArrayList<java.lang.Integer> ms)
void	init()
int	successor(int from, int letter)

Methods inherited from class java.lang.Object

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

Field Detail

alphabet

public java.util.ArrayList<java.lang.String> alphabet

markings

public java.util.ArrayList<Marking> markings

markingsets

public java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> markingsets

init_markingset

public int init_markingset

empty_markingset

public int empty_markingset

final_markingsets

public java.util.ArrayList<java.lang.Integer> final_markingsets

edges

public java.util.ArrayList<Edge> edges

empty_label

public int empty_label

suc_matrix

public int[][] suc_matrix

Constructor Detail

TransClosureGraph

public TransClosureGraph()

Method Detail

init

public void init()

findOrPut

public int findOrPut(java.util.ArrayList<java.lang.Integer> ms)

addEdge

public void addEdge(int from,
                    int label,
                    int to)

findLetter

public int findLetter(java.lang.String letter)

createSucMatrix

public void createSucMatrix()

successor

public int successor(int from,
                     int letter)