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