Method ~CHB

gecode/kernel/branch/chb.cpp:55–55

  }

  CHB::~CHB(void) {}

}