Skip to content

Commit

Permalink
Merge pull request #96 from dice-group/OWLobjectOneOf_hashing_fix
Browse files Browse the repository at this point in the history
changing _values to frozenset to allow for hashing
  • Loading branch information
Demirrr authored Nov 7, 2024
2 parents 79c982d + 208c925 commit 56888c7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion owlapy/class_expression/restriction.py
Original file line number Diff line number Diff line change
Expand Up @@ -403,7 +403,7 @@ def __init__(self, values: OWLIndividual | Iterable[OWLIndividual]):
else:
for _ in values:
assert isinstance(_, OWLIndividual)
self._values = {i for i in values}
self._values = frozenset(values)

def individuals(self) -> Iterable[OWLIndividual]:
"""Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension)
Expand Down

0 comments on commit 56888c7

Please sign in to comment.