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)