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:

• gecode/flatzinc/flatzinc.cpp