Specialization for DFS. More...
Static Public Member Functions | |
static void | explore (S *root, const FlatZincOptions &opt, Gist::Inspector *i) |
Specialization for DFS.
Definition at line 564 of file flatzinc.cpp.
static void Gecode::FlatZinc::GistEngine< DFS< S > >::explore | ( | S * | root, |
const FlatZincOptions & | opt, | ||
Gist::Inspector * | i | ||
) | [inline, static] |
Definition at line 566 of file flatzinc.cpp.