31.01.2014 Views

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

void gw.place into box(double x0 , double y0 , double x1 , double y1 )<br />

moves and stretches the graph to fill the given<br />

rectangular box (x0, y0, x1, y1) by appropriate<br />

scaling and translating operations.<br />

void gw.place into win( ) moves and stretches the graph to fill the entire<br />

window by appropriate scaling and translating operations.<br />

void<br />

void<br />

void<br />

void<br />

gw.adjust coords to box(node array& xpos,<br />

node array& ypos,<br />

edge array& xbends,<br />

edge array& ybends, double x0 ,<br />

double y0 , double x1 , double y1 )<br />

transforms the layout given by xpos, ypos,<br />

xbends, and ybends in such way as a call of<br />

place into box(x0 , y0 , x1, y1 ) would do. However,<br />

the actual layout of the current graph is not<br />

changed by this operation.<br />

gw.adjust coords to box(node array& xpos,<br />

node array& ypos, double x0 , double y0 ,<br />

double x1 , double y1 )<br />

transforms the layout given by xpos, ypos in<br />

such way as a call of place into box(x0 , y0 , x1 , y1 )<br />

would do ignoring any edge bends. <strong>The</strong> actual<br />

layout of the current graph is not changed by this<br />

operation.<br />

gw.adjust coords to win(node array& xpos,<br />

node array& ypos,<br />

edge array& xbends,<br />

edge array& ybends)<br />

same as adjust coords to box(xpos, ypos, xbends, ybends, wx0 , wy0 ,<br />

for the current window rectangle<br />

(wx0, wy0, wx1, wy1).<br />

gw.adjust coords to win(node array& xpos,<br />

node array& ypos)<br />

same as adjust coords to box(xpos, ypos, wx0 , wy0 , wx1, wy1 )<br />

for the current window rectangle<br />

(wx0, wy0, wx1, wy1).<br />

void gw.remove bends(edge e) removes all bends from edge e.<br />

void gw.remove bends( ) removes the bends of all edges of the graph.<br />

void gw.reset edge anchors( ) resets all edge anchor positions to (0, 0).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!