search

NetworkVerification / nv

A Framework for Modeling and Analyzing Network Configurations
MIT License
31 stars 2 forks source link

Give nodes name identifiers instead of numbers #57

Closed DKLoehr closed 4 years ago

DKLoehr commented 4 years ago

It would be handy to give nodes names instead of numbers, for ease of use. This would let programmers identify nodes more easily when looking at or writing nv programs.

One way to do this would be to optionally declare a mapping of node values to identifiers at the beginning of the program. To distinguish node values from other identifiers, we could specify that node values begin with a capital letter.

DKLoehr commented 4 years ago

This is potentially related to #58, since we might view the node identifiers as something similar to an enum variant type.

alberdingk-thijm commented 4 years ago

Think this overlaps with #48. Should we close one of them?