Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
Aleph::IDAStarIteration< Distance > Struct Template Reference

Result of one threshold pass of IDA*. More...

#include <State_Search_IDA_Star.H>

Collaboration diagram for Aleph::IDAStarIteration< Distance >:
[legend]

Public Attributes

Distance threshold = Distance{}
 F-cost threshold used for this pass.
 
size_t visited_states = 0
 States visited during this pass.
 
bool found_solution = false
 True if a goal was reached at or below threshold.
 
Distance next_threshold = Distance{}
 Minimum f-value that exceeded threshold.
 

Detailed Description

template<typename Distance>
struct Aleph::IDAStarIteration< Distance >

Result of one threshold pass of IDA*.

Each pass is a depth-limited DFS with a fixed f-cost threshold. This struct records how many states were visited, whether a solution was found and what the next threshold should be.

Template Parameters
Distancenumeric cost type from the domain.

Definition at line 86 of file State_Search_IDA_Star.H.

Member Data Documentation

◆ found_solution

template<typename Distance >
bool Aleph::IDAStarIteration< Distance >::found_solution = false

True if a goal was reached at or below threshold.

Definition at line 90 of file State_Search_IDA_Star.H.

Referenced by Aleph::IDA_Star_State_Search< Domain >::search().

◆ next_threshold

Minimum f-value that exceeded threshold.

Definition at line 91 of file State_Search_IDA_Star.H.

Referenced by Aleph::IDA_Star_State_Search< Domain >::search().

◆ threshold

F-cost threshold used for this pass.

Definition at line 88 of file State_Search_IDA_Star.H.

Referenced by Aleph::IDA_Star_State_Search< Domain >::search().

◆ visited_states

template<typename Distance >
size_t Aleph::IDAStarIteration< Distance >::visited_states = 0

States visited during this pass.

Definition at line 89 of file State_Search_IDA_Star.H.

Referenced by Aleph::IDA_Star_State_Search< Domain >::search().


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