Minor refactorings for the `Join` class#1560

Merged

joka921 merged 4 commits intoad-freiburg:masterfrom RobinTF:join-refactoring

Oct 18, 2024

+31-54

Commits on Oct 16, 2024

Commits on Oct 18, 2024

Merge remote-tracking branch 'ad-freiburg/master' into join-refactoring
RobinTF
committed