Generated on Thu Apr 11 13:59:50 2019 for Gecode by doxygen 1.6.3

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

Specialization for BAB. More...

List of all members.

Static Public Member Functions

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

Detailed Description

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

Specialization for BAB.

Definition at line 1653 of file flatzinc.cpp.


Member Function Documentation

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

Definition at line 1655 of file flatzinc.cpp.


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