vcsn::state_distancer< Aut, WeightSet > Struct Template Reference

Wrapper struct to provide the state distance function. More...

#include <distance.hh>

Collaboration diagram for vcsn::state_distancer< Aut, WeightSet >:

Public Types
using	automaton_t = Aut
using	weight_t = weight_t_of< automaton_t >
using	state_t = state_t_of< automaton_t >
using	pair_t = std::pair< state_t, weight_t >

Public Member Functions
	state_distancer (const Aut &aut)
weight_t	operator() (state_t s0, state_t s1) const
	State distance Find weighted distance between state s0 and state s1 using a dfs. More...

Private Attributes
automaton_t	aut_

Detailed Description

template<typename Aut, typename WeightSet>
struct vcsn::state_distancer< Aut, WeightSet >

Wrapper struct to provide the state distance function.

Definition at line 64 of file distance.hh.

Member Typedef Documentation

template<typename Aut, typename WeightSet>

using vcsn::state_distancer< Aut, WeightSet >::automaton_t = Aut

Definition at line 70 of file distance.hh.

template<typename Aut, typename WeightSet>

using vcsn::state_distancer< Aut, WeightSet >::pair_t = std::pair<state_t, weight_t>

Definition at line 73 of file distance.hh.

template<typename Aut, typename WeightSet>

using vcsn::state_distancer< Aut, WeightSet >::state_t = state_t_of<automaton_t>

Definition at line 72 of file distance.hh.

template<typename Aut, typename WeightSet>

using vcsn::state_distancer< Aut, WeightSet >::weight_t = weight_t_of<automaton_t>

Definition at line 71 of file distance.hh.

Constructor & Destructor Documentation

template<typename Aut, typename WeightSet>

vcsn::state_distancer< Aut, WeightSet >::state_distancer ( const Aut &  aut )

inline

Definition at line 66 of file distance.hh.

Member Function Documentation

template<typename Aut, typename WeightSet>

weight_t vcsn::state_distancer< Aut, WeightSet >::operator() ( state_t  s0, state_t  s1  ) const

inline

State distance Find weighted distance between state s0 and state s1 using a dfs.

Assumes the subgraph accessible from s0 does not have cycles with a weight of 0.

Definition at line 81 of file distance.hh.

References vcsn::state_distancer< Aut, WeightSet >::aut_.

Member Data Documentation

template<typename Aut, typename WeightSet>

automaton_t vcsn::state_distancer< Aut, WeightSet >::aut_

private

Definition at line 117 of file distance.hh.

Referenced by vcsn::state_distancer< Aut, WeightSet >::operator()(), and vcsn::state_distancer< Aut, nmin >::operator()().

---

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

• vcsn/algos/distance.hh