# count.hh File Reference

### (Revision: 7285)

`#include "gecode/int.hh"`

`#include "gecode/int/count/rel.icc"`

`#include "gecode/int/count/int.icc"`

`#include "gecode/int/count/view.icc"`

Go to the source code of this file.

## Namespaces | |

namespace | Gecode::Int::Count |

namespace | Gecode |

namespace | Gecode::Int |

## Classes | |

class | Gecode::Int::Count::BaseInt< VX, VY > |

Baseclass for count propagators (integer). More... | |

class | Gecode::Int::Count::EqInt< VX, VY > |

Propagator for counting views (equal integer to number of equal views) More... | |

class | Gecode::Int::Count::GqInt< VX, VY > |

Propagator for counting views (greater or equal integer to number of equal views) More... | |

class | Gecode::Int::Count::LqInt< VX, VY > |

Propagator for counting views (less or equal integer to number of equal views) More... | |

class | Gecode::Int::Count::NqInt< VX, VY > |

Propagator for counting views (not equal integer to number of equal views) More... | |

class | Gecode::Int::Count::BaseView< VX, VY, VZ, shr > |

Base-class for count propagators (view). More... | |

class | Gecode::Int::Count::EqView< VX, VY, VZ, shr > |

Propagator for counting views (equal to number of equal views) More... | |

class | Gecode::Int::Count::NqView< VX, VY, VZ, shr > |

Propagator for counting views (different from number of equal views) More... | |

class | Gecode::Int::Count::LqView< VX, VY, VZ, shr > |

Propagator for counting views (less or equal to number of equal views) More... | |

class | Gecode::Int::Count::GqView< VX, VY, VZ, shr > |

Propagator for counting views (greater or equal to number of equal views) More... | |

template<class VX> | |

RelTest | Gecode::Int::Count::holds (VX x, VX y) |

Test whether x and y are equal. | |

template<class VX> | |

RelTest | Gecode::Int::Count::holds (VX x, ConstIntView y) |

Test whether x and y are equal. | |

template<class VX> | |

bool | Gecode::Int::Count::post_true (Space *home, ViewArray< VX > &x, VX y) |

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

template<class VX> | |

bool | Gecode::Int::Count::post_true (Space *home, ViewArray< VX > &x, ConstIntView y) |

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

template<class VX> | |

bool | Gecode::Int::Count::post_false (Space *home, ViewArray< VX > &x, VX y) |

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

template<class VX> | |

bool | Gecode::Int::Count::post_false (Space *home, ViewArray< VX > &x, ConstIntView y) |

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