CglTreeInfo.hpp

Go to the documentation of this file.

// $Id: CglTreeInfo.hpp 1442 2019-01-06 16:39:41Z unxusr $
// 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;
  int hasParent;
  OsiSolverInterface *parentSolver;
  int *originalColumns;
  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 CoinBigIndex *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

/* vi: softtabstop=2 shiftwidth=2 expandtab tabstop=2
*/