Gecode::Driver::GistEngine< Restart< S > > Class Template Reference

Specialization for Restart. More...

#include <script.hpp>

List of all members.

Static Public Member Functions

static void explore (S *root, const Gist::Options &opt)

Detailed Description

Specialization for Restart.

Definition at line 139 of file script.hpp.

template<typename S >

static void Gecode::Driver::GistEngine< Restart< S > >::explore	(	S *	root,
		const Gist::Options &	opt
	)			`[inline, static]`

Definition at line 141 of file script.hpp.

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


Static Public Member Functions
static void	explore (S *root, const Gist::Options &opt)