15 template <
typename Aut>
22 && !aut->is_initial(s))
27 template <
typename Aut>
42 template <
typename Aut>
46 const auto& a = aut->as<Aut>();
58 template <
typename Aut>
67 template <
typename Aut>
82 template <
typename Aut>
86 const auto& a = aut->as<Aut>();
97 template <
typename Aut>
104 template <
typename Aut>
119 template <
typename Aut>
123 const auto& a = aut->as<Aut>();
135 template <
typename Aut>
139 const auto one = aut->labelset()->one();
141 auto ts = std::vector<transition_t_of<Aut>>{};
142 for (
auto s : aut->states())
145 for (
auto t : aut->out(s))
146 if (!aut->labelset()->is_one(aut->label_of(t)))
149 aut->add_transition(s, aut->dst_of(t), one, aut->weight_of(t));
156 template <
typename Aut>
176 template <
typename Aut>
180 const auto& a = aut->as<Aut>();
auto factor(const Aut &aut) -> decltype(::vcsn::copy(aut))
nullableset_context_t< context< LabelSet, WeightSet > > make_nullableset_context(const context< LabelSet, WeightSet > &ctx)
The nullableset context of a context.
states_t< Aut > accessible_states(const Aut &aut, bool strict=true)
The set of accessible states, including pre(), and possibly post().
automaton prefix(const automaton &aut)
Bridge.
Aut & subword_here(Aut &aut)
Add spontaneous transitions for each non spontaneous transition, with same source, destination and weight.
Aut transpose(const transpose_automaton< Aut > &aut)
typename Aut::element_type::template fresh_automaton_t< Context > fresh_automaton_t_of
automaton make_automaton(const Aut &aut)
Build a dyn::automaton.
Aut & factor_here(Aut &aut)
Make each useful state both initial and final.
AutOut copy(const AutIn &input, KeepState keep_state, KeepTrans keep_trans)
A copy of input keeping only its states that are accepted by keep_state.
Aut & prefix_here(Aut &aut)
Make all coaccessible states final.
std::shared_ptr< detail::automaton_base > automaton
void copy_into(const AutIn &in, AutOut &out, KeepState keep_state, KeepTrans keep_trans)
Copy selected states and transitions of an automaton.
auto suffix(const Aut &aut) -> decltype(::vcsn::copy(aut))
automaton factor(const automaton &aut)
Bridge.
auto subword(const Aut &aut) -> fresh_automaton_t_of< Aut, detail::nullableset_context_t< context_t_of< Aut >>>
Apply subword_here() to a copy of aut.
automaton subword(const automaton &aut)
Bridge.
auto prefix(const Aut &aut) -> decltype(::vcsn::copy(aut))
automaton suffix(const automaton &aut)
Bridge.
Aut & suffix_here(Aut &aut)
Make all accessible states initial.