real_user_data Class Reference

Class handling user data. More...

#include <BB_user_data.hpp>

List of all members.

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.

Detailed Description

Class handling user data.

Definition at line 22 of file BB_user_data.hpp.


Constructor & Destructor Documentation

real_user_data::real_user_data ( const int  max_size  ) 

Constructor.

real_user_data::~real_user_data (  ) 

Desctructor.


Member Function Documentation

void real_user_data::print (  )  const

Dump the fields of the class.


Member Data Documentation

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.


The documentation for this class was generated from the following file:

Generated on 15 Mar 2015 for Coin-All by  doxygen 1.6.1