/usr/include/coin/CbcBranchAllDifferent.hpp is in coinor-libcbc-dev 2.9.9+repack1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 | // $Id: CbcBranchAllDifferent.hpp 1899 2013-04-09 18:12:08Z stefan $
// Copyright (C) 2004, International Business Machines
// Corporation and others. All Rights Reserved.
// This code is licensed under the terms of the Eclipse Public License (EPL).
// Edwin 11/13/2009-- carved out of CbcBranchCut
#ifndef CbcBranchAllDifferent_H
#define CbcBranchAllDifferent_H
#include "CbcBranchBase.hpp"
#include "OsiRowCut.hpp"
#include "CoinPackedMatrix.hpp"
#include "CbcBranchCut.hpp"
/** Define a branch class that branches so that it is only satsified if all
members have different values
So cut is x <= y-1 or x >= y+1
*/
class CbcBranchAllDifferent : public CbcBranchCut {
public:
// Default Constructor
CbcBranchAllDifferent ();
/** Useful constructor - passed set of integer variables which must all be different
*/
CbcBranchAllDifferent (CbcModel * model, int number, const int * which);
// Copy constructor
CbcBranchAllDifferent ( const CbcBranchAllDifferent &);
/// Clone
virtual CbcObject * clone() const;
// Assignment operator
CbcBranchAllDifferent & operator=( const CbcBranchAllDifferent& rhs);
// Destructor
~CbcBranchAllDifferent ();
/// Infeasibility - large is 0.5
virtual double infeasibility(const OsiBranchingInformation * info,
int &preferredWay) const;
/// Creates a branching object
virtual CbcBranchingObject * createCbcBranch(OsiSolverInterface * solver, const OsiBranchingInformation * info, int way) ;
protected:
/// data
/// Number of entries
int numberInSet_;
/// Which variables
int * which_;
};
#endif
|