Method post

test/set/rel.cpp:153–155

Post constraint on \a x and \a y

      }
      /// Post constraint on \a x and \a y
      void post(Space& home, SetVarArray& x, IntVarArray& y) {
        Gecode::ite(home, Gecode::channel(home,y[0]), x[0], x[1], x[2]);
      }
    };

    RelBin _relbin_eq(Gecode::SRT_EQ,false);