7
7
* Christian Schulte, 2004
10
* $Date: 2010-10-07 20:52:01 +1100 (Thu, 07 Oct 2010) $ by $Author: schulte $
10
* $Date: 2013-02-19 13:26:08 +0100 (Tue, 19 Feb 2013) $ by $Author: schulte $
13
13
* This file is part of Gecode, the generic constraint
14
14
* development environment:
349
349
if (opt.model() == MODEL_CLIQUE)
350
350
rel(*this, m, IRT_GQ, n-1);
352
branch(*this, m, INT_VAL_MIN);
352
branch(*this, m, INT_VAL_MIN());
353
353
switch (opt.branching()) {
354
354
case BRANCH_SIZE:
355
branch(*this, v, INT_VAR_SIZE_MIN, INT_VAL_MIN);
355
branch(*this, v, INT_VAR_SIZE_MIN(), INT_VAL_MIN());
357
357
case BRANCH_DEGREE:
358
branch(*this, v, tiebreak(INT_VAR_DEGREE_MAX,INT_VAR_SIZE_MIN),
358
branch(*this, v, tiebreak(INT_VAR_DEGREE_MAX(),INT_VAR_SIZE_MIN()),
361
361
case BRANCH_SIZE_DEGREE:
362
branch(*this, v, INT_VAR_SIZE_DEGREE_MIN, INT_VAL_MIN);
362
branch(*this, v, INT_VAR_DEGREE_SIZE_MAX(), INT_VAL_MIN());
364
364
case BRANCH_SIZE_AFC:
365
branch(*this, v, INT_VAR_SIZE_AFC_MIN, INT_VAL_MIN);
365
branch(*this, v, INT_VAR_AFC_SIZE_MAX(opt.decay()), INT_VAL_MIN());