Generated on Tue Sep 25 2012 20:53:24 for Gecode by doxygen 1.7.5
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


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: