# rel.hh File Reference

`#include <gecode/int.hh>`

`#include <gecode/int/rel/eq.hpp>`

`#include <gecode/int/rel/nq.hpp>`

`#include <gecode/int/rel/lq-le.hpp>`

`#include <gecode/int/rel/lex.hpp>`

Go to the source code of this file.

## Classes | |

class | Gecode::Int::Rel::EqDom< View0, View1 > |

Binary domain consistent equality propagator. More... | |

class | Gecode::Int::Rel::EqVal< View0, View1 > |

Binary value propagation equality propagator. More... | |

class | Gecode::Int::Rel::EqBnd< View0, View1 > |

Binary bounds consistent equality propagator. More... | |

class | Gecode::Int::Rel::NaryEqDom< View > |

n-ary domain consistent equality propagator More... | |

class | Gecode::Int::Rel::NaryEqBnd< View > |

n-ary bounds consistent equality propagator More... | |

class | Gecode::Int::Rel::NaryLqLe< View, o > |

n-ary less and less or equal propagator More... | |

class | Gecode::Int::Rel::NaryLqLe< View, o >::Index |

Advisors for views (by position in array) More... | |

class | Gecode::Int::Rel::NaryLqLe< View, o >::Pos |

Positions in view array that have to be propagated. More... | |

class | Gecode::Int::Rel::NaryNq< View > |

Nary disequality propagator. More... | |

class | Gecode::Int::Rel::ReEqDom< View, CtrlView, rm > |

Reified binary domain consistent equality propagator. More... | |

class | Gecode::Int::Rel::ReEqBnd< View, CtrlView, rm > |

Reified binary bounds consistent equality propagator. More... | |

class | Gecode::Int::Rel::ReEqDomInt< View, CtrlView, rm > |

Reified domain consistent equality with integer propagator. More... | |

class | Gecode::Int::Rel::ReEqBndInt< View, CtrlView, rm > |

Reified bounds consistent equality with integer propagator. More... | |

class | Gecode::Int::Rel::Nq< V0, V1 > |

Binary disequality propagator. More... | |

class | Gecode::Int::Rel::Lq< V0, V1 > |

Less or equal propagator. More... | |

class | Gecode::Int::Rel::Le< V0, V1 > |

Less propagator. More... | |

class | Gecode::Int::Rel::ReLq< View, CtrlView, rm > |

Reified less or equal propagator. More... | |

class | Gecode::Int::Rel::ReLqInt< View, CtrlView, rm > |

Reified less or equal with integer propagator. More... | |

class | Gecode::Int::Rel::LexLqLe< VX, VY > |

Lexical ordering propagator. More... | |

class | Gecode::Int::Rel::LexNq< VX, VY > |

Lexical disequality propagator. More... | |

## Namespaces | |

namespace | Gecode::Int::Rel |

Simple relation propagators. | |

namespace | Gecode |

Gecode toplevel namespace | |

namespace | Gecode::Int |

Finite domain integers. |