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... |