real_user_data(const int max_size)
Constructor.
~MY_user_data()
Destructor.
int * set_zero
Variables that have been set to zero by branching decisions.
void print() const
Dump the fields of the class.
void print() const
Dump the fields of the class.
MY_user_data(const int max_size)
Initial constructor.
real_user_data * p_rud
Pointer on an object holding the user data itself.
void pack(BCP_buffer &buf) const
Packing to buffer.
int card_set_zero
Number of variables set to zero by branching descisions.
Class handling user data.
Class taking care of interaction between user data and Bcp.
int is_processed
Indicator for mmory management: If is_processed = 1, the associated user data may be erased...
~real_user_data()
Desctructor.
This class describes the message buffer used for all processes of BCP.
int max_card_set_zero
Maximum number of variables that may be set to zero by branching decisions.