Function BOOL_VAR_AFC_MAX

gecode/int/branch/var.hpp:403–406

  }

  inline BoolVarBranch
  BOOL_VAR_AFC_MAX(double d, BranchTbl tbl) {
    return BoolVarBranch(BoolVarBranch::SEL_AFC_MAX,d,tbl);
  }

  inline BoolVarBranch
  BOOL_VAR_AFC_MAX(BoolAFC a, BranchTbl tbl) {