Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Count Namespace Reference

Counting propagators. More...

Classes

class  EqInt
 Propagator for counting views (equal integer to number of equal views) More...
 
class  EqView
 Propagator for counting views (equal to number of equal views) More...
 
class  GqInt
 Propagator for counting views (greater or equal integer to number of equal views) More...
 
class  GqView
 Propagator for counting views (greater or equal to number of equal views) More...
 
class  IntBase
 Baseclass for count propagators (integer) More...
 
class  LqInt
 Propagator for counting views (less or equal integer to number of equal views) More...
 
class  LqView
 Propagator for counting views (less or equal to number of equal views) More...
 
class  ViewBase
 Base-class for count propagators (view) More...
 

Functions

template<>
ViewTypeDesc vtd (const IntSet &y)
 
template<>
ViewTypeDesc vtd (ConstIntView y)
 
template<>
ViewTypeDesc vtd (ZeroIntView y)
 
void subscribe (Space &home, Propagator &p, IntSet &y)
 
void cancel (Space &home, Propagator &p, IntSet &y)
 
template<class VX >
ExecStatus post_true (Home home, VX x, ConstIntView y)
 
template<class VX >
ExecStatus post_true (Home home, VX x, ZeroIntView)
 
template<class VX >
ExecStatus post_true (Home home, VX x, const IntSet &y)
 
template<class VX >
ExecStatus post_false (Home home, VX x, ConstIntView y)
 
template<class VX >
ExecStatus post_false (Home home, VX x, ZeroIntView)
 
template<class VX >
ExecStatus post_false (Home home, VX x, const IntSet &y)
 
template<class VX >
ExecStatus post_true (Home home, VX x, VX y)
 
template<class VX >
ExecStatus post_false (Home home, VX x, VX y)
 
template<class VX >
ExecStatus prune (Space &home, ViewArray< VX > &x, ConstIntView)
 
template<class VX >
ExecStatus prune (Space &home, ViewArray< VX > &x, ZeroIntView)
 
template<class VX >
ExecStatus prune (Space &home, ViewArray< VX > &x, const IntSet &y)
 
template<class VX >
ExecStatus prune (Space &home, ViewArray< VX > &x, VX y)
 
template<class VX >
bool shared (const IntSet &, VX)
 
enum  ViewTypeDesc { VTD_CONSTVIEW, VTD_INTSET, VTD_VARVIEW }
 Description of view type. More...
 
template<class VY >
ViewTypeDesc vtd (VY y)
 Return the view type description of y. More...
 
template<class VY >
void subscribe (Space &home, Propagator &p, VY y)
 Subscribe propagator p to view y. More...
 
template<class VY >
void cancel (Space &home, Propagator &p, VY y)
 Cancel propagator p for view y. More...
 
