Aleph::BranchAndBoundResult< Solution, ObjectivePolicy > Struct Template Reference

Result of a branch-and-bound execution. More...

#include <Branch_And_Bound.H>

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

Public Types
using	Solution_Type = Solution
using	Objective_Policy = ObjectivePolicy
using	Incumbent_Type = ObjectiveIncumbent< Solution, ObjectivePolicy >

Public Member Functions
	BranchAndBoundResult ()=default
	BranchAndBoundResult (ObjectivePolicy objective)
bool	found_solution () const noexcept
bool	exhausted () const noexcept
bool	stopped_on_solution () const noexcept
bool	limit_reached () const noexcept

Public Attributes
SearchStatus	status = SearchStatus::NotStarted
	Final execution status.
ExplorationPolicy	policy
	Exploration policy used during the run.
SearchLimits	limits
	Hard limits used during the run.
BranchAndBoundStats	stats
	Collected branch-and-bound statistics.
Incumbent_Type	incumbent
	Global incumbent for the run.

Detailed Description

template<typename Solution, typename ObjectivePolicy>
struct Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >

Result of a branch-and-bound execution.

Definition at line 210 of file Branch_And_Bound.H.

Member Typedef Documentation

Incumbent_Type

template<typename Solution , typename ObjectivePolicy >

using Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::Incumbent_Type = ObjectiveIncumbent<Solution, ObjectivePolicy>

Definition at line 214 of file Branch_And_Bound.H.

Objective_Policy

template<typename Solution , typename ObjectivePolicy >

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

Definition at line 213 of file Branch_And_Bound.H.

Solution_Type

template<typename Solution , typename ObjectivePolicy >

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

Definition at line 212 of file Branch_And_Bound.H.

Constructor & Destructor Documentation

BranchAndBoundResult() [1/2]

template<typename Solution , typename ObjectivePolicy >

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

default

BranchAndBoundResult() [2/2]

template<typename Solution , typename ObjectivePolicy >

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

inlineexplicit

Definition at line 224 of file Branch_And_Bound.H.

Member Function Documentation

exhausted()

template<typename Solution , typename ObjectivePolicy >

bool Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::exhausted ( ) const

inlinenoexcept

Definition at line 234 of file Branch_And_Bound.H.

References Aleph::Exhausted, and Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::status.

found_solution()

template<typename Solution , typename ObjectivePolicy >

bool Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::found_solution ( ) const

inlinenoexcept

Definition at line 229 of file Branch_And_Bound.H.

References Aleph::ObjectiveIncumbent< Solution, ObjectivePolicy >::has_value(), and Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::incumbent.

limit_reached()

template<typename Solution , typename ObjectivePolicy >

bool Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::limit_reached ( ) const

inlinenoexcept

Definition at line 244 of file Branch_And_Bound.H.

References Aleph::LimitReached, and Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::status.

stopped_on_solution()

template<typename Solution , typename ObjectivePolicy >

bool Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::stopped_on_solution ( ) const

inlinenoexcept

Definition at line 239 of file Branch_And_Bound.H.

References Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::status, and Aleph::StoppedOnSolution.

Member Data Documentation

incumbent

template<typename Solution , typename ObjectivePolicy >

Incumbent_Type Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::incumbent

Global incumbent for the run.

Definition at line 220 of file Branch_And_Bound.H.

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

limits

template<typename Solution , typename ObjectivePolicy >

SearchLimits Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::limits

Hard limits used during the run.

Definition at line 218 of file Branch_And_Bound.H.

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

policy

template<typename Solution , typename ObjectivePolicy >

ExplorationPolicy Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::policy

Exploration policy used during the run.

Definition at line 217 of file Branch_And_Bound.H.

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

stats

template<typename Solution , typename ObjectivePolicy >

BranchAndBoundStats Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::stats

Collected branch-and-bound statistics.

Definition at line 219 of file Branch_And_Bound.H.

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

status

template<typename Solution , typename ObjectivePolicy >

SearchStatus Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::status = SearchStatus::NotStarted

Final execution status.

Definition at line 216 of file Branch_And_Bound.H.

Referenced by Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::exhausted(), Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::handle_complete_solution(), Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::limit_reached(), Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::search(), Aleph::Branch_And_Bound< Domain, ObjectivePolicy >::search(), and Aleph::BranchAndBoundResult< Solution, ObjectivePolicy >::stopped_on_solution().

---

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

• Branch_And_Bound.H