Vcsn  2.1
Be Rational
vcsn::detail::detweighted_automaton_impl< Aut >::stateset Struct Reference

An output state is a list of weighted input states. More...

#include <determinize.hh>

Collaboration diagram for vcsn::detail::detweighted_automaton_impl< Aut >::stateset:

Public Types

using value_t = state_t
 
using kind_t = void
 

Public Member Functions

 stateset (const automaton_t &aut)
 
std::ostream & print (state_t s, std::ostream &out, format fmt={}) const
 

Static Public Member Functions

static constexpr bool is_letterized ()
 
static bool equal (state_t l, state_t r)
 
static bool less (state_t l, state_t r)
 
static size_t hash (state_t s)
 

Public Attributes

automaton_t aut_
 

Detailed Description

template<typename Aut>
struct vcsn::detail::detweighted_automaton_impl< Aut >::stateset

An output state is a list of weighted input states.

Definition at line 301 of file determinize.hh.

Member Typedef Documentation

template<typename Aut >
using vcsn::detail::detweighted_automaton_impl< Aut >::stateset::kind_t = void

Definition at line 316 of file determinize.hh.

template<typename Aut >
using vcsn::detail::detweighted_automaton_impl< Aut >::stateset::value_t = state_t

Definition at line 307 of file determinize.hh.

Constructor & Destructor Documentation

template<typename Aut >
vcsn::detail::detweighted_automaton_impl< Aut >::stateset::stateset ( const automaton_t aut)
inline

Definition at line 303 of file determinize.hh.

Member Function Documentation

template<typename Aut >
static bool vcsn::detail::detweighted_automaton_impl< Aut >::stateset::equal ( state_t  l,
state_t  r 
)
inlinestatic

Definition at line 317 of file determinize.hh.

template<typename Aut >
static size_t vcsn::detail::detweighted_automaton_impl< Aut >::stateset::hash ( state_t  s)
inlinestatic

Definition at line 327 of file determinize.hh.

References vcsn::hash_value().

Here is the call graph for this function:

template<typename Aut >
static constexpr bool vcsn::detail::detweighted_automaton_impl< Aut >::stateset::is_letterized ( )
inlinestatic

Definition at line 311 of file determinize.hh.

template<typename Aut >
static bool vcsn::detail::detweighted_automaton_impl< Aut >::stateset::less ( state_t  l,
state_t  r 
)
inlinestatic

Definition at line 322 of file determinize.hh.

template<typename Aut >
std::ostream& vcsn::detail::detweighted_automaton_impl< Aut >::stateset::print ( state_t  s,
std::ostream &  out,
format  fmt = {} 
) const
inline

Definition at line 333 of file determinize.hh.

Member Data Documentation

template<typename Aut >
automaton_t vcsn::detail::detweighted_automaton_impl< Aut >::stateset::aut_

Definition at line 339 of file determinize.hh.


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