blob: a380945865de2f380bfb0c7bb244d18e1d1cf3df (
plain)
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
62
|
// $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
|
