bddmanager.cc File Reference

(Revision: 5043)

#include "gecode/cpltset.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::CpltSet
Variables
BddMgr	Gecode::CpltSet::manager