SCIL::MAX Class Reference
The symbolic constraint for weighted maxima.
#include <max.h>
Public Member Functions | |
| MAX (var v_, var_map< int > &VM_, std::map< var, double > &CF_, int n_, bool geq_=false) | |
| Constructor. | |
| void | init (subproblem &S) |
| Adds static constraints r <= 0. | |
| status | standard_separation (subproblem &S) |
| status | feasible (solution &S) |
| void | info () |
Public Attributes | |
| var | v |
| var_map< int > & | VM |
| std::map< var, double > & | CF |
| int | n |
| bool | geq |
| double | mc |
Detailed Description
Definition at line 12 of file max.h.
Constructor & Destructor Documentation
| SCIL::MAX::MAX | ( | var | v_, | |
| var_map< int > & | VM_, | |||
| std::map< var, double > & | CF_, | |||
| int | n_, | |||
| bool | geq_ = false | |||
| ) |
Ensures that the variable v is the weighted maximum of the variables in VM. Preconditions:
- The variables associated to the edges are binary
- n is the number of variables in VM Parameters:
- MAX_Debug_Out
true|false
Definition at line 35 of file src/constraints/max.cc.
Member Function Documentation
| MAX::status MAX::feasible | ( | solution & | S | ) | [virtual] |
Returns true if v is the weighted maximum of the variables in VM
Reimplemented from SCIL::sym_constraint.
Definition at line 86 of file src/constraints/max.cc.
References SCIL::subproblem::configuration(), and SCIL::solution::value().
| void MAX::info | ( | ) | [virtual] |
Returns information on the symbolic constraints.
Reimplemented from SCIL::sym_constraint.
Definition at line 166 of file src/constraints/max.cc.
| MAX::status MAX::standard_separation | ( | subproblem & | S | ) | [virtual] |
The main separation function.
Reimplemented from SCIL::sym_constraint.
Definition at line 113 of file src/constraints/max.cc.
References SCIL::subproblem::add_basic_constraint(), SCIL::subproblem::configuration(), and SCIL::subproblem::value().
The documentation for this class was generated from the following files:
