org.processmining.maxsyncalignments.models

Class Marking

java.lang.Object

org.processmining.maxsyncalignments.models.Marking

public class Marking
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList<java.lang.Integer>	places

Constructor Summary

Constructors

Constructor and Description
Marking()

Method Summary

Modifier and Type	Method and Description
void	addPlace(int place)
boolean	equalsMarking(Marking other)
Marking	fire(Marking inplaces, Marking outplaces)
boolean	isSubsetOf(Marking m)
java.lang.String	toDOT()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

places

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

Constructor Detail

Marking

public Marking()

Method Detail

addPlace

public void addPlace(int place)

equalsMarking

public boolean equalsMarking(Marking other)

fire

public Marking fire(Marking inplaces,
                    Marking outplaces)

isSubsetOf

public boolean isSubsetOf(Marking m)

toDOT

public java.lang.String toDOT()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object