Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
UnreachableGoalDomain Class Reference

Classes

struct  Move
 

Public Types

using State = NodeState
 
using State_Key = size_t
 
using Distance = int
 

Public Member Functions

State_Key state_key (const State &s) const noexcept
 
bool is_goal (const State &s) const noexcept
 
void apply (State &s, const Move &m) const noexcept
 
void undo (State &s, const Move &m) const noexcept
 
template<typename Visitor >
bool for_each_successor (const State &s, Visitor visit) const
 
Distance heuristic (const State &) const noexcept
 
Distance cost (const State &, const Move &m) const noexcept
 

Detailed Description

Definition at line 79 of file ida_star_no_solution_example.cc.

Member Typedef Documentation

◆ Distance

◆ State

◆ State_Key

Member Function Documentation

◆ apply()

void UnreachableGoalDomain::apply ( State s,
const Move m 
) const
inlinenoexcept

Definition at line 102 of file ida_star_no_solution_example.cc.

References m.

◆ cost()

Distance UnreachableGoalDomain::cost ( const State ,
const Move m 
) const
inlinenoexcept

Definition at line 128 of file ida_star_no_solution_example.cc.

References m.

◆ for_each_successor()

template<typename Visitor >
bool UnreachableGoalDomain::for_each_successor ( const State s,
Visitor  visit 
) const
inline

◆ heuristic()

Distance UnreachableGoalDomain::heuristic ( const State ) const
inlinenoexcept

Definition at line 123 of file ida_star_no_solution_example.cc.

◆ is_goal()

bool UnreachableGoalDomain::is_goal ( const State s) const
inlinenoexcept

Definition at line 97 of file ida_star_no_solution_example.cc.

◆ state_key()

State_Key UnreachableGoalDomain::state_key ( const State s) const
inlinenoexcept

Definition at line 92 of file ida_star_no_solution_example.cc.

◆ undo()

void UnreachableGoalDomain::undo ( State s,
const Move m 
) const
inlinenoexcept

Definition at line 107 of file ida_star_no_solution_example.cc.

References m.


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