Uses of Class
org.processmining.maxsyncalignments.models.Marking

Packages that use Marking

Package	Description
org.processmining.maxsyncalignments.models

Uses of Marking in org.processmining.maxsyncalignments.models

Fields in org.processmining.maxsyncalignments.models with type parameters of type Marking

Modifier and Type	Field and Description
java.util.ArrayList<Marking>	MarkingGraph.markings
java.util.ArrayList<Marking>	TransClosureGraph.markings

Methods in org.processmining.maxsyncalignments.models that return Marking

Modifier and Type	Method and Description
Marking	Marking.fire(Marking inplaces, Marking outplaces)
Marking	MarkingGraph.getMarking(int m)

Methods in org.processmining.maxsyncalignments.models with parameters of type Marking

Modifier and Type	Method and Description
boolean	Marking.equalsMarking(Marking other)
int	MarkingGraph.findOrPut(Marking m)
Marking	Marking.fire(Marking inplaces, Marking outplaces)
boolean	Marking.isSubsetOf(Marking m)