Vcsn  2.2
Be Rational
polystate-automaton.hh File Reference
#include <iostream>
#include <queue>
#include <set>
#include <type_traits>
#include <boost/bimap.hpp>
#include <boost/bimap/set_of.hpp>
#include <boost/bimap/unordered_set_of.hpp>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/labelset/stateset.hh>
#include <vcsn/misc/bimap.hh>
#include <vcsn/misc/static-if.hh>
#include <vcsn/misc/unordered_map.hh>
Include dependency graph for polystate-automaton.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::detail::state_bimap< StateNameset, Stateset, Bidirectional >
 A bidirectional map from state names to state numbers. More...
 
class  vcsn::detail::state_bimap< StateNameset, Stateset, true >
 A bidirectional map from state names to state numbers. More...
 
class  vcsn::detail::state_bimap< StateNameset, Stateset, false >
 A bidirectional map from state names to state numbers. More...
 
class  vcsn::detail::polystate_automaton_impl< Aut, Kind, Lazy >
 An automaton whose state names are polynomials of states. More...
 

Namespaces

 vcsn
 
 vcsn::detail
 

Typedefs

template<Automaton Aut, wet_kind_t Kind = wet_kind<labelset_t_of<Aut>, weightset_t_of<Aut>>(), bool Lazy = false>
using vcsn::detail::polystate_automaton = std::shared_ptr< polystate_automaton_impl< Aut, Kind, Lazy >>
 A polystate automaton as a shared pointer. More...
 

Functions

template<Automaton Aut, wet_kind_t Kind = wet_kind<labelset_t_of<Aut>, weightset_t_of<Aut>>(), bool Lazy = false>
auto vcsn::detail::make_polystate_automaton (const Aut &aut)