Support auto-completion of inclusions

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Support auto-completion of inclusions #14

Closed szschaler closed 5 years ago

szschaler commented 5 years ago

Allow users to provide an inclusion hint when claiming unique auto-completability. This requires source and target metamodel and rules to be the same up to some filtering (currently only interface_of) and will auto-complete by object identity.