Gecode::FlatZinc::GistEngine< BAB< S > > Class Template Reference
Specialization for BAB. More...
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:
- gecode/flatzinc/flatzinc.cpp