Go to the documentation of this file.
33 #ifndef CBC_SYMMETRY_HPP
34 #define CBC_SYMMETRY_HPP
37 #include "nausparse.h"
52 #define NTY_BAD_DEPTH 10
56 #define COUENNE_HACKED_EPS 1.e-07
57 #define COUENNE_HACKED_EPS_SYMM 1e-8
58 #define COUENNE_HACKED_EXPRGROUP 8
77 void node(
int,
double,
double,
double,
int,
int);
86 inline void bounds(
register double a,
register double b)
109 inline bool operator()(
register const char *a,
register const char *b)
const
111 return strcmp(a, b) < 0;
159 int numberColumns,
bool justFixedAtOne)
const;
193 CbcNauty(
int n,
const size_t *v,
const int *d,
const int *e);
239 inline optionblk *
options()
const
287 std::multimap< int, int >::iterator
it;
289 std::pair< std::multimap< int, int >::iterator,
290 std::multimap< int, int >::iterator >
311 int numberExtra,
const int *extraToZero);
330 virtual void fix(OsiSolverInterface *solver,
331 double *lower,
double *upper,
332 int branchState)
const;
std::vector< std::vector< int > > * getOrbits() const
Returns the orbits in a "convenient" form.
CbcOrbitalBranchingObject(const CbcOrbitalBranchingObject &)
virtual void fix(OsiSolverInterface *solver, double *lower, double *upper, int branchState) const
Update bounds in solver as in 'branch' and update given bounds.
int way() const
Get the state of the branching object.
bool operator()(register const Node &a, register const Node &b)
CbcSymmetry & operator=(const CbcSymmetry &rhs)
Assignment operator.
void node(int, double, double, double, int, int)
void deleteElement(int ix, int jx)
int orbitalFixing(OsiSolverInterface *solver)
Fixes variables using orbits (returns number fixed)
CbcOrbitalBranchingObject & operator=(const CbcOrbitalBranchingObject &rhs)
std::multimap< int, int > constr_rhs
int numberExtra_
Number extra.
virtual void previousBranch()
Reset every information so that the branching object appears to point to the previous child.
CbcSymmetry()
Default constructor.
virtual void print()
Print something about branch - only if log level high.
void setupSymmetry(CbcModel *model)
empty if no NTY, symmetry data structure setup otherwise
void addElement(int ix, int jx)
virtual int compareOriginalObject(const CbcBranchingObject *brObj) const
Compare the original object of this with the original object of brObj.
virtual double branch()=0
Execute the actions required to branch, as specified by the current state of the branching object,...
bool compare(register Node &a, register Node &b) const
CbcOrbitalBranchingObject()
std::vector< int > * Find_Orbit(int) const
bool operator()(register const char *a, register const char *b) const
virtual void previousBranch()
Reset every information so that the branching object appears to point to the previous child.
CbcNauty()
Default constructor.
double getGroupSize() const
virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
Compare the this with brObj.
~CbcSymmetry()
Destructor.
void ChangeBounds(const double *lower, const double *upper, int numberColumns, bool justFixedAtOne) const
Class to deal with symmetry.
std::pair< std::multimap< int, int >::iterator, std::multimap< int, int >::iterator > ret
Branching object for Orbital branching.
void Compute_Symmetry() const
#define COUENNE_HACKED_EPS_SYMM
int statsOrbits(CbcModel *model, int type) const
void setWriteAutoms(const std::string &afilename)
Methods to classify orbits.
Simple Branch and bound class.
optionblk * options() const
Pointer to options.
void insertRHS(int rhs, int cons)
virtual void print() const
Print something about branch - only if log level high.
Abstract branching object base class Now just difference with OsiBranchingObject.
CbcSymmetry(const CbcSymmetry &)
Copy constructor.
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.
void bounds(register double a, register double b)
void Print_Orbits() const
CbcNauty(const CbcNauty &)
Copy constructor.
virtual double branch()
Does next branch and updates state.
void getVstat(double *v, int nv)
std::multimap< int, int >::iterator it
int numberOther_
Number (without column) going to zero on down branch.
int numberUsefulObjects() const
CbcOrbitalBranchingObject(CbcModel *model, int column, int way, int numberExtra, const int *extraToZero)
void color_vertex(register int k)
int largestOrbit(const double *lower, const double *upper) const
CbcNauty & operator=(const CbcNauty &rhs)
Assignment operator.
std::vector< Node > node_info_
int getNumGenerators() const
void color_node(int ix, int color)
CbcNauty(int n, const size_t *v, const int *d, const int *e)
Normal constructor (if dense - NULLS)
int * fixToZero_
Fix to zero.
CbcModel * model() const
Return model.
int column_
Column to go to 1.
virtual CbcBranchingObject * clone() const
Clone.
bool operator()(register const Node &a, register const Node &b)
int numberUsefulOrbits() const
virtual ~CbcOrbitalBranchingObject()