Gecode::Driver::ExtractStepOption< BaseSpace > Class Template Reference

Class to extract the step option value. More...

#include <driver.hh>

List of all members.

Public Member Functions
	ExtractStepOption (const Options &opt)
	Constructor that extracts the step value.
	ExtractStepOption (bool share, BaseSpace &e)
	Constructor used for cloning.

---

Detailed Description

template<class BaseSpace>
class Gecode::Driver::ExtractStepOption< BaseSpace >

Class to extract the step option value.

Definition at line 738 of file driver.hh.

---

Constructor & Destructor Documentation

template<class BaseSpace >

Gecode::Driver::ExtractStepOption< BaseSpace >::ExtractStepOption

(

const Options &

opt

)

[inline]

Constructor that extracts the step value.

Definition at line 741 of file driver.hh.

template<class BaseSpace >

Gecode::Driver::ExtractStepOption< BaseSpace >::ExtractStepOption	(	bool	share,
		BaseSpace &	e
	)			[inline]

Constructor used for cloning.

Definition at line 744 of file driver.hh.

---

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

• gecode/driver.hh (Revision: 15218)