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.

int W.get node width( ) returns the current node width.<br />

text mode W.get text mode( ) returns the current text mode.<br />

drawing mode W.get mode( ) returns the current drawing mode.<br />

int W.get cursor( ) returns the id of the current cursor, i.e, one of<br />

the constants predefined in ¡X11/cursorfont.h¿<br />

or −1 for the default cursor.<br />

double W.xmin( ) returns the minimal x-coordinate of the drawing<br />

area of W .<br />

double W.ymin( ) returns the minimal y-coordinate of the drawing<br />

area of W .<br />

double W.xmax( ) returns the maximal x-coordinate of the drawing<br />

area of W .<br />

double W.ymax( ) returns the maximal y-coordinate of the drawing<br />

area of W .<br />

double W.scale( ) returns the scaling factor of the drawing area of<br />

W , i.e. the number of pixels of a unit length<br />

line segment.<br />

double W.get grid dist( ) returns the width of the current grid (zero if no<br />

grid is used).<br />

grid style W.get grid style( ) returns the current grid style.<br />

int W.get grid mode( ) returns the width of the current grid in pixels<br />

(zero if no grid is used).<br />

bool W.get show orientation( )<br />

void∗ W.get client data(int i = 0)<br />

returns the show orientation parameter.<br />

returns the i-th client data pointer of of W . Precondition:<br />

i < 16.<br />

GraphWin∗ W.get graphwin( ) returns a pointer to the GraphWin (see 17.6)<br />

that uses W as its display window or NULL if<br />

W is not used by any GraphWin.<br />

GeoWinTypeName∗ W.get geowin( )<br />

returns a pointer to the GeoWin (see Section<br />

17.8) that uses W as its display window or<br />

NULL if W is not used by any GeoWin.<br />

int W.width( ) returns the width of W in pixels.<br />

int W.height( ) returns the height of W in pixels.

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

Saved successfully!

Ooh no, something went wrong!