![]() |
Vcsn
2.3a
Be Rational
|
A Star implementation of lightest automaton. More...
#include <a-star.hh>
Classes | |
struct | profile |
Public Types | |
using | automaton_t = Aut |
using | self_t = a_star_impl |
using | state_t = state_t_of< automaton_t > |
using | transition_t = transition_t_of< automaton_t > |
using | weight_t = weight_t_of< automaton_t > |
using | weightset_t = weightset_t_of< automaton_t > |
using | distance_t = std::vector< weight_t > |
using | heap_t = boost::heap::fibonacci_heap< profile > |
Public Member Functions | |
a_star_impl (const Aut &aut) | |
template<typename Heuristic > | |
std::vector< transition_t > | operator() (state_t source, state_t dest, Heuristic heuristic) |
Public Attributes | |
const automaton_t & | aut_ |
std::vector< transition_t > | res_ |
For each state, its predecessor. More... | |
distance_t | heuristic_dist_ |
Private Member Functions | |
void | show_heap_ (const heap_t &todo) |
A Star implementation of lightest automaton.
Functor taking an automaton and an a-star heuristic as parameter, applying a-star on the given automaton with the given heuristic. Return an array corresponding to the lightest 'in' transition of every state indexed by their state number.
using vcsn::detail::a_star_impl< Aut >::automaton_t = Aut |
using vcsn::detail::a_star_impl< Aut >::distance_t = std::vector<weight_t> |
using vcsn::detail::a_star_impl< Aut >::heap_t = boost::heap::fibonacci_heap<profile> |
using vcsn::detail::a_star_impl< Aut >::self_t = a_star_impl |
using vcsn::detail::a_star_impl< Aut >::state_t = state_t_of<automaton_t> |
using vcsn::detail::a_star_impl< Aut >::transition_t = transition_t_of<automaton_t> |
using vcsn::detail::a_star_impl< Aut >::weight_t = weight_t_of<automaton_t> |
using vcsn::detail::a_star_impl< Aut >::weightset_t = weightset_t_of<automaton_t> |
|
inline |
|
inline |
Definition at line 83 of file a-star.hh.
References vcsn::detail::all_out(), vcsn::detail::a_star_impl< Aut >::aut_, vcsn::has(), vcsn::detail::a_star_impl< Aut >::heuristic_dist_, vcsn::detail::a_star_impl< Aut >::res_, vcsn::rat::size(), and vcsn::detail::states_size().
|
inlineprivate |
const automaton_t& vcsn::detail::a_star_impl< Aut >::aut_ |
Definition at line 142 of file a-star.hh.
Referenced by vcsn::detail::a_star_impl< Aut >::operator()(), and vcsn::detail::a_star_impl< Aut >::profile::operator<().
distance_t vcsn::detail::a_star_impl< Aut >::heuristic_dist_ |
Definition at line 145 of file a-star.hh.
Referenced by vcsn::detail::a_star_impl< Aut >::operator()(), and vcsn::detail::a_star_impl< Aut >::profile::operator<().
std::vector<transition_t> vcsn::detail::a_star_impl< Aut >::res_ |
For each state, its predecessor.
Definition at line 144 of file a-star.hh.
Referenced by vcsn::detail::a_star_impl< Aut >::operator()(), and vcsn::detail::a_star_impl< Aut >::profile::operator<().