Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
array.hpp File Reference
#include <iostream>
#include <iterator>
#include <vector>
#include <sstream>
#include <initializer_list>

Go to the source code of this file.

Classes

class  Gecode::Kernel::ViewOcc< View >
 Occurence information for a view. More...
 
class  Gecode::ArrayTraits< A >
 Traits of arrays in Gecode. More...
 
class  Gecode::VarArray< Var >
 Variable arrays More...
 
class  Gecode::ViewArray< View >
 View arrays. More...
 
class  Gecode::ArgArrayBase< T >
 Base-class for argument arrays. More...
 
class  Gecode::ArgArray< T >
 Argument array for non-primitive types. More...
 
class  Gecode::VarArgArray< Var >
 Argument array for variables. More...
 

Namespaces

 Gecode::Kernel
 Kernel functionality
 

Functions

bool Gecode::Kernel::duplicates (void **p, int n)
 Check whether p has duplicates among its n elements (changes p) More...
 
bool Gecode::Kernel::duplicates (void **p, int n, void **q, int m)
 Check whether p has common elements with q. More...
 
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)
 

Function Documentation

◆ operator+() [1/11]

template<class Var >
ArrayTraits<VarArray<Var> >::ArgsType Gecode::operator+ ( const VarArray< Var > &  x,
const VarArray< Var > &  y 
)

Definition at line 1046 of file array.hpp.

◆ operator+() [2/11]

template<class Var >
ArrayTraits<VarArray<Var> >::ArgsType Gecode::operator+ ( const VarArray< Var > &  x,
const VarArgArray< Var > &  y 
)

Definition at line 1057 of file array.hpp.

◆ operator+() [3/11]

template<class Var >
ArrayTraits<VarArray<Var> >::ArgsType Gecode::operator+ ( const VarArgArray< Var > &  x,
const VarArray< Var > &  y 
)

Definition at line 1068 of file array.hpp.

◆ operator+() [4/11]

template<class Var >
ArrayTraits<VarArray<Var> >::ArgsType Gecode::operator+ ( const VarArray< Var > &  x,
const Var y 
)

Definition at line 1079 of file array.hpp.

◆ operator+() [5/11]

template<class Var >
ArrayTraits<VarArray<Var> >::ArgsType Gecode::operator+ ( const Var x,
const VarArray< Var > &  y 
)

Definition at line 1089 of file array.hpp.

◆ shared() [1/4]

template<class ViewX , class ViewY >
bool Gecode::shared ( ViewArray< ViewX >  x,
ViewArray< ViewY >  y 
)
related

Definition at line 1466 of file array.hpp.

◆ shared() [2/4]

template<class ViewX , class ViewY >
bool Gecode::shared ( ViewArray< ViewX >  x,
ViewY  y 
)
related

Definition at line 1489 of file array.hpp.

◆ shared() [3/4]

template<class ViewX , class ViewY >
bool Gecode::shared ( ViewX  x,
ViewArray< ViewY >  y 
)
related

Definition at line 1500 of file array.hpp.

◆ shared() [4/4]

template<class View >
bool Gecode::shared ( ViewArray< View >  x)
related

Definition at line 1506 of file array.hpp.

◆ operator+() [6/11]

template<class T >
ArrayTraits<ArgArray<T> >::ArgsType Gecode::operator+ ( const ArgArray< T > &  x,
const ArgArray< T > &  y 
)
related

Definition at line 1811 of file array.hpp.

◆ operator+() [7/11]

template<class T >
ArrayTraits<ArgArray<T> >::ArgsType Gecode::operator+ ( const ArgArray< T > &  x,
const T &  y 
)
related

Definition at line 1818 of file array.hpp.

◆ operator+() [8/11]

template<class T >
ArrayTraits<ArgArray<T> >::ArgsType Gecode::operator+ ( const T &  x,
const ArgArray< T > &  y 
)
related

Definition at line 1825 of file array.hpp.

◆ operator+() [9/11]

template<class Var >
ArrayTraits<VarArgArray<Var> >::ArgsType Gecode::operator+ ( const VarArgArray< Var > &  x,
const VarArgArray< Var > &  y 
)
related

Definition at line 1900 of file array.hpp.

◆ operator+() [10/11]

template<class Var >
ArrayTraits<VarArgArray<Var> >::ArgsType Gecode::operator+ ( const VarArgArray< Var > &  x,
const Var y 
)
related

Definition at line 1907 of file array.hpp.

◆ operator+() [11/11]

template<class Var >
ArrayTraits<VarArgArray<Var> >::ArgsType Gecode::operator+ ( const Var x,
const VarArgArray< Var > &  y 
)
related

Definition at line 1914 of file array.hpp.

◆ same() [1/4]

template<class Var >
bool Gecode::same ( VarArgArray< Var x,
VarArgArray< Var y 
)
related

Definition at line 1937 of file array.hpp.

◆ same() [2/4]

template<class Var >
bool Gecode::same ( VarArgArray< Var x,
Var  y 
)
related

Definition at line 1960 of file array.hpp.

◆ same() [3/4]

template<class Var >
bool Gecode::same ( Var  x,
VarArgArray< Var y 
)
related

Definition at line 1971 of file array.hpp.

◆ same() [4/4]

template<class Var >
bool Gecode::same ( VarArgArray< Var x)
related

Definition at line 1977 of file array.hpp.

◆ operator<<() [1/3]

template<class Char , class Traits , class Var >
std::basic_ostream<Char,Traits>& Gecode::operator<< ( std::basic_ostream< Char, Traits > &  os,
const VarArray< Var > &  x 
)
related

Definition at line 1998 of file array.hpp.

◆ operator<<() [2/3]

template<class Char , class Traits , class View >
std::basic_ostream<Char,Traits>& Gecode::operator<< ( std::basic_ostream< Char, Traits > &  os,
const ViewArray< View > &  x 
)
related

Definition at line 1998 of file array.hpp.

◆ operator<<() [3/3]

template<class Char , class Traits , class T >
std::basic_ostream<Char,Traits>& Gecode::operator<< ( std::basic_ostream< Char, Traits > &  os,
const ArgArrayBase< T > &  x 
)
related

Definition at line 1998 of file array.hpp.