A class to select a variable for branching using maximum-violated branching. More...

Inheritance diagram for Minotaur::MaxVioBrancher:

Collaboration diagram for Minotaur::MaxVioBrancher:

Public Member Functions
	MaxVioBrancher (EnvPtr env, HandlerVector &handlers)
	Construct using an environment pointer and initialize .

	~MaxVioBrancher ()
	Destroy.

Branches	findBranches (RelaxationPtr rel, NodePtr node, ConstSolutionPtr sol, SolutionPoolPtr s_pool, BrancherStatus &br_status, ModVector &mods)
	Find a branching candidate. More...

virtual void	updateAfterSolve (NodePtr, ConstSolutionPtr)
	Update pseudo-cost/other information after branching. More...

void	writeStats (std::ostream &out) const
	Write statistics to the given out stream. More...

std::string	getName () const
	Return name. More...

Public Member Functions inherited from Minotaur::Brancher
	Brancher ()
	Default constructor.

virtual	~Brancher ()
	Destroy.

virtual Branches	findBranches (RelaxationPtr rel, NodePtr node, ConstSolutionPtr sol, SolutionPoolPtr s_pool, BrancherStatus &br_status, ModVector &mods)=0
	Find a branching candidate. More...

virtual std::string	getName () const =0
	Return the name of this brancher. More...

virtual void	updateAfterSolve (NodePtr node, ConstSolutionPtr sol)
	Update pseudo-costs after LP is solved. More...

virtual void	writeStats (std::ostream &) const
	Write statistics to the given out stream. More...

Additional Inherited Members
Protected Attributes inherited from Minotaur::Brancher
LoggerPtr	logger_
	Log manager.

Detailed Description

A class to select a variable for branching using maximum-violated branching.

Member Function Documentation

Branches MaxVioBrancher::findBranches	(	RelaxationPtr	rel,
		NodePtr	node,
		ConstSolutionPtr	sol,
		SolutionPoolPtr	s_pool,
		BrancherStatus &	br_status,
		ModVector &	mods
	)

virtual

Find a branching candidate.

Returns: NULL if x does not have any fractional values for integer constrained variables or if no branching candidates are found (e.g. when we realize that problem is infeasible).

Parameters

[in]	rel	Relaxation at the current node.
[in]	node	The current node.
[in]	sol	The solution at the current node.
[in]	s_pool	Solution pool containing known feasible solutions.
[out]	br_status	Status returned by this brancher.
[out]	mods	Modification returned by this brancher. NULL if none found.

std::string MaxVioBrancher::getName ( ) const

virtual

Return name.

void MaxVioBrancher::updateAfterSolve	(	NodePtr	,
		ConstSolutionPtr
	)

virtual

Update pseudo-cost/other information after branching.

Reimplemented from Minotaur::Brancher.

void MaxVioBrancher::writeStats ( std::ostream & ) const

virtual

Write statistics to the given out stream.

Reimplemented from Minotaur::Brancher.

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