Generated on Thu Mar 22 10:39:52 2012 for Gecode by doxygen 1.6.3

Gecode::InstanceOptions Class Reference
[Commandline options for running scripts]

Options for scripts with additional instance parameter More...

#include <driver.hh>

List of all members.

Public Member Functions

 InstanceOptions (const char *s)
 Initialize options for script with name s.
virtual void help (void)
 Print help text.
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc).
void instance (const char *s)
 Set default instance name.
const char * instance (void) const
 Return instance name.
 ~InstanceOptions (void)
 Destructor.

Protected Attributes

const char * _inst
 Instance string.

Detailed Description

Options for scripts with additional instance parameter

Definition at line 514 of file driver.hh.


Constructor & Destructor Documentation

Gecode::InstanceOptions::InstanceOptions ( const char *  s  ) 

Initialize options for script with name s.

Definition at line 405 of file options.cpp.

Gecode::InstanceOptions::~InstanceOptions ( void   ) 

Destructor.

Definition at line 429 of file options.cpp.


Member Function Documentation

void Gecode::InstanceOptions::help ( void   )  [virtual]

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 415 of file options.cpp.

void Gecode::InstanceOptions::parse ( int &  argc,
char *  argv[] 
)

Parse options from arguments argv (number is argc).

Reimplemented from Gecode::BaseOptions.

Definition at line 422 of file options.cpp.

void Gecode::InstanceOptions::instance ( const char *  s  ) 

Set default instance name.

Definition at line 409 of file options.cpp.

const char * Gecode::InstanceOptions::instance ( void   )  const [inline]

Return instance name.

Definition at line 412 of file options.hpp.


Member Data Documentation

const char* Gecode::InstanceOptions::_inst [protected]

Instance string.

Definition at line 516 of file driver.hh.


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