Function bool_test

gecode/int/view/bool-test.hpp:40–43

* Test sharing between Boolean and negated Boolean views * */

   *
   */
  forceinline BoolTest
  bool_test(const BoolView& b0, const BoolView& b1) {
    return (b0 == b1) ? BT_SAME : BT_NONE;
  }
  forceinline BoolTest
  bool_test(const BoolView& b0, const NegBoolView& b1) {
    return (b0 == b1.base()) ? BT_COMP : BT_NONE;