CglTreeInfo.hpp

Go to the documentation of this file.

// $Id: CglTreeInfo.hpp 1201 2014-03-07 17:24:04Z forrest $
// Copyright (C) 2000, International Business Machines
// Corporation and others.  All Rights Reserved.
// This code is licensed under the terms of the Eclipse Public License (EPL).

#ifndef CglTreeInfo_H
#define CglTreeInfo_H

#include "OsiCuts.hpp"
#include "OsiSolverInterface.hpp"
#include "CoinHelperFunctions.hpp"
class CglStored;
class CglTreeInfo {
public:
  int level;
  int pass;
  int formulation_rows;
  int options;
  bool inTree;
  OsiRowCut ** strengthenRow;
  CoinThreadRandom * randomNumberGenerator;
  CglTreeInfo ();
 
  CglTreeInfo (
    const CglTreeInfo &);
  virtual CglTreeInfo * clone() const;

  CglTreeInfo &
    operator=(
    const CglTreeInfo& rhs);
  
  virtual
    ~CglTreeInfo ();
  virtual bool fixes(int , int , int ,bool) {return false;}
  virtual int initializeFixing(const OsiSolverInterface * ) {return 0;}
  
};

typedef struct {
  //unsigned int oneFixed:1; //  nonzero if variable to 1 fixes all
  //unsigned int sequence:31; //  variable (in matrix) (but also see cliqueRow_)
  unsigned int fixes;
} CliqueEntry;

class CglTreeProbingInfo : public CglTreeInfo {
public:
  CglTreeProbingInfo ();
  CglTreeProbingInfo (const OsiSolverInterface * model);
 
  CglTreeProbingInfo (
    const CglTreeProbingInfo &);
  virtual CglTreeInfo * clone() const;

  CglTreeProbingInfo &
    operator=(
    const CglTreeProbingInfo& rhs);
  
  virtual
    ~CglTreeProbingInfo ();
  OsiSolverInterface * analyze(const OsiSolverInterface & si, int createSolver=0,
                               int numberExtraCliques=0,const int * starts=NULL,
                               const CliqueEntry * entries=NULL,const char * type=NULL);
  virtual bool fixes(int variable, int toValue, int fixedVariable,bool fixedToLower);
  virtual int initializeFixing(const OsiSolverInterface * model) ;
  int fixColumns(OsiSolverInterface & si) const;
  int fixColumns(int iColumn, int value, OsiSolverInterface & si) const;
  int packDown();
  void generateCuts(const OsiSolverInterface & si, OsiCuts & cs,
                    const CglTreeInfo info) const;
  inline CliqueEntry * fixEntries()
  { convert(); return fixEntry_;}
  inline int * toZero()
  { convert(); return toZero_;}
  inline int * toOne()
  { convert(); return toOne_;}
  inline int * integerVariable() const
  { return integerVariable_;}
  inline int * backward() const
  { return backward_;}
  inline int numberVariables() const
  { return numberVariables_;}
  inline int numberIntegers() const
  { return numberIntegers_;}
private:
  void convert();
protected:
  CliqueEntry * fixEntry_;
  int * toZero_;
  int * toOne_;
  int * integerVariable_;
  int * backward_;
  int * fixingEntry_;
  int numberVariables_;
  int numberIntegers_;
  int maximumEntries_;
  int numberEntries_;
};
inline int sequenceInCliqueEntry(const CliqueEntry & cEntry)
{ return cEntry.fixes&0x7fffffff;}
inline void setSequenceInCliqueEntry(CliqueEntry & cEntry,int sequence)
{ cEntry.fixes = sequence|(cEntry.fixes&0x80000000);}
inline bool oneFixesInCliqueEntry(const CliqueEntry & cEntry)
{ return (cEntry.fixes&0x80000000)!=0;}
inline void setOneFixesInCliqueEntry(CliqueEntry & cEntry,bool oneFixes)
{ cEntry.fixes = (oneFixes ? 0x80000000 : 0)|(cEntry.fixes&0x7fffffff);}

#endif