Gecode Namespace Reference
Detailed Description
Symmetry Breaking Searchimplements symmetry breaking ala Backofen, Will (Backofen, Will, CP, 1999)
contributed by Sebastian Will
Namespaces | |
namespace | Int |
namespace | Search |
Functions | |
void | atleast (Space *home, const IntVarArgs &x, const IntArgs &ya, int m, IntConLevel icl=ICL_DEF) |
void | atmost (Space *home, const IntVarArgs &x, const IntArgs &ya, int m, IntConLevel icl=ICL_DEF) |
void | count (Space *home, const IntVarArgs &xa, const IntArgs &ya, IntRelType r, int z, IntConLevel icl) |
template<class Int, class T> | |
Int | 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 | countDFS (T *initialSpace, unsigned int c_d, unsigned int a_d, Search::Statistics *stat, Gecode::Search::Stop *st, Int maxSols) |
void | exactly (Space *home, const IntVarArgs &x, const IntArgs &ya, int m, IntConLevel icl=ICL_DEF) |
Function Documentation
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | ya, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Definition at line 98 of file gecodeExtensions.hh.
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | ya, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Definition at line 90 of file gecodeExtensions.hh.
void Gecode::count | ( | Space * | home, | |
const IntVarArgs & | xa, | |||
const IntArgs & | ya, | |||
IntRelType | r, | |||
int | z, | |||
IntConLevel | icl | |||
) | [inline] |
Definition at line 47 of file gecodeExtensions.hh.
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 | |||
) | [inline] |
Definition at line 63 of file GC_searchExt.hh.
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 | |||
) | [inline] |
Definition at line 40 of file GC_searchExt.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | ya, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Definition at line 106 of file gecodeExtensions.hh.