Method init

gecode/flatzinc/flatzinc.cpp:314–318

    : SharedHandle(bi) {}

  void
  BranchInformation::init(void) {
    assert(object() == nullptr);
    object(new BranchInformationO());
  }

  void
  BranchInformation::add(BrancherGroup bg,