Generated on Tue Jul 27 2010 21:59:26 for Gecode by doxygen 1.7.1
Static Public Member Functions

Gecode::FlatZinc::GistEngine< LDS< S > > Class Template Reference

Specialization for LDS. More...

List of all members.

Static Public Member Functions

static void explore (S *root, const FlatZincOptions &opt, Gist::Inspector *i)

Detailed Description

template<typename S>
class Gecode::FlatZinc::GistEngine< LDS< S > >

Specialization for LDS.

Definition at line 577 of file flatzinc.cpp.

Member Function Documentation

template<typename S >
static void Gecode::FlatZinc::GistEngine< LDS< S > >::explore ( S *  root,
const FlatZincOptions &  opt,
Gist::Inspector *  i 
) [inline, static]

Definition at line 579 of file flatzinc.cpp.

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