Version 5.0 The LEDA User Manual

string gw.set edge index format(string s)
sets the edge index format string s.
bool gw.set edge border(bool b)
sets the edge border flag to b.
Animation and Zooming
int gw.set animation steps(int s)
move a node in s steps to its new position.
bool gw.set flush(bool b) show operations on gw instantly (b=true) or not
(b=false).
double gw.set zoom factor(double f)
bool gw.set zoom objects(bool b)
bool gw.set zoom labels(bool b)
f) Node and Edge Selections
sets the zoom factor to f used when zooming from
menu.
resize nodes and edges when zooming (b == true)
or not (b == false).
resize labels when zooming (b == true) or not
(b == false).
void gw.select(node v) adds v to the list of selected nodes.
void gw.select all nodes( ) selects all nodes.
void gw.deselect(node v) deletes v from the list of selected nodes.
void gw.deselect all nodes( ) clears the current node selection.
bool gw.is selected(node v) returns true if v is selected and false otherwise.
const list& gw.get selected nodes( )
returns the current node selection.
void gw.select(edge e) adds e to the list of selected edges.
void gw.select all edges( ) selects all edges.
void gw.deselect(edge e) deletes e from the list of selected edges.
void gw.deselect all edges( ) clears the current node selection.