Class handling user data. More...

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

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...

	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.

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.

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.

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