search

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations
MIT License
4 stars 0 forks source link

Fix unique naming to really be unique #42

Closed szschaler closed 4 years ago

szschaler commented 4 years ago

...even when producing a unique name leads to a new clash with a different name.

Partially addresses #41 but also adds logic to find a naming fixpoint.

szschaler commented 4 years ago

This fixes the rule-naming issue that used to exist in https://github.com/gts-morpher/pls/tree/master/pls13

narudocap commented 4 years ago

good job!