Vcsn  2.2
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
vcsn::stateset< Aut > Class Template Reference

State labelset. More...

#include <fwd.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 22 of file fwd.hh.

Member Typedef Documentation

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

Definition at line 15 of file stateset.hh.

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

Definition at line 31 of file stateset.hh.

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

Definition at line 16 of file stateset.hh.

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

Definition at line 22 of file stateset.hh.

Constructor & Destructor Documentation

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

Definition at line 18 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 32 of file stateset.hh.

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

Definition at line 42 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 26 of file stateset.hh.

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

Definition at line 37 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 48 of file stateset.hh.

Member Data Documentation

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

Definition at line 54 of file stateset.hh.

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