Method post

gecode/minimodel/dom.cpp:149–155

    template<typename... Args>
    void
    DomExpr<Args...>::post(Home home, BoolVar b, bool neg,
                           const IntPropLevels& ipls)
    {
      DomArgs<Args...>::apply(home, neg ? (!b).expr (home, ipls) : b, ipls,
                              cxx14::index_sequence_for<Args...>{});
    }
  }