determinize.hh File Reference

#include <set>
#include <stack>
#include <string>
#include <type_traits>
#include <queue>
#include <vcsn/algos/transpose.hh>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/dynamic_bitset.hh>
#include <vcsn/misc/map.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/misc/unordered_map.hh>
#include <vcsn/weightset/fwd.hh>
#include <vcsn/weightset/polynomialset.hh>

Include dependency graph for determinize.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	vcsn::detail::determinized_automaton_impl< Aut >
	The subset construction automaton from another. More...
class	vcsn::detail::detweighted_automaton_impl< Aut >
	The weighted determinization of weighted automaton. More...
struct	vcsn::detail::detweighted_automaton_impl< Aut >::stateset
	An output state is a list of weighted input states. More...

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	vcsn::dyn::detail

Typedefs
template<typename Aut >
using	vcsn::determinized_automaton = std::shared_ptr< detail::determinized_automaton_impl< Aut >>
	A determinized automaton as a shared pointer. More...
template<typename Aut >
using	vcsn::detweighted_automaton = std::shared_ptr< detail::detweighted_automaton_impl< Aut >>
	A determinized automaton as a shared pointer. More...
template<typename Aut , typename Type >
using	vcsn::dyn::detail::if_boolean_t = vcsn::enable_if_t< std::is_same< weightset_t_of< Aut >, b >::value, Type >
template<typename Aut , typename Type >
using	vcsn::dyn::detail::if_not_boolean_t = vcsn::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, Type >

Functions
template<typename Aut >
auto	vcsn::determinize (const Aut &a) -> determinized_automaton< Aut >
template<typename Aut >
auto	vcsn::codeterminize (const Aut &a) -> decltype(transpose(determinize(transpose(a))))
template<typename Aut >
auto	vcsn::determinize_weighted (const Aut &a) -> detweighted_automaton< Aut >
template<typename Aut >
auto	vcsn::codeterminize_weighted (const Aut &aut) -> decltype(transpose(determinize_weighted(transpose(aut))))
template<typename Aut , typename String >
if_boolean_t< Aut, automaton >	vcsn::dyn::detail::determinize_ (const automaton &aut, const std::string &algo)
	Boolean Bridge. More...
template<typename Aut , typename String >
if_not_boolean_t< Aut, automaton >	vcsn::dyn::detail::determinize_ (const automaton &aut, const std::string &algo)
	Weighted Bridge. More...
template<typename Aut , typename String >
automaton	vcsn::dyn::detail::determinize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename Aut , typename String >
if_boolean_t< Aut, automaton >	vcsn::dyn::detail::codeterminize_ (const automaton &aut, const std::string &algo)
	Boolean Bridge. More...
template<typename Aut , typename String >
if_not_boolean_t< Aut, automaton >	vcsn::dyn::detail::codeterminize_ (const automaton &aut, const std::string &algo)
	Weighted Bridge. More...
template<typename Aut , typename String >
automaton	vcsn::dyn::detail::codeterminize (const automaton &aut, const std::string &algo)
	Bridge. More...