Generated on Sat Aug 25 2012 15:53:10 for Gecode by doxygen 1.7.5
Gecode::FlatZinc::GistEngine< Restart< S > > Class Reference

Specialization for Restart. More...

List of all members.

Static Public Member Functions

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

Detailed Description

Specialization for Restart.


Member Function Documentation

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

Definition at line 614 of file flatzinc.cpp.


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