Generated on Fri Mar 20 12:35:20 2009 for cpsp-2.3.1 by doxygen 1.5.5

Gecode Namespace Reference


Detailed Description

Symmetry Breaking Search

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