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.