org.processmining.maxsyncalignments.models

Class MarkingGraph

java.lang.Object

org.processmining.maxsyncalignments.models.MarkingGraph

public class MarkingGraph
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
java.util.ArrayList<java.lang.Integer>	final_markings
int	init_marking
java.util.ArrayList<Marking>	markings
java.util.ArrayList<java.util.ArrayList<Edge>>	next
java.util.ArrayList<java.util.ArrayList<Edge>>	prev

Constructor Summary

Constructors

Constructor and Description
MarkingGraph()

Method Summary

Modifier and Type	Method and Description
void	addEdge(int from, int label, int to)
void	addEdge(int from, java.lang.String label, int to)
void	addFinalMarking(int m)
void	addLabel(java.lang.String label)
void	calculatePrevPost()
int	findOrPut(Marking m)
Marking	getMarking(int m)
void	init()
void	setInitMarking(int m)

Methods inherited from class java.lang.Object

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

Field Detail

markings

public java.util.ArrayList<Marking> markings

alphabet

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

edges

public java.util.ArrayList<Edge> edges

init_marking

public int init_marking

final_markings

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

prev

public java.util.ArrayList<java.util.ArrayList<Edge>> prev

next

public java.util.ArrayList<java.util.ArrayList<Edge>> next

Constructor Detail

MarkingGraph

public MarkingGraph()

Method Detail

init

public void init()

setInitMarking

public void setInitMarking(int m)

addFinalMarking

public void addFinalMarking(int m)

addEdge

public void addEdge(int from,
                    java.lang.String label,
                    int to)

addEdge

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

addLabel

public void addLabel(java.lang.String label)

getMarking

public Marking getMarking(int m)

findOrPut

public int findOrPut(Marking m)

calculatePrevPost

public void calculatePrevPost()