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

Packages that use CTMarking
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
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
CoverabilitySet(CTMarking[] markings)
           
 

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

Methods in org.processmining.models.semantics.petrinet that return CTMarking
 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
 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
CTMarking(CTMarking collection)
          Constructor with marking parameter