Class handling user data. More...

Public Member Functions
void	print () const
	Dump the fields of the class. More...

Constructors and destructors
	real_user_data (const int max_size)
	Constructor. More...

	~real_user_data ()
	Desctructor. More...

Public Attributes

int	max_card_set_zero
	Maximum number of variables that may be set to zero by branching decisions. More...

int	card_set_zero
	Number of variables set to zero by branching descisions. More...

int *	set_zero
	Variables that have been set to zero by branching decisions. More...

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.

void real_user_data::print ( ) const

Dump the fields of the class.

int real_user_data::max_card_set_zero

Maximum number of variables that may be set to zero by branching decisions.

Definition at line 32 of file BB_user_data.hpp.

int real_user_data::card_set_zero

Number of variables set to zero by branching descisions.

Definition at line 35 of file BB_user_data.hpp.

int* real_user_data::set_zero

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: