Integer propagation level option. More...

#include <driver.hh>

Public Member Functions
	IplOption (IntPropLevel ipl=IPL_DEF)
	Initialize with default value ipl.

void	value (IntPropLevel l)
	Set default level to l.

IntPropLevel	value (void) const
	Return current option value.

virtual int	parse (int argc, char *argv[])
	Parse option at first position and return number of parsed arguments.

virtual void	help (void)
	Print help text.

Public Member Functions inherited from Gecode::Driver::BaseOption
	BaseOption (const char o, const char e)
	Initialize for option o and explanation e.

virtual int	parse (int argc, char *argv[])=0
	Parse option at first position and return number of parsed arguments.

virtual void	help (void)=0
	Print help text.

virtual	~BaseOption (void)
	Destructor.

Protected Attributes
IntPropLevel	cur
	Current value.

Protected Attributes inherited from Gecode::Driver::BaseOption
const char *	eopt
	String for option (excluding hyphen)

const char *	iopt
	String for option (including hyphen)

const char *	exp
	Short explanation.

BaseOption *	next
	Next option Check for option and return its argument.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::Driver::BaseOption
static char *	strdup (const char *s)
	Create heap-allocated copy of string s.

static char *	stredup (const char *s)
	Create heap-allocated copy of string s with hyphen added.

static void	strdel (const char *s)
	Delete heap-allocated copy of string s.

Protected Member Functions inherited from Gecode::Driver::BaseOption
char *	argument (int argc, char *argv[]) const

Detailed Description

Integer propagation level option.

Definition at line 289 of file driver.hh.

Constructor & Destructor Documentation

◆ IplOption()

Gecode::Driver::IplOption::IplOption ( IntPropLevel ipl = IPL_DEF )

Initialize with default value ipl.

Definition at line 292 of file options.cpp.

Member Function Documentation

◆ value() [1/2]

void Gecode::Driver::IplOption::value ( IntPropLevel l )

inline

Set default level to l.

Definition at line 137 of file options.hpp.

◆ value() [2/2]

IntPropLevel Gecode::Driver::IplOption::value ( void ) const

inline

Return current option value.

Definition at line 141 of file options.hpp.

◆ parse()

int Gecode::Driver::IplOption::parse	(	int	argc,
		char *	argv[]
	)

virtual

Parse option at first position and return number of parsed arguments.

Implements Gecode::Driver::BaseOption.

Definition at line 297 of file options.cpp.

◆ help()

void Gecode::Driver::IplOption::help ( void )

virtual

Print help text.

Implements Gecode::Driver::BaseOption.

Definition at line 331 of file options.cpp.

Member Data Documentation

◆ cur

IntPropLevel Gecode::Driver::IplOption::cur

protected

Current value.

Definition at line 291 of file driver.hh.

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

gecode/driver.hh
gecode/driver/options.cpp
gecode/driver/options.hpp

Public Member Functions

Protected Attributes

Additional Inherited Members