![]() |
Vcsn
2.1
Be Rational
|
#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>
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... | |