|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |