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.
void print () const
 Dump the fields of the class.
Constructors and destructors



 real_user_data (const int max_size)
 Constructor.
 ~real_user_data ()
 Desctructor.
 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.

Definition at line 72 of file BB_user_data.cpp.

real_user_data::~real_user_data (  ) 

Desctructor.

Definition at line 82 of file BB_user_data.cpp.

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.

Definition at line 91 of file BB_user_data.cpp.

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 files:

Generated on 16 Feb 2012 by  doxygen 1.6.1