public class TransClasses
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected ITransClassifier |
classifier
The classifier used for creating the set of event classes.
|
protected java.util.Map<java.lang.String,TransClass> |
classMap
Map holding the event classes, indexed by their unique identifier string.
|
Constructor and Description |
---|
TransClasses(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
TransClasses(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
ITransClassifier classifier) |
Modifier and Type | Method and Description |
---|---|
TransClass |
getClassOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
return the transClass of a transition
|
java.util.Collection<TransClass> |
getTransClasses()
Return ordered set of all trans classes
|
protected ITransClassifier classifier
protected java.util.Map<java.lang.String,TransClass> classMap
public TransClasses(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
public TransClasses(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, ITransClassifier classifier)
public java.util.Collection<TransClass> getTransClasses()
public TransClass getClassOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
t
-