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

Specialization for DFS. 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< DFS< S > >

Specialization for DFS.

Definition at line 580 of file flatzinc.cpp.

---

Member Function Documentation

template<typename S >

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

Definition at line 582 of file flatzinc.cpp.

---

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

• gecode/flatzinc/flatzinc.cpp (Revision: 12410)