Options for scripts with additional instance parameter More...

#include <driver.hh>

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.

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.

Instance string.

Definition at line 516 of file driver.hh.

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