def detect_sequential_cut(self, conn_components, this_nx_graph,
strongly_connected_components):
"""
Detect sequential cut in DFG graph
Parameters
--------------
conn_components
Connected components of the graph
this_nx_graph
NX graph calculated on the DFG
strongly_connected_components
Strongly connected components
"""
if len(strongly_connected_components) > 1:
conn_matrix = detection_utils.get_connection_matrix(
strongly_connected_components, self.dfg)
comps = []
closed = set()
for i in range(conn_matrix.shape[0]):
if max(conn_matrix[i, :]) == 0:
if len(comps) == 0:
comps.append([])
comps[-1].append(i)
closed.add(i)
cyc_continue = len(comps) >= 1
while cyc_continue:
cyc_continue = False
curr_comp = []
for i in range(conn_matrix.shape[0]):
if i not in closed:
i_j = set()
for j in range(conn_matrix.shape[1]):
if conn_matrix[i][j] == 1.0:
i_j.add(j)
i_j_minus = i_j.difference(closed)
if len(i_j_minus) == 0:
curr_comp.append(i)
closed.add(i)
if curr_comp:
cyc_continue = True
comps.append(curr_comp)
last_cond = False
for i in range(conn_matrix.shape[0]):
if i not in closed:
if not last_cond:
last_cond = True
comps.append([])
comps[-1].append(i)
if len(comps) > 1:
comps = [
detection_utils.perform_list_union(
list(
set(strongly_connected_components[i])
for i in comp)) for comp in comps
]
return [True, comps]
return [False, [], []]
def detect_sequential_cut(subtree, dfg, strongly_connected_components):
"""
Detect sequential cut in DFG graph
Parameters
--------------
dfg
DFG
strongly_connected_components
Strongly connected components
"""
if subtree.contains_empty_trace():
return [False, [], []]
if len(strongly_connected_components) > 1:
conn_matrix = detection_utils.get_connection_matrix(
strongly_connected_components, dfg)
comps = []
closed = set()
for i in range(conn_matrix.shape[0]):
if max(conn_matrix[i, :]) == 0:
if len(comps) == 0:
comps.append([])
comps[-1].append(i)
closed.add(i)
cyc_continue = len(comps) >= 1
while cyc_continue:
cyc_continue = False
curr_comp = []
for i in range(conn_matrix.shape[0]):
if i not in closed:
i_j = set()
for j in range(conn_matrix.shape[1]):
if conn_matrix[i][j] == 1.0:
i_j.add(j)
i_j_minus = i_j.difference(closed)
if len(i_j_minus) == 0:
curr_comp.append(i)
closed.add(i)
if curr_comp:
cyc_continue = True
comps.append(curr_comp)
last_cond = False
for i in range(conn_matrix.shape[0]):
if i not in closed:
if not last_cond:
last_cond = True
comps.append([])
comps[-1].append(i)
if len(comps) > 1:
comps = [
detection_utils.perform_list_union(
list(set(strongly_connected_components[i]) for i in comp))
for comp in comps
]
# this part assures that the sequential cut follows completely the definition, i.e. there are no
# subsequent components with no edges between them (except when the detected cut is binary).
#
# Remind: the tree returned by IM is folded at the end, this ensures that the cut is still maximal
dfg = [x[0] for x in dfg]
i = 0
while i < len(comps) - 1:
outer_edges = [
d for d in dfg if d[0] in comps[i] and d[1] not in comps[i]
and d[1] not in comps[i + 1]
]
# a situation that is not managed by considering only the outer edges is the one
# that sees a chain of invisibles at the end. In this case, it can be detected that the end activity
# has no edge toward any of the following components.
end_activities_wo_exedge = set(
a for a in subtree.end_activities
if a in comps[i] and a not in [x[0] for x in dfg])
# before merging the connected components, make sure that at the end there are two (or more)
# connected components
if (outer_edges
or end_activities_wo_exedge) and len(comps) > 2:
comps[i] = comps[i].union(comps[i + 1])
del comps[i + 1]
continue
i = i + 1
return [True, comps]
return [False, [], []]
def detect_sequential_cut(self, dfg, strongly_connected_components):
"""
Detect sequential cut in DFG graph
Parameters
--------------
dfg
DFG
strongly_connected_components
Strongly connected components
"""
if len(strongly_connected_components) > 1:
orig_conn_comp = copy(strongly_connected_components)
conn_matrix = detection_utils.get_connection_matrix(strongly_connected_components, dfg)
something_changed = True
while something_changed:
something_changed = False
i = 0
while i < len(strongly_connected_components):
idx_i_comp = orig_conn_comp.index(strongly_connected_components[i])
j = i + 1
while j < len(strongly_connected_components):
idx_j_comp = orig_conn_comp.index(strongly_connected_components[j])
if conn_matrix[idx_i_comp][idx_j_comp] > 0:
copyel = copy(strongly_connected_components[i])
strongly_connected_components[i] = strongly_connected_components[j]
strongly_connected_components[j] = copyel
something_changed = True
break
j = j + 1
i = i + 1
ret_connected_components = []
ignore_comp = set()
i = 0
while i < len(strongly_connected_components):
if i not in ignore_comp:
idx_i_comp = orig_conn_comp.index(strongly_connected_components[i])
comp = copy(strongly_connected_components[i])
j = i + 1
is_component_mergeable = True
while j < len(strongly_connected_components):
idx_j_comp = orig_conn_comp.index(strongly_connected_components[j])
if conn_matrix[idx_i_comp][idx_j_comp] < 0 or conn_matrix[idx_i_comp][idx_j_comp] > 0:
is_component_mergeable = False
break
j = j + 1
if is_component_mergeable:
j = i + 1
while j < len(strongly_connected_components):
idx_j_comp = orig_conn_comp.index(strongly_connected_components[j])
if conn_matrix[idx_i_comp][idx_j_comp] == 0:
comp = comp + strongly_connected_components[j]
ignore_comp.add(j)
else:
break
j = j + 1
else:
j = i + 1
while j < len(strongly_connected_components):
idx_j_comp = orig_conn_comp.index(strongly_connected_components[j])
# two components that have exactly the same inputs/outputs are merged
if np.array_equal(conn_matrix[idx_i_comp], conn_matrix[idx_j_comp]):
comp = comp + strongly_connected_components[j]
ignore_comp.add(j)
j = j + 1
ret_connected_components.append(comp)
i = i + 1
if len(ret_connected_components) > 1:
return [True, ret_connected_components]
return [False, [], []]