#include <OS_user_data.hpp>
Public Member Functions | |
| void | print () const |
| Dump the fields of the class. | |
Constructors and destructors | |
| real_user_data (const int max_size) | |
| Constructor. | |
| ~real_user_data () | |
| Desctructor. | |
Public Attributes | |
| int | max_card_set_zero |
| Maximum number of variables that may be set to zero by branching decisions. | |
| int | card_set_zero |
| Number of variables set to zero by branching descisions. | |
| int * | set_zero |
| Variables that have been set to zero by branching decisions. | |
Definition at line 23 of file OS_user_data.hpp.
| real_user_data::real_user_data | ( | const int | max_size | ) |
Constructor.
Definition at line 74 of file OS_user_data.cpp.
References card_set_zero, max_card_set_zero, and set_zero.
| real_user_data::~real_user_data | ( | ) |
| void real_user_data::print | ( | ) | const |
Dump the fields of the class.
Definition at line 93 of file OS_user_data.cpp.
References card_set_zero, max_card_set_zero, and set_zero.
Referenced by MY_user_data::print().
Maximum number of variables that may be set to zero by branching decisions.
Definition at line 33 of file OS_user_data.hpp.
Referenced by print(), and real_user_data().
Number of variables set to zero by branching descisions.
Definition at line 36 of file OS_user_data.hpp.
Referenced by print(), real_user_data(), and OS_lp::set_user_data_for_children().
Variables that have been set to zero by branching decisions.
Definition at line 39 of file OS_user_data.hpp.
Referenced by print(), real_user_data(), and ~real_user_data().
1.4.7