Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy > Class Template Reference

Global incumbent manager for branch and bound. More...

#include <Branch_And_Bound.H>

Collaboration diagram for Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >:

Public Types
using	Solution_Type = Solution
using	Objective_Type = typename Solution::Objective_Type
using	Objective_Policy = ObjectivePolicy
using	Compare_Type = PreferBetterObjective< Solution, ObjectivePolicy >

Public Member Functions
	ObjectiveIncumbent ()=default
	ObjectiveIncumbent (ObjectivePolicy objective)
bool	has_value () const noexcept
const Solution &	get () const
const Objective_Type &	best_value () const
const ObjectivePolicy &	objective () const noexcept
bool	consider (const Solution &solution)
bool	consider (Solution &&solution)
bool	can_improve (const Objective_Type &bound) const noexcept

Private Attributes
ObjectivePolicy	objective_ = {}
BestSolution< Solution, Compare_Type >	best_

Detailed Description

template<typename Solution, typename ObjectivePolicy>
class Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >

Global incumbent manager for branch and bound.

Definition at line 145 of file Branch_And_Bound.H.

Member Typedef Documentation

Compare_Type

template<typename Solution , typename ObjectivePolicy >

using Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::Compare_Type = PreferBetterObjective<Solution, ObjectivePolicy>

Definition at line 151 of file Branch_And_Bound.H.

Objective_Policy

template<typename Solution , typename ObjectivePolicy >

using Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::Objective_Policy = ObjectivePolicy

Definition at line 150 of file Branch_And_Bound.H.

Objective_Type

template<typename Solution , typename ObjectivePolicy >

using Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::Objective_Type = typename Solution::Objective_Type

Definition at line 149 of file Branch_And_Bound.H.

Solution_Type

template<typename Solution , typename ObjectivePolicy >

using Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::Solution_Type = Solution

Definition at line 148 of file Branch_And_Bound.H.

Constructor & Destructor Documentation

ObjectiveIncumbent() [1/2]

template<typename Solution , typename ObjectivePolicy >

Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::ObjectiveIncumbent ( )

default

ObjectiveIncumbent() [2/2]

template<typename Solution , typename ObjectivePolicy >

Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::ObjectiveIncumbent ( ObjectivePolicy  objective )

inlineexplicit

Definition at line 155 of file Branch_And_Bound.H.

Member Function Documentation

best_value()

template<typename Solution , typename ObjectivePolicy >

const Objective_Type & Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_value ( ) const

inline

Definition at line 171 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::get().

Referenced by Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::can_improve().

can_improve()

template<typename Solution , typename ObjectivePolicy >

bool Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::can_improve ( const Objective_Type &  bound ) const

inlinenoexcept

Definition at line 191 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_value(), Aleph::divide_and_conquer_partition_dp(), Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::has_value(), and Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::objective_.

Referenced by Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::dfs(), Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::dfs_visited(), Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::process_best_first_candidate(), and Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::search_best_first().

consider() [1/2]

template<typename Solution , typename ObjectivePolicy >

bool Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::consider ( const Solution &  solution )

inline

Definition at line 181 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_.

Referenced by Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::handle_complete_solution().

consider() [2/2]

template<typename Solution , typename ObjectivePolicy >

bool Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::consider ( Solution &&  solution )

inline

Definition at line 186 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_.

get()

template<typename Solution , typename ObjectivePolicy >

const Solution & Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::get ( ) const

inline

Definition at line 166 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_.

Referenced by Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_value().

has_value()

template<typename Solution , typename ObjectivePolicy >

bool Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::has_value ( ) const

inlinenoexcept

Definition at line 161 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_.

Referenced by Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::can_improve(), Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::found_solution(), and Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::search_best_first().

objective()

template<typename Solution , typename ObjectivePolicy >

const ObjectivePolicy & Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::objective ( ) const

inlinenoexcept

Definition at line 176 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::objective_.

Member Data Documentation

best_

template<typename Solution , typename ObjectivePolicy >

BestSolution<Solution, Compare_Type> Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::best_

private

Definition at line 198 of file Branch_And_Bound.H.

Referenced by Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::consider(), Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::consider(), Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::get(), and Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::has_value().

objective_

template<typename Solution , typename ObjectivePolicy >

ObjectivePolicy Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::objective_ = {}

private

Definition at line 197 of file Branch_And_Bound.H.

Referenced by Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::can_improve(), and Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::objective().

---

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

• Branch_And_Bound.H