79 virtual bool fixes(
int,
int,
int,
bool) {
return false; }
113 int numberExtraCliques = 0,
const CoinBigIndex *starts = NULL,
114 const CliqueEntry *entries = NULL,
const char *type = NULL);
118 virtual bool fixes(
int variable,
int toValue,
int fixedVariable,
bool fixedToLower);
198 return cEntry.
fixes & 0x7fffffff;
202 cEntry.
fixes = sequence | (cEntry.
fixes & 0x80000000);
206 return (cEntry.
fixes & 0x80000000) != 0;
210 cEntry.
fixes = (oneFixes ? 0x80000000 : 0) | (cEntry.
fixes & 0x7fffffff);
int * toZero()
Starts of integer variable going to zero.
OsiRowCut ** strengthenRow
Replacement array.
virtual ~CglTreeInfo()
Destructor.
int options
Options 1 - treat costed integers as important 2 - switch off some stuff as variables semi-integer 4 ...
int * toOne()
Starts of integer variable going to one.
CliqueEntry * fixEntries()
Entries for fixing variables.
int level
The level of the search tree node.
virtual CglTreeInfo * clone() const
Clone.
int numberVariables() const
Number of variables.
virtual CglTreeInfo * clone() const
Clone.
void setSequenceInCliqueEntry(CliqueEntry &cEntry, int sequence)
Stored Cut Generator Class.
void generateCuts(const OsiSolverInterface &si, OsiCuts &cs, const CglTreeInfo info) const
Generate cuts from implications.
Information about where the cut generator is invoked from.
void convert()
Converts to ordered.
Collections of row cuts and column cuts.
int hasParent
nonzero if called from child of main model 1 if heuristic run 2 if doing full search ...
int * toZero_
Starts of integer variable going to zero.
int numberIntegers_
Number of 0-1 variables.
int numberIntegers() const
Number of 0-1 variables.
int maximumEntries_
Maximum number in fixEntry_.
OsiSolverInterface * analyze(const OsiSolverInterface &si, int createSolver=0, int numberExtraCliques=0, const CoinBigIndex *starts=NULL, const CliqueEntry *entries=NULL, const char *type=NULL)
int * backward_
Backward look up.
int formulation_rows
The number of rows in the original formulation.
Abstract Base Class for describing an interface to a solver.
bool oneFixesInCliqueEntry(const CliqueEntry &cEntry)
int * backward() const
Backward look up.
Derived class to pick up probing info.
int * integerVariable() const
List of 0-1 integer variables.
virtual int initializeFixing(const OsiSolverInterface *model)
Initalizes fixing arrays etc - returns >0 if we want to save info 0 if we don't and -1 if is to be use...
CliqueEntry * fixEntry_
Entries for fixing variables.
int numberEntries_
Number entries in fixingEntry_ (and fixEntry_) or -2 if correct style.
CglTreeInfo & operator=(const CglTreeInfo &rhs)
Assignment operator.
OsiSolverInterface * parentSolver
parent solver
CglTreeInfo()
Default constructor.
int * integerVariable_
List of 0-1 integer variables.
virtual bool fixes(int variable, int toValue, int fixedVariable, bool fixedToLower)
Take action if cut generator can fix a variable (toValue -1 for down, +1 for up) Returns true if stil...
int numberVariables_
Number of variables.
CglTreeProbingInfo()
Default constructor.
int pass
How many times the cut generator was already invoked in this search tree node.
virtual ~CglTreeProbingInfo()
Destructor.
int sequenceInCliqueEntry(const CliqueEntry &cEntry)
bool inTree
Set true if in tree (to avoid ambiguity at first branch)
int * toOne_
Starts of integer variable going to one.
virtual int initializeFixing(const OsiSolverInterface *)
Initalizes fixing arrays etc - returns >0 if we want to save info 0 if we don't and -1 if is to be use...
void setOneFixesInCliqueEntry(CliqueEntry &cEntry, bool oneFixes)
CglTreeProbingInfo & operator=(const CglTreeProbingInfo &rhs)
Assignment operator.
virtual bool fixes(int, int, int, bool)
Take action if cut generator can fix a variable (toValue -1 for down, +1 for up)
int * fixingEntry_
Entries for fixing variable when collecting.
int fixColumns(OsiSolverInterface &si) const
Fix entries in a solver using implications.
int packDown()
Packs down entries.
int * originalColumns
Original columns (if preprocessed)
Class for thread specific random numbers.
CoinThreadRandom * randomNumberGenerator
Optional pointer to thread specific random number generator.