Ensure names are unique

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Closed szschaler closed 4 years ago

szschaler commented 4 years ago

Fix naming strategies so that names are guaranteed to be unique.

Should address #27 and #28 .

szschaler commented 4 years ago

Closes #27. #28 may be independent after all; still to be investigated.

szschaler commented 4 years ago

Added a fairly brutal stop-gap mechanism which will append unique numbers to names if nothing else made them unique so far.