Gecode::Set::Rel Namespace Reference

Standard set relation propagators. More...

## Classes

class | Subset
| Propagator for the subset constraint More...
class | NoSubset
| Propagator for the negated subset constraint More...
class | ReSubset
| Reified subset propagator More...
class | Eq
| Propagator for set equality More...
class | ReEq
| Reified equality propagator More...
class | Lq
| Propagator for set less than or equal More...
class | ReLq
| Reified propagator for set less than or equal More...
class | Distinct
| Propagator for negated equality More...
class | DistinctDoit
| Propagator for negated equality More...
class | CharacteristicSets
| Representation of the characteristic functions of two sets. More...

## Functions

template<class VX, class VY>
bool | same (VX c, VY y)
| Test whether two views are in fact the same.
template<>
bool | same (SetView x, SetView y)
bool | subsumesME (ModEvent me0, ModEvent me1, ModEvent me2, ModEvent me)
bool | subsumesME (ModEvent me0, ModEvent me1, ModEvent me)
bool | subsumesME (ModEvent me0, ModEvent me)
bool | testSetEventLB (ModEvent me0, ModEvent me1, ModEvent me2)
bool | testSetEventUB (ModEvent me0, ModEvent me1, ModEvent me2)
bool | testSetEventAnyB (ModEvent me0, ModEvent me1, ModEvent me2)
bool | testSetEventCard (ModEvent me0, ModEvent me1, ModEvent me2)
bool | testSetEventLB (ModEvent me0, ModEvent me1)
bool | testSetEventUB (ModEvent me0, ModEvent me1)
bool | testSetEventAnyB (ModEvent me0, ModEvent me1)
bool | testSetEventCard (ModEvent me0, ModEvent me1)
bool | testSetEventLB (ModEvent me0)
bool | testSetEventUB (ModEvent me0)
bool | testSetEventAnyB (ModEvent me0)
bool | testSetEventCard (ModEvent me0)

## Detailed Description

Standard set relation propagators.

## Function Documentation

## same() [1/2]

template<class VX, class VY>

bool Gecode::Set::Rel::same | ( | VX | c,
|  | VY | y )

inline

Test whether two views are in fact the same.

Definition at line 57 of file common.hpp.

## same() [2/2]

template<>

bool Gecode::Set::Rel::same | ( | SetView | x,
|  | SetView | y )

inline

Definition at line 63 of file common.hpp.

## subsumesME() [1/3]

bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0,
|  | ModEvent | me1,
|  | ModEvent | me2,
|  | ModEvent | me )

inline

Definition at line 68 of file common.hpp.

## subsumesME() [2/3]

bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0,
|  | ModEvent | me1,
|  | ModEvent | me )

inline

Definition at line 73 of file common.hpp.

## subsumesME() [3/3]

bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0,
|  | ModEvent | me )

inline

Definition at line 78 of file common.hpp.

## testSetEventLB() [1/3]

bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0,
|  | ModEvent | me1,
|  | ModEvent | me2 )

inline

Definition at line 83 of file common.hpp.

## testSetEventUB() [1/3]

bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0,
|  | ModEvent | me1,
|  | ModEvent | me2 )

inline

Definition at line 87 of file common.hpp.

## testSetEventAnyB() [1/3]

bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0,
|  | ModEvent | me1,
|  | ModEvent | me2 )

inline

Definition at line 91 of file common.hpp.

## testSetEventCard() [1/3]

bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0,
|  | ModEvent | me1,
|  | ModEvent | me2 )

inline

Definition at line 95 of file common.hpp.

## testSetEventLB() [2/3]

bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0,
|  | ModEvent | me1 )

inline

Definition at line 99 of file common.hpp.

## testSetEventUB() [2/3]

bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0,
|  | ModEvent | me1 )

inline

Definition at line 103 of file common.hpp.

## testSetEventAnyB() [2/3]

bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0,
|  | ModEvent | me1 )

inline

Definition at line 107 of file common.hpp.

## testSetEventCard() [2/3]

bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0,
|  | ModEvent | me1 )

inline

Definition at line 111 of file common.hpp.

## testSetEventLB() [3/3]

bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0 | ) |

inline

Definition at line 115 of file common.hpp.

## testSetEventUB() [3/3]

bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0 | ) |

inline

Definition at line 119 of file common.hpp.

## testSetEventAnyB() [3/3]

bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0 | ) |

inline

Definition at line 123 of file common.hpp.

## testSetEventCard() [3/3]

bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0 | ) |

inline

Definition at line 127 of file common.hpp.