Ignore:
Timestamp:
Jul 20, 2014 1:56:25 PM (7 years ago)
Author:
forrest
Message:

fix stupid bug in orbital branching

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/Cbc/src/CbcSymmetry.cpp

    r2049 r2051  
    99 * This file is licensed under the Eclipse Public License (EPL)
    1010 */
    11 
     11//#define PRINT_MORE 1
    1212#include <stdio.h>
    1313
     
    108108  } else {
    109109    returnCode = nauty_info_->getNumGenerators();
    110     if (returnCode)
     110    if (returnCode) {
    111111      sprintf (general,"Nauty: %d orbits, %d generators, group size: %g - dense size %d, sparse %d - going %s",
    112112               nauty_info_->getNumOrbits(),
     
    114114               nauty_info_ -> getGroupSize (),
    115115               whichOrbit_[0],whichOrbit_[1],nauty_info_->isSparse() ? "sparse" : "dense");
    116     else
    117       sprintf(general,"Nauty did not find any useful orbits");
     116    } else {
     117      if ((model->moreSpecialOptions2()&(128|256))!=(128|256))
     118        sprintf(general,"Nauty did not find any useful orbits");
     119      else
     120        sprintf(general,"Nauty did not find any useful orbits - but keeping Nauty on");
     121    }
    118122  }
    119123  model->messageHandler()->message(CBC_GENERAL,
     
    618622      if (status[i]!='0'&&status[i]!='1') {
    619623        int iOrbit=alternativeOrbits[i];
     624        if (iOrbit<0)
     625          continue;
    620626        for (int j=i+1;j<numberColumns;j++) {
    621627          if (status[j]=='0'&&alternativeOrbits[j]==iOrbit) {
Note: See TracChangeset for help on using the changeset viewer.