blob: ee5a641a942ab782b984a7c935e1c1caa23550ec (
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
|
/* $Id: CoinPresolveForcing.hpp 1498 2011-11-02 15:25:35Z mjs $ */
// 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).
#ifndef CoinPresolveForcing_H
#define CoinPresolveForcing_H
#include "CoinPresolveMatrix.hpp"
/*!
\file
*/
#define IMPLIED_BOUND 7
/*! \class forcing_constraint_action
\brief Detect and process forcing constraints and useless constraints
A constraint is useless if the bounds on the variables prevent the constraint
from ever being violated.
A constraint is a forcing constraint if the bounds on the constraint force
the value of an involved variable to one of its bounds. A constraint can
force more than one variable.
*/
class forcing_constraint_action : public CoinPresolveAction {
forcing_constraint_action();
forcing_constraint_action(const forcing_constraint_action& rhs);
forcing_constraint_action& operator=(const forcing_constraint_action& rhs);
public:
struct action {
const int *rowcols;
const double *bounds;
int row;
int nlo;
int nup;
};
private:
const int nactions_;
// actions_ is owned by the class and must be deleted at destruction
const action *const actions_;
public:
forcing_constraint_action(int nactions,
const action *actions,
const CoinPresolveAction *next) :
CoinPresolveAction(next),
nactions_(nactions), actions_(actions) {}
const char *name() const;
static const CoinPresolveAction *presolve(CoinPresolveMatrix * prob,
const CoinPresolveAction *next);
void postsolve(CoinPostsolveMatrix *prob) const;
virtual ~forcing_constraint_action();
};
#endif
|