template<class VX >
RelTest holds (VX x, ConstIntView y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest holds (VX x, ZeroIntView y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest holds (VX x, const IntSet &y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest holds (VX x, VX y)
 Test whether x and y are equal. More...
 
template<class VX >
ExecStatus post_true (Home home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are equal to y. More...
 
template<class VX >
ExecStatus post_true (Home home, ViewArray< VX > &x, ZeroIntView y)
 Post that all views in x are equal to y. More...
 
template<class VX >
ExecStatus post_true (Home home, ViewArray< VX > &x, const IntSet &y)
 Post that all views in x are equal to y. More...
 
template<class VX >
ExecStatus post_false (Home home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are not equal to y. More...
 
template<class VX >
ExecStatus post_false (Home home, ViewArray< VX > &x, ZeroIntView y)
 Post that all views in x are not equal to y. More...
 
template<class VX >
ExecStatus post_false (Home home, ViewArray< VX > &x, const IntSet &y)
 Post that all views in x are not equal to y. More...
 
template<class VX >
ExecStatus post_true (Home home, ViewArray< VX > &x, VX y)
 Post that all views in x are equal to y. More...
 
template<class VX >
ExecStatus post_false (Home home, ViewArray< VX > &x, VX y)
 Post that all views in x are not equal to y. More...
 
template<class VX >
ExecStatus prune (Home home, ViewArray< VX > &x, VX y)
 Prune that y is the union of x. More...
 
template<class VX >
ExecStatus prune (Home home, ViewArray< VX > &x, ConstIntView y)
 Prune that y is the union of x. More...
 
template<class VX >
ExecStatus prune (Home home, ViewArray< VX > &x, ZeroIntView y)
 Prune that y is the union of x. More...
 
template<class VX >
ExecStatus prune (Home home, ViewArray< VX > &x, const IntSet &y)
 Prune that y is the union of x. More...
 

Detailed Description

Counting propagators.

Enumeration Type Documentation

Description of view type.

Relations for domain consistent counting

Enumerator
VTD_CONSTVIEW 

Constant view.

VTD_INTSET 

Integer set.

VTD_VARVIEW 

Variable view.

Definition at line 58 of file count.hh.

Function Documentation

template<class VY >
ViewTypeDesc Gecode::Int::Count::vtd ( VY  y)
inline

Return the view type description of y.

Definition at line 49 of file rel.hpp.

template<>
ViewTypeDesc Gecode::Int::Count::vtd ( const IntSet y)
inline

Definition at line 55 of file rel.hpp.

template<>
ViewTypeDesc Gecode::Int::Count::vtd ( ConstIntView  y)
inline

Definition at line 61 of file rel.hpp.

template<>
ViewTypeDesc Gecode::Int::Count::vtd ( ZeroIntView  y)
inline

Definition at line 67 of file rel.hpp.

void Gecode::Int::Count::subscribe ( Space home,
Propagator p,
IntSet y 
)
inline

Definition at line 74 of file rel.hpp.

template<class VY >
void Gecode::Int::Count::subscribe ( Space home,
Propagator p,
VY  y 
)
inline

Subscribe propagator p to view y.

Definition at line 79 of file rel.hpp.

void Gecode::Int::Count::cancel ( Space home,
Propagator p,
IntSet y 
)
inline

Definition at line 84 of file rel.hpp.

template<class VY >
void Gecode::Int::Count::cancel ( Space home,
Propagator p,
VY  y 
)
inline

Cancel propagator p for view y.

Definition at line 90 of file rel.hpp.

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
ConstIntView  y 
)
inline

Test whether x and y are equal.

Definition at line 96 of file rel.hpp.

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
ZeroIntView   
)
inline

Test whether x and y are equal.

Definition at line 101 of file rel.hpp.

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
const IntSet y 
)
inline

Test whether x and y are equal.

Definition at line 106 of file rel.hpp.

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
VX  y 
)
inline

Test whether x and y are equal.

Definition at line 126 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
VX  x,
ConstIntView  y 
)
inline

Definition at line 132 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
VX  x,
ZeroIntView   
)
inline

Definition at line 138 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
VX  x,
const IntSet y 
)
inline

Definition at line 144 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
ConstIntView  y 
)
inline

Post that all views in x are equal to y.

Definition at line 151 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
ZeroIntView   
)
inline

Post that all views in x are equal to y.

Definition at line 158 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
const IntSet y 
)
inline

Post that all views in x are equal to y.

Definition at line 165 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
VX  x,
ConstIntView  y 
)
inline

Definition at line 175 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
VX  x,
ZeroIntView   
)
inline

Definition at line 181 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
VX  x,
const IntSet y 
)
inline

Definition at line 187 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
ConstIntView  y 
)
inline

Post that all views in x are not equal to y.

Definition at line 194 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
ZeroIntView   
)
inline

Post that all views in x are not equal to y.

Definition at line 201 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
const IntSet y 
)
inline

Post that all views in x are not equal to y.

Definition at line 208 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
VX  y 
)
inline

Post that all views in x are equal to y.

Definition at line 218 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_true ( Home  home,
VX  x,
VX  y 
)
inline

Definition at line 227 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
VX  y 
)
inline

Post that all views in x are not equal to y.

Definition at line 232 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::post_false ( Home  home,
VX  x,
VX  y 
)
inline

Definition at line 239 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Space home,
ViewArray< VX > &  x,
ConstIntView   
)
inline

Definition at line 245 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Space home,
ViewArray< VX > &  x,
ZeroIntView   
)
inline

Definition at line 252 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Space home,
ViewArray< VX > &  x,
const IntSet y 
)
inline

Definition at line 259 of file rel.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Space home,
ViewArray< VX > &  x,
VX  y 
)
inline

Definition at line 267 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::shared ( const IntSet ,
VX   
)
inline

Definition at line 114 of file view-base.hpp.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Home  home,
ViewArray< VX > &  x,
VX  y 
)

Prune that y is the union of x.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Home  home,
ViewArray< VX > &  x,
ConstIntView  y 
)

Prune that y is the union of x.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Home  home,
ViewArray< VX > &  x,
ZeroIntView  y 
)

Prune that y is the union of x.

template<class VX >
ExecStatus Gecode::Int::Count::prune ( Home  home,
ViewArray< VX > &  x,
const IntSet y 
)

Prune that y is the union of x.