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

Small fixes

Browse source
This commit is contained in:
Andrei Bondarenko 2021-08-27 15:26:11 +02:00
parent d2b0bb2f55
commit 38db3ea0f7
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
framework/conformance.py
View file

@ -445,10 +445,12 @@ class Conformance:
candidate_element, = self.bottom.read_outgoing_elements(self.type_model, candidate_name)
candidate_source = self.type_model_names[self.bottom.read_edge_source(candidate_element)]
if candidate_source not in source_candidates:
remove.add(candidate_name)
if len(source_candidates.intersection(set(self.sub_types[candidate_source]))) == 0:
remove.add(candidate_name)
candidate_target = self.type_model_names[self.bottom.read_edge_target(candidate_element)]
if candidate_target not in target_candidates:
remove.add(candidate_name)
if len(target_candidates.intersection(set(self.sub_types[candidate_target]))) == 0:
remove.add(candidate_name)
self.candidates[m_name] = self.candidates[m_name].difference(remove)
def build_morphisms(self):