|
bool | Gecode::Kernel::duplicates (void **p, int n) |
| Check whether p has duplicates among its n elements (changes p)
|
|
bool | Gecode::Kernel::duplicates (void **p, int n, void **q, int m) |
| Check whether p has common elements with q.
|
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | Gecode::operator+ (const VarArray< Var > &x, const VarArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | Gecode::operator+ (const VarArray< Var > &x, const VarArgArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | Gecode::operator+ (const VarArgArray< Var > &x, const VarArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | Gecode::operator+ (const VarArray< Var > &x, const Var &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | Gecode::operator+ (const Var &x, const VarArray< Var > &y) |
|
template<class ViewX , class ViewY > |
bool | Gecode::shared (ViewArray< ViewX > x, ViewArray< ViewY > y) |
|
template<class ViewX , class ViewY > |
bool | Gecode::shared (ViewArray< ViewX > x, ViewY y) |
|
template<class ViewX , class ViewY > |
bool | Gecode::shared (ViewX x, ViewArray< ViewY > y) |
|
template<class View > |
bool | Gecode::shared (ViewArray< View > x) |
|
template<class T > |
ArrayTraits< ArgArray< T > >::ArgsType | Gecode::operator+ (const ArgArray< T > &x, const ArgArray< T > &y) |
|
template<class T > |
ArrayTraits< ArgArray< T > >::ArgsType | Gecode::operator+ (const ArgArray< T > &x, const T &y) |
|
template<class T > |
ArrayTraits< ArgArray< T > >::ArgsType | Gecode::operator+ (const T &x, const ArgArray< T > &y) |
|
template<class Var > |
ArrayTraits< VarArgArray< Var > >::ArgsType | Gecode::operator+ (const VarArgArray< Var > &x, const VarArgArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArgArray< Var > >::ArgsType | Gecode::operator+ (const VarArgArray< Var > &x, const Var &y) |
|
template<class Var > |
ArrayTraits< VarArgArray< Var > >::ArgsType | Gecode::operator+ (const Var &x, const VarArgArray< Var > &y) |
|
template<class Var > |
bool | Gecode::same (VarArgArray< Var > x, VarArgArray< Var > y) |
|
template<class Var > |
bool | Gecode::same (VarArgArray< Var > x, Var y) |
|
template<class Var > |
bool | Gecode::same (Var x, VarArgArray< Var > y) |
|
template<class Var > |
bool | Gecode::same (VarArgArray< Var > x) |
|
template<class Char , class Traits , class Var > |
std::basic_ostream< Char, Traits > & | Gecode::operator<< (std::basic_ostream< Char, Traits > &os, const VarArray< Var > &x) |
|
template<class Char , class Traits , class View > |
std::basic_ostream< Char, Traits > & | Gecode::operator<< (std::basic_ostream< Char, Traits > &os, const ViewArray< View > &x) |
|
template<class Char , class Traits , class T > |
std::basic_ostream< Char, Traits > & | Gecode::operator<< (std::basic_ostream< Char, Traits > &os, const ArgArrayBase< T > &x) |
|