coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
16 stars 2 forks source link

Merge SetAlgebra into SubsetAlgebra #30

Open akoehn opened 7 years ago

akoehn commented 7 years ago

Original report by Alexander Koller (Bitbucket: akoller, GitHub: alexanderkoller).


SetAlgebra is just a SubsetAlgebra (with slightly different operations), specialized to relations over a model. Let's refactor it so it just creates a SubsetAlgebra internally and we can avoid code duplication.