Version 5.0 The LEDA User Manual

ool
gw.wait(const char ∗ msg)
displays msg and waits until the done button is
pressed (true returned) or exit is selected from the
file menu (false returned).
bool gw.wait(float sec, const char ∗ msg = ””)
void gw.acknowledge(string s)
as above but waits no longer than sec seconds returns
?? if neither button was pressed within this
time interval.
displays string s and asks for acknowledgement.
node gw.ask node( ) asks the user to select a node with the left mouse
button. If a node is selected it is returned otherwise
nil is returned.
edge gw.ask edge( ) asks the user to select an edge with the left mouse
button. If an edge is selected it is returned otherwise
nil is returned.
bool gw.define area(double& x0 , double& y0 , double& x1 , double& y1 ,
const char ∗ msg = ””)
displays message msg and returns the coordinates
of a rectangular area defined by clicking and dragging
the mouse.
list gw.get nodes in area(double x0 , double y0 , double x1 , double y1 )
returns the list of nodes intersecting the rectangular
area (x0, y0, x1, y1).
list gw.get edges in area(double x0 , double y0 , double x1 , double y1 )
void gw.save node attributes( )
void gw.save edge attributes( )
void gw.save all attributes( ) ...
void gw.restore node attributes( )
void gw.restore edge attributes( )
returns the list of edges intersecting the rectangular
area (x0, y0, x1, y1).
...
...
...
...