Skip to content

Commit

Permalink
Merge remote-tracking branch 'upstream/hotfixes' into release
Browse files Browse the repository at this point in the history
  • Loading branch information
fit-alessandro-berti committed Mar 12, 2024
2 parents 0b46533 + 4d84e71 commit 8835f87
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions pm4py/algo/discovery/inductive/cuts/concurrency.py
Original file line number Diff line number Diff line change
Expand Up @@ -40,11 +40,13 @@ def operator(cls, parameters: Optional[Dict[str, Any]] = None) -> ProcessTree:
def holds(cls, obj: T, parameters: Optional[Dict[str, Any]] = None) -> Optional[List[Collection[Any]]]:
dfg = obj.dfg
alphabet = dfu.get_vertices(dfg)
alphabet = sorted(list(alphabet))
msdw = comut.msdw(obj, comut.msd(obj)) if obj is not None and type(obj) is UVCL else None
groups = [{a} for a in alphabet]
if len(groups) == 0:
return None
edges = dfu.get_edges(dfg)
edges = sorted(list(edges))
for a, b in product(alphabet, alphabet):
if (a, b) not in edges or (b, a) not in edges:
groups = cut_util.merge_groups_based_on_activities(a, b, groups)
Expand Down

0 comments on commit 8835f87

Please sign in to comment.