Gecode::Int::Count Namespace Reference
Detailed Description
Counting propagators.
Classes | |
class | BaseInt |
Baseclass for count propagators (integer). More... | |
class | EqInt |
Propagator for counting views (equal integer to number of equal views) More... | |
class | GqInt |
Propagator for counting views (greater or equal integer to number of equal views) More... | |
class | LqInt |
Propagator for counting views (less or equal integer to number of equal views) More... | |
class | NqInt |
Propagator for counting views (not equal integer to number of equal views) More... | |
class | BaseView |
Base-class for count propagators (view). More... | |
class | EqView |
Propagator for counting views (equal to number of equal views) More... | |
class | NqView |
Propagator for counting views (different from number of equal views) More... | |
class | LqView |
Propagator for counting views (less or equal to number of equal views) More... | |
class | GqView |
Propagator for counting views (greater or equal to number of equal views) More... | |
template<class VX> | |
RelTest | holds (VX x, ConstIntView y) |
Test whether x and y are equal. | |
template<class VX> | |
RelTest | holds (VX x, VX y) |
Test whether x and y are equal. | |
template<class VX> | |
bool | post_true (Space *home, ViewArray< VX > &x, ConstIntView y) |
Post that all views in x are equal to y. | |
template<class VX> | |
bool | post_false (Space *home, ViewArray< VX > &x, ConstIntView y) |
Post that all views in x are not equal to y. | |
template<class VX> | |
bool | post_true (Space *home, ViewArray< VX > &x, VX y) |
Post that all views in x are equal to y. | |
template<class VX> | |
bool | post_false (Space *home, ViewArray< VX > &x, VX y) |
Post that all views in x are not equal to y. | |
Functions | |
template<class VX> | |
RelTest | holds (VX x, ZeroIntView) |
template<class VX> | |
bool | post_true (Space *home, VX x, ConstIntView y) |
template<class VX> | |
bool | post_true (Space *home, VX x, ZeroIntView) |
template<class VX> | |
bool | post_true (Space *home, ViewArray< VX > &x, ZeroIntView) |
template<class VX> | |
bool | post_false (Space *home, VX x, ConstIntView y) |
template<class VX> | |
bool | post_false (Space *home, VX x, ZeroIntView) |
template<class VX> | |
bool | post_false (Space *home, ViewArray< VX > &x, ZeroIntView) |
template<class VX> | |
bool | post_true (Space *home, VX x, VX y) |
template<class VX> | |
bool | post_false (Space *home, VX x, VX y) |
Function Documentation
template<class VX>
RelTest Gecode::Int::Count::holds | ( | VX | x, | |
ConstIntView | y | |||
) | [inline] |
template<class VX>
RelTest Gecode::Int::Count::holds | ( | VX | x, | |
ZeroIntView | ||||
) | [inline] |
template<class VX>
RelTest Gecode::Int::Count::holds | ( | VX | x, | |
VX | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_true | ( | Space * | home, | |
VX | x, | |||
ConstIntView | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_true | ( | Space * | home, | |
VX | x, | |||
ZeroIntView | ||||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_true | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
ConstIntView | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_true | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
ZeroIntView | ||||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_false | ( | Space * | home, | |
VX | x, | |||
ConstIntView | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_false | ( | Space * | home, | |
VX | x, | |||
ZeroIntView | ||||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_false | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
ConstIntView | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_false | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
ZeroIntView | ||||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_true | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
VX | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_true | ( | Space * | home, | |
VX | x, | |||
VX | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_false | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
VX | y | |||
) | [inline] |
template<class VX>
bool Gecode::Int::Count::post_false | ( | Space * | home, | |
VX | x, | |||
VX | y | |||
) | [inline] |