![]() |
Vcsn
2.2
Be Rational
|
#include <string>
#include <vcsn/algos/tags.hh>
#include <vcsn/algos/transpose.hh>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/core/polystate-automaton.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/getargs.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/polynomialset.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::determinized_automaton_impl< Aut, Kind, Lazy > |
The subset construction automaton from another. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Typedefs | |
template<Automaton Aut, wet_kind_t Kind, bool Lazy = false> | |
using | vcsn::determinized_automaton = std::shared_ptr< detail::determinized_automaton_impl< Aut, Kind, Lazy >> |
A determinized automaton as a shared pointer. More... | |
template<Automaton Aut> | |
using | vcsn::detail::determinization_tag = std::conditional_t< std::is_same< weight_t_of< Aut >, bool >::value, boolean_tag, weighted_tag > |
The best tag depending on the type of Aut. More... | |
template<Automaton Aut, typename Type = void> | |
using | vcsn::dyn::detail::enable_if_boolean_t = std::enable_if_t< std::is_same< weight_t_of< Aut >, bool >::value, Type > |
Enable if Aut is over Booleans. More... | |
template<Automaton Aut, typename Type = void> | |
using | vcsn::dyn::detail::enable_if_not_boolean_t = std::enable_if_t<!std::is_same< weight_t_of< Aut >, bool >::value, Type > |
Enable if Aut is not over Booleans. More... | |
Functions | |
template<Automaton Aut, typename Tag , bool Lazy = false> | |
auto | vcsn::determinize (const Aut &a, Tag={}, bool_constant< Lazy >={}) |
template<Automaton Aut, bool Lazy = false> | |
auto | vcsn::determinize (const Aut &a, auto_tag={}, bool_constant< Lazy > lazy={}) |
Determinization: automatic dispatch based on the automaton type. More... | |
template<Automaton Aut, typename Tag , bool Lazy = false> | |
automaton | vcsn::dyn::detail::determinize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
enable_if_boolean_t< Aut, automaton > | vcsn::dyn::detail::determinize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<Automaton Aut, typename String > | |
enable_if_not_boolean_t< Aut, automaton > | vcsn::dyn::detail::determinize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | vcsn::dyn::detail::determinize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag = auto_tag> | |
auto | vcsn::codeterminize (const Aut &aut, Tag tag={}) |
template<Automaton Aut, typename Tag > | |
automaton | vcsn::dyn::detail::codeterminize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
enable_if_boolean_t< Aut, automaton > | vcsn::dyn::detail::codeterminize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<Automaton Aut, typename String > | |
enable_if_not_boolean_t< Aut, automaton > | vcsn::dyn::detail::codeterminize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | vcsn::dyn::detail::codeterminize (const automaton &aut, const std::string &algo) |
Bridge. More... | |