src/cpsp/gecode/GC_searchExt.hh File Reference
#include "gecode/minimodel.hh"
#include "gecode/support/dynamic-array.hh"
#include "symm-break.icc"
Include dependency graph for GC_searchExt.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Search |
Data Structures | |
class | Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker > |
Generic branching with symmetry breaking. More... | |
class | Gecode::Search::SymmBreaker< View, Val > |
Symmetry Breaker. More... | |
Functions | |
template<class Int, class T> | |
Int | Gecode::countDDS (T *initialSpace, unsigned int c_d, unsigned int a_d, Search::Statistics *stat, Gecode::Search::Stop *st, Int maxSols) |
template<class Int, class T> | |
Int | Gecode::countDFS (T *initialSpace, unsigned int c_d, unsigned int a_d, Search::Statistics *stat, Gecode::Search::Stop *st, Int maxSols) |