Version 5.0 The LEDA User Manual

ool gw.is selected(edge e) returns true if e is selected and false otherwise.
const list& gw.get selected edges( )
returns the current edge selection.
void gw.deselect all( ) clears node and edge selections.
g) Layout Operations
void
gw.set position(const node array& pos)
for every node v of G the position of v is set to
pos[v].
void gw.set position(const node array& x,
const node array& y)
for every node v of G the position of v is set to
(x[v], y[v]).
void
void
void
void
gw.get position(node array& pos)
for every node v of G the position of v is assigned
to pos[v].
gw.set layout(const node array& pos,
const node array& r1 ,
const node array& r2 , const edge array& bends, const edge array& sanch,
const edge array& tanch)
for every node v the position is set to pos[v] and
radius i is set to r i [v]. For every edge e the list of
bends is set to bends[e] and source (target) anchor
is set to sanch[e] (tanch[e]).
gw.set layout(const node array& pos, const edge array& bends, bool reset anchors = true)
for every node v the position is set to pos[v] and
for every edge e the list of bends is set to bends[e].
gw.set layout(const node array& pos)
for every node v the position is set to pos[v] and
for every edge e the list of bends is made empty.
void gw.set layout(const node array& x, const node array& y)
for every node v the position is set to (x[v], y[v])
and for every edge e the list of bends is made
empty.
void gw.set layout( ) same as gw.remove bends( ).