How about rename node.name to node.id

nickovic / rtamt

Specification-based real-time monitoring library

BSD 3-Clause "New" or "Revised" License

50 stars 20 forks source link

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

node.name is used as key for dict(). It is not any more name and important. How about change name to node.id?

I know it is minor and should be later too.

TomyYamy commented 2 years ago

We may keep it as it is (node.name).