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 (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 762 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 765 of file driver.hh.

template<class BaseSpace >

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

(

BaseSpace &

e

)

[inline]

Constructor used for cloning.

Definition at line 768 of file driver.hh.

---

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

• gecode/driver.hh