Generated on Fri Oct 19 11:25:43 2018 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 696 of file driver.hh.


Constructor & Destructor Documentation

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

Initialize options for script with name s.

Definition at line 675 of file options.cpp.

Gecode::InstanceOptions::~InstanceOptions ( void   ) 

Destructor.

Definition at line 699 of file options.cpp.


Member Function Documentation

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

Print help text.

Reimplemented from Gecode::BaseOptions.

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

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

Set default instance name.

Definition at line 679 of file options.cpp.

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

Return instance name.

Definition at line 599 of file options.hpp.


Member Data Documentation

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

Instance string.

Definition at line 698 of file driver.hh.


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