Uses of Class
org.processmining.models.semantics.petrinet.CTMarking

Packages that use CTMarking

Package	Description
org.processmining.models.connections.petrinets.behavioral
org.processmining.models.graphbased.directed.petrinet.analysis
org.processmining.models.semantics.petrinet

Uses of CTMarking in org.processmining.models.connections.petrinets.behavioral

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type CTMarking

Constructor and Description
UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, CTMarking prefixMarking)

Uses of CTMarking in org.processmining.models.graphbased.directed.petrinet.analysis

Constructors in org.processmining.models.graphbased.directed.petrinet.analysis with parameters of type CTMarking

Constructor and Description
CoverabilitySet(CTMarking[] markings)

Uses of CTMarking in org.processmining.models.semantics.petrinet

Methods in org.processmining.models.semantics.petrinet that return CTMarking

Modifier and Type	Method and Description
CTMarking	CTMarking.transformToOmega(java.util.Collection<Place> reference) transform all places in this CTMarking into omega.

Methods in org.processmining.models.semantics.petrinet with parameters of type CTMarking

Modifier and Type	Method and Description
Marking	CTMarking.minus(CTMarking m) removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.
boolean	CTMarking.retainAll(CTMarking c) Keeps all elements of the given collection in this multiset.

Constructors in org.processmining.models.semantics.petrinet with parameters of type CTMarking

Constructor and Description
CTMarking(CTMarking collection) Constructor with marking parameter