Function expr

gecode/minimodel/bool-expr.cpp:628–635

* Posting Boolean expressions and relations * */

   *
   */
  BoolVar
  expr(Home home, const BoolExpr& e, const IntPropLevels& ipls) {
    PostInfo pi(home);
    if (!home.failed())
      return e.expr(home,ipls);
    BoolVar x(home,0,1);
    return x;
  }

  void
  rel(Home home, const BoolExpr& e, const IntPropLevels& ipls) {