Gecode::Driver::ProfilerOption Class Reference

Profiler option. More...

#include <gecode/driver.hh>

Public Member Functions
	ProfilerOption (const char *o, const char *e, unsigned int p=0, int v=-1)
	Initialize for option o and explanation e and default value v.
void	port (unsigned int p)
	Set default port to p.
unsigned int	port (void) const
	Return current port.
void	execution_id (int i)
	Set default execution ID to i.
int	execution_id (void) const
	Return current execution ID.
virtual int	parse (int argc, char *argv[])
	Parse option at first position and return number of parsed arguments.
virtual void	help (void)
	Print help text.
Public Member Functions inherited from Gecode::Driver::BaseOption
	BaseOption (const char *o, const char *e)
	Initialize for option o and explanation e.
virtual	~BaseOption (void)
	Destructor.

Protected Attributes
unsigned int	cur_port
	Current port.
int	cur_execution_id
	Current execution ID.
Protected Attributes inherited from Gecode::Driver::BaseOption
const char *	eopt
	String for option (excluding hyphen).
const char *	iopt
	String for option (including hyphen).
const char *	exp
	Short explanation.
BaseOption *	next
	Next option Check for option and return its argument.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::Driver::BaseOption
static char *	strdup (const char *s)
	Create heap-allocated copy of string s.
static char *	stredup (const char *s)
	Create heap-allocated copy of string s with hyphen added.
static void	strdel (const char *s)
	Delete heap-allocated copy of string s.
Protected Member Functions inherited from Gecode::Driver::BaseOption
char *	argument (int argc, char *argv[]) const

Detailed Description

Profiler option.

Definition at line 349 of file driver.hh.

Constructor & Destructor Documentation

ProfilerOption()

Gecode::Driver::ProfilerOption::ProfilerOption ( const char * o, const char * e, unsigned int p = 0, int v = -1 )

inline

Initialize for option o and explanation e and default value v.

Definition at line 181 of file options.hpp.

Member Function Documentation

port() [1/2]

void Gecode::Driver::ProfilerOption::port ( unsigned int p )

inline

Set default port to p.

Definition at line 183 of file options.hpp.

port() [2/2]

unsigned int Gecode::Driver::ProfilerOption::port ( void ) const

inline

Return current port.

Definition at line 184 of file options.hpp.

execution_id() [1/2]

void Gecode::Driver::ProfilerOption::execution_id ( int i )

inline

Set default execution ID to i.

Definition at line 185 of file options.hpp.

execution_id() [2/2]

int Gecode::Driver::ProfilerOption::execution_id ( void ) const

inline

Return current execution ID.

Definition at line 186 of file options.hpp.

parse()

virtual int Gecode::Driver::ProfilerOption::parse ( int argc, char * argv[] )

virtual

Parse option at first position and return number of parsed arguments.

Implements Gecode::Driver::BaseOption.

help()

virtual void Gecode::Driver::ProfilerOption::help ( void )

virtual

Print help text.

Implements Gecode::Driver::BaseOption.

Member Data Documentation

cur_port

unsigned int Gecode::Driver::ProfilerOption::cur_port

protected

Current port.

Definition at line 351 of file driver.hh.

cur_execution_id

int Gecode::Driver::ProfilerOption::cur_execution_id

protected

Current execution ID.

Definition at line 352 of file driver.hh.

---

The documentation for this class was generated from the following files:

• gecode/driver.hh
• gecode/driver/options.hpp