Use node Index instead of Id in DOT output - Githubissues

creativeishu / AIM_IBM_KGO

1 stars 0 forks source link

Use node Index instead of Id in DOT output #6

Closed dolfim closed 10 years ago

dolfim commented 10 years ago

This is low priority. It could speed up the tree navigation.