Function post

gecode/int/linear/bool-post.cpp:588–593

  void
  post(Home home,
       Term<BoolView>* t, int n, IntRelType irt, IntView x, int c,
       IntPropLevel) {
    post_all(home,t,n,irt,x,c);
  }

  void
  post(Home home,