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

fix bug

Browse source
This commit is contained in:
Joeri Exelmans 2024-11-11 18:56:34 +01:00
parent e3d4889f91
commit abbc854a50
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
api/od.py
View file

@ -135,7 +135,7 @@ class ODAPI:
def get_type_name(self, obj: UUID): def get_type_name(self, obj: UUID):
return self.get_name(self.get_type(obj)) return self.get_name(self.get_type(obj))
def is_instance(obj: UUID, type_name: str, include_subtypes=True): def is_instance(self, obj: UUID, type_name: str, include_subtypes=True):
typ = self.cdapi.get_type(type_name) typ = self.cdapi.get_type(type_name)
types = set(typ) if not include_subtypes else self.cdapi.transitive_sub_types[type_name] types = set(typ) if not include_subtypes else self.cdapi.transitive_sub_types[type_name]
for type_of_obj in self.bottom.read_outgoing_elements(obj, "Morphism"): for type_of_obj in self.bottom.read_outgoing_elements(obj, "Morphism"):