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<br />

void<br />

void<br />

int<br />

gw.add separator(int menu id)<br />

...<br />

gw.display help text(string fname)<br />

gw.add help text(string name)<br />

gw.get menu(string label)<br />

displays the help text contained in name.hlp. <strong>The</strong><br />

file name.hlp must exist either in the current working<br />

directory or in $<strong>LEDA</strong>ROOT/incl/Help.<br />

adds the help text contained in name.hlp with label<br />

name to the help menu of the main window.<br />

<strong>The</strong> file name.hlp must exist either in the current<br />

working directory or in $<strong>LEDA</strong>ROOT/incl/Help.<br />

Note that this operation must be called before<br />

gw.display( ).<br />

returns the number of the submenu with label<br />

label or −1 if no such menu exists.<br />

void gw.enable call(int id) enable call with id id.<br />

void gw.disable call(int id) disable call with id id.<br />

bool<br />

gw.is call enabled(int id) check if call with id is enabled.<br />

void gw.enable calls( ) ...<br />

void gw.disable calls( ) ...<br />

k) Input/Output<br />

int<br />

int<br />

bool<br />

bool<br />

int<br />

gw.read gw(istream& in)<br />

reads graph in gw format from stream in.<br />

gw.read gw(string fname)<br />

reads graph in gw format from file fname.<br />

gw.save gw(ostream& out)<br />

writes graph in gw format to output stream out.<br />

gw.save gw(string fname, bool ask overwrite = false)<br />

saves graph in gw format to file fname.<br />

gw.read gml(istream& in)<br />

reads graph in GML format from stream in.<br />

int gw.read gml string(string s)<br />

reads graph in GML format from string s.

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

Saved successfully!

Ooh no, something went wrong!