Class handling user data. More...
#include <BB_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. | |
Class handling user data.
Definition at line 22 of file BB_user_data.hpp.
| real_user_data::real_user_data | ( | const int | max_size | ) |
Constructor.
| real_user_data::~real_user_data | ( | ) |
Desctructor.
| void real_user_data::print | ( | ) | const |
Dump the fields of the class.
Maximum number of variables that may be set to zero by branching decisions.
Definition at line 32 of file BB_user_data.hpp.
Number of variables set to zero by branching descisions.
Definition at line 35 of file BB_user_data.hpp.
Variables that have been set to zero by branching decisions.
Definition at line 38 of file BB_user_data.hpp.
1.6.1