Method alternatives

gecode/kernel/core.hpp:3818–3821

    : bid(b.id()), alt(a) {}

  forceinline unsigned int
  Choice::alternatives(void) const {
    return alt;
  }

  forceinline unsigned int
  Choice::id(void) const {