Vcsn  2.4
Be Rational
vcsn::stateset< Aut > Class Template Reference

State labelset. More...

#include <stateset.hh>

Collaboration diagram for vcsn::stateset< Aut >:

Public Types

using automaton_t = Aut
 
using state_t = state_t_of< Aut >
 
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)
 

Private Attributes

automaton_t aut_
 

Detailed Description

template<Automaton Aut>
class vcsn::stateset< Aut >

State labelset.

Used when representing states as labels of polynomials.

Definition at line 14 of file stateset.hh.

Member Typedef Documentation

template<Automaton Aut>
using vcsn::stateset< Aut >::automaton_t = Aut

Definition at line 17 of file stateset.hh.

template<Automaton Aut>
using vcsn::stateset< Aut >::kind_t = void

Definition at line 33 of file stateset.hh.

template<Automaton Aut>
using vcsn::stateset< Aut >::state_t = state_t_of<Aut>

Definition at line 18 of file stateset.hh.

template<Automaton Aut>
using vcsn::stateset< Aut >::value_t = state_t

Definition at line 24 of file stateset.hh.

Constructor & Destructor Documentation

template<Automaton Aut>
vcsn::stateset< Aut >::stateset ( const automaton_t aut)
inline

Definition at line 20 of file stateset.hh.

Member Function Documentation

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

Definition at line 34 of file stateset.hh.

template<Automaton Aut>
static size_t vcsn::stateset< Aut >::hash ( state_t  s)
inlinestatic

Definition at line 44 of file stateset.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

template<Automaton Aut>
static constexpr bool vcsn::stateset< Aut >::is_letterized ( )
inlinestatic

Definition at line 28 of file stateset.hh.

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

Definition at line 39 of file stateset.hh.

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

Definition at line 50 of file stateset.hh.

Member Data Documentation

template<Automaton Aut>
automaton_t vcsn::stateset< Aut >::aut_
private

Definition at line 56 of file stateset.hh.


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