Graphs_dart/tex/dart/graph/dot_manip.dart

void setName(String n) => _name = n;

void addPath(int inp, int length) => _ln[inp] = length;

void delPath(int n) => _ln.removeWhere((key, value) => key == n);