diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2024-07-20 16:08:04 -0700 |
|---|---|---|
| committer | Donald Sharp <sharpd@nvidia.com> | 2024-07-31 08:08:53 -0400 |
| commit | 8511f39987e1ee3438d7ff836e7edf7f619667d8 (patch) | |
| tree | bf8445fb2e9464d9d73229076d00d6ceca3a4abd /python/clidef.py | |
| parent | f85e58af12ae3ebff84262af6b7d15a137875881 (diff) | |
lib/clippy: allow accessing graph nodes by index
Add len(graph) and graph[i] wrappers to access arbitrary nodes in a
graph.
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
Diffstat (limited to 'python/clidef.py')
0 files changed, 0 insertions, 0 deletions