/usr/include/coin/CoinPresolveForcing.hpp is in coinor-libcoinutils-dev 2.9.15-3.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: 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
|