Generated on Wed Mar 19 07:30:04 2008 for Gecode by doxygen 1.5.5

bddmanager.icc File Reference

(Revision: 5608)

#include "gecode/support/buddy/bdd.h"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::CpltSet

Classes

class  Gecode::BddMgrException
 Exception: Error in the Buddy ROBDD manager More...
class  Gecode::CpltSet::BddMgr
 Manager for CpltSetVars. More...