teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rename

Browse source
This commit is contained in:
Joeri Exelmans 2024-09-03 19:01:07 +02:00
parent a7fac15bdc
commit 88172d64c5
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
transformation/ramify.py
View file

@ -75,7 +75,7 @@ def ramify(state: State, model: UUID) -> UUID:
uuid = bottom.read_value(node) uuid = bottom.read_value(node)
return UUID(uuid) return UUID(uuid)
def find_upper_cardinality(class_node: UUID, type_node: UUID): def find_cardinality(class_node: UUID, type_node: UUID):
upper_card_edges = find_outgoing_typed_by(class_node, type_node) upper_card_edges = find_outgoing_typed_by(class_node, type_node)
if len(upper_card_edges) == 1: if len(upper_card_edges) == 1:
ref = bottom.read_edge_target(upper_card_edges[0]) ref = bottom.read_edge_target(upper_card_edges[0])
@ -115,7 +115,7 @@ def ramify(state: State, model: UUID) -> UUID:
# - abstract: False # - abstract: False
# - min-card: 0 # - min-card: 0
# - max-card: same as original # - max-card: same as original
upper_card = find_upper_cardinality(class_node, class_upper_card_node) upper_card = find_cardinality(class_node, class_upper_card_node)
print('creating class', class_name, "with upper card", upper_card) print('creating class', class_name, "with upper card", upper_card)
ramified_scd.create_class(class_name, abstract=None, max_c=upper_card) ramified_scd.create_class(class_name, abstract=None, max_c=upper_card)
@ -132,8 +132,8 @@ def ramify(state: State, model: UUID) -> UUID:
# - src-max-card: same as original # - src-max-card: same as original
# - tgt-min-card: 0 # - tgt-min-card: 0
# - tgt-max-card: same as original # - tgt-max-card: same as original
src_upper_card = find_upper_cardinality(assoc_node, src_upper_card_node) src_upper_card = find_cardinality(assoc_node, src_upper_card_node)
tgt_upper_card = find_upper_cardinality(assoc_node, tgt_upper_card_node) tgt_upper_card = find_cardinality(assoc_node, tgt_upper_card_node)
src = scd.get_class_name(bottom.read_edge_source(assoc_node)) src = scd.get_class_name(bottom.read_edge_source(assoc_node))
tgt = scd.get_class_name(bottom.read_edge_target(assoc_node)) tgt = scd.get_class_name(bottom.read_edge_target(assoc_node))
print('creating assoc', src, "->", tgt, ", name =", assoc_name, ", src card = 0 ..", src_upper_card, "and tgt card = 0 ..", tgt_upper_card) print('creating assoc', src, "->", tgt, ", name =", assoc_name, ", src card = 0 ..", src_upper_card, "and tgt card = 0 ..", tgt_upper_card)