Generated on Wed Nov 5 2014 05:18:38 for Gecode by doxygen 1.7.6.1
Gecode::InstanceOptions Class Reference

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 588 of file driver.hh.


Constructor & Destructor Documentation

Initialize options for script with name s.

Definition at line 444 of file options.cpp.

Destructor.

Definition at line 468 of file options.cpp.


Member Function Documentation

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

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 454 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 461 of file options.cpp.

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

Set default instance name.

Definition at line 448 of file options.cpp.

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

Return instance name.

Definition at line 480 of file options.hpp.


Member Data Documentation

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

Instance string.

Definition at line 590 of file driver.hh.


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