Generated on Fri Jan 28 2022 04:43:06 for Gecode by doxygen 1.8.13
Gecode::ViewArray< Int::Linear::NoView > Class Template Reference

View array for no view (empty) More...

#include <int-noview.hpp>

Constructors and initialization

 ViewArray (void)
 Default constructor (array of size 0) More...
 
 ViewArray (Space &home, int m)
 Allocate array with m variables. More...
 
 ViewArray (const ViewArray< Int::Linear::NoView > &)
 Initialize. More...
 
 ViewArray (Space &, const ViewArray< Int::Linear::NoView > &)
 Initialize. More...
 
const ViewArray< Int::Linear::NoView > & operator= (const ViewArray< Int::Linear::NoView > &)
 Initialize. More...
 

Array size

int size (void) const
 Return size of array (number of elements) More...
 
void size (int n)
 Decrease size of array (number of elements) More...
 

Array elements

Int::Linear::NoView operator[] (int i)
 Return view at position i. More...
 
const Int::Linear::NoView operator[] (int i) const
 Return view at position i. More...
 

Dependencies

void subscribe (Space &, Propagator &p, PropCond pc, bool process=true)
 Subscribe propagator p with propagation condition pc to all views. More...
 
void cancel (Space &home, Propagator &p, PropCond pc)
 Cancel subscription of propagator p with propagation condition pc to all views. More...
 
void reschedule (Space &home, Propagator &p, PropCond pc)
 Schedule propagator p. More...
 

Cloning

void update (Space &home, ViewArray< Int::Linear::NoView > &a)
 Update array to be a clone of array a. More...
 

Moving elements

void move_fst (int i)
 Move assigned view from position 0 to position i (shift elements to the left) More...
 
void move_lst (int i)
 Move assigned view from position size()-1 to position i (truncate array by one) More...
 

Detailed Description

template<>
class Gecode::ViewArray< Int::Linear::NoView >

View array for no view (empty)

Definition at line 165 of file int-noview.hpp.

Constructor & Destructor Documentation

◆ ViewArray() [1/4]

Default constructor (array of size 0)

Definition at line 170 of file int-noview.hpp.

◆ ViewArray() [2/4]

Gecode::ViewArray< Int::Linear::NoView >::ViewArray ( Space home,
int  m 
)
inline

Allocate array with m variables.

Definition at line 172 of file int-noview.hpp.

◆ ViewArray() [3/4]

Initialize.

Definition at line 174 of file int-noview.hpp.

◆ ViewArray() [4/4]

Initialize.

Definition at line 176 of file int-noview.hpp.

Member Function Documentation

◆ operator=()

Initialize.

Definition at line 178 of file int-noview.hpp.

◆ size() [1/2]

int Gecode::ViewArray< Int::Linear::NoView >::size ( void  ) const
inline

Return size of array (number of elements)

Definition at line 184 of file int-noview.hpp.

◆ size() [2/2]

void Gecode::ViewArray< Int::Linear::NoView >::size ( int  n)
inline

Decrease size of array (number of elements)

Definition at line 186 of file int-noview.hpp.

◆ operator[]() [1/2]

Int::Linear::NoView Gecode::ViewArray< Int::Linear::NoView >::operator[] ( int  i)
inline

Return view at position i.

Definition at line 192 of file int-noview.hpp.

◆ operator[]() [2/2]

const Int::Linear::NoView Gecode::ViewArray< Int::Linear::NoView >::operator[] ( int  i) const
inline

Return view at position i.

Definition at line 198 of file int-noview.hpp.

◆ subscribe()

void Gecode::ViewArray< Int::Linear::NoView >::subscribe ( Space ,
Propagator p,
PropCond  pc,
bool  process = true 
)
inline

Subscribe propagator p with propagation condition pc to all views.

Definition at line 208 of file int-noview.hpp.

◆ cancel()

void Gecode::ViewArray< Int::Linear::NoView >::cancel ( Space home,
Propagator p,
PropCond  pc 
)
inline

Cancel subscription of propagator p with propagation condition pc to all views.

Definition at line 212 of file int-noview.hpp.

◆ reschedule()

void Gecode::ViewArray< Int::Linear::NoView >::reschedule ( Space home,
Propagator p,
PropCond  pc 
)
inline

Schedule propagator p.

Definition at line 216 of file int-noview.hpp.

◆ update()

void Gecode::ViewArray< Int::Linear::NoView >::update ( Space home,
ViewArray< Int::Linear::NoView > &  a 
)
inline

Update array to be a clone of array a.

Definition at line 224 of file int-noview.hpp.

◆ move_fst()

void Gecode::ViewArray< Int::Linear::NoView >::move_fst ( int  i)
inline

Move assigned view from position 0 to position i (shift elements to the left)

Definition at line 232 of file int-noview.hpp.

◆ move_lst()

void Gecode::ViewArray< Int::Linear::NoView >::move_lst ( int  i)
inline

Move assigned view from position size()-1 to position i (truncate array by one)

Definition at line 234 of file int-noview.hpp.


The documentation for this class was generated from the following file: