Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

unit amalgamation #30

Open
narudocap opened this issue Nov 15, 2019 · 1 comment
Open

unit amalgamation #30

narudocap opened this issue Nov 15, 2019 · 1 comment
Labels
enhancement New feature or request

Comments

@narudocap
Copy link
Collaborator

It might be interesting to look into Henshin units amalgamation. I don't see how to put them together in general, but there must be some notion of compatibility between application strategies that we may explore. Even if no general method, if there are units only in the system being instantiated, by including the units as such in the resulting gts may be useful as a starting point to complete by hand.

@szschaler szschaler added the enhancement New feature or request label Nov 15, 2019
@szschaler
Copy link
Member

To do this fully, we would probably want a notion of morphisms between units that allows us to create appropriate amalgamations.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants