Re: [graph-tool] Ordering of edges returned by EdgePropertyMap.getArray()

7 May 2020


      Am 07.05.20 um 11:33 schrieb Ioana K-Hulpus:
...
Can I rely on setting the value of an
edge E in A at position A[g.edge_index[E]] ?
Yes.

-- 
Tiago de Paula Peixoto <tiago@skewed.de>