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

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

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.

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.

Instance string.

Definition at line 698 of file driver.hh.

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