blob: b7e15c51e15eb44e0c80b31ac6148a7d06942bfa (
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
// $Id: CbcDummyBranchingObject.hpp 1899 2013-04-09 18:12:08Z stefan $
// Copyright (C) 2002, International Business Machines
// Corporation and others. All Rights Reserved.
// This code is licensed under the terms of the Eclipse Public License (EPL).
// Edwin 11/10/2009-- carved out of CbcBranchActual
#ifndef CbcDummyBranchingObject_H
#define CbcDummyBranchingObject_H
#include "CbcBranchBase.hpp"
/** Dummy branching object
This object specifies a one-way dummy branch.
This is so one can carry on branching even when it looks feasible
*/
class CbcDummyBranchingObject : public CbcBranchingObject {
public:
/// Default constructor
CbcDummyBranchingObject (CbcModel * model = NULL);
/// Copy constructor
CbcDummyBranchingObject ( const CbcDummyBranchingObject &);
/// Assignment operator
CbcDummyBranchingObject & operator= (const CbcDummyBranchingObject& rhs);
/// Clone
virtual CbcBranchingObject * clone() const;
/// Destructor
virtual ~CbcDummyBranchingObject ();
using CbcBranchingObject::branch ;
/** \brief Dummy branch
*/
virtual double branch();
#ifdef JJF_ZERO
// No need to override. Default works fine.
/** Reset every information so that the branching object appears to point to
the previous child. This method does not need to modify anything in any
solver. */
virtual void previousBranch();
#endif
using CbcBranchingObject::print ;
/** \brief Print something about branch - only if log level high
*/
virtual void print();
/** Return the type (an integer identifier) of \c this */
virtual CbcBranchObjType type() const {
return DummyBranchObj;
}
/** Compare the original object of \c this with the original object of \c
brObj. Assumes that there is an ordering of the original objects.
This method should be invoked only if \c this and brObj are of the same
type.
Return negative/0/positive depending on whether \c this is
smaller/same/larger than the argument.
*/
virtual int compareOriginalObject(const CbcBranchingObject* brObj) const;
/** Compare the \c this with \c brObj. \c this and \c brObj must be os the
same type and must have the same original object, but they may have
different feasible regions.
Return the appropriate CbcRangeCompare value (first argument being the
sub/superset if that's the case). In case of overlap (and if \c
replaceIfOverlap is true) replace the current branching object with one
whose feasible region is the overlap.
*/
virtual CbcRangeCompare compareBranchingObject
(const CbcBranchingObject* brObj, const bool replaceIfOverlap = false);
};
#endif
|
