# Gecode::Int::Rel Namespace Reference

Simple relation propagators. More...

## Classes | |

class | EqDom |

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

class | EqVal |

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

class | EqBnd |

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

class | NaryEqDom |

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

class | NaryEqBnd |

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

class | NaryLqLe |

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

class | NaryNq |

Nary disequality propagator. More... | |

class | ReEqDom |

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

class | ReEqBnd |

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

class | ReEqDomInt |

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

class | ReEqBndInt |

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

class | Nq |

Binary disequality propagator. More... | |

class | Lq |

Less or equal propagator. More... | |

class | Le |

Less propagator. More... | |

class | ReLq |

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

class | ReLqInt |

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

class | LexLqLe |

Lexical ordering propagator. More... | |

class | LexNq |

Lexical disequality propagator. More... |

## Detailed Description

Simple relation propagators.