4 #include <unordered_map>
14 #include <vcsn/dyn/fwd.hh>
58 virtual bool open(
bool o) = 0;
61 virtual dyn::automaton
result() = 0;
64 virtual void reset() = 0;
83 template <Automaton Aut>
168 "edit_automaton: invalid transition from pre to post: ",
169 src,
" -> ", dst,
" (", entry,
")");
170 if (s ==
res_->pre() || d ==
res_->post())
172 if (entry.get().empty())
173 res_->add_transition(s, d,
res_->prepost_label());
185 "edit_automaton: invalid ",
186 s ==
res_->pre() ?
"initial" :
"final",
187 " entry: ", entry.get());
188 res_->add_transition(s, d,
197 for (
auto e: p.first->second)
222 const auto& ls = *
res_->labelset();
225 p.first->second =
conv(ls, l);
226 return p.first->second;
233 const auto& ws = *
res_->weightset();
236 p.first->second = w.get().empty() ? ws.one() :
conv(ws, w);
237 return p.first->second;
244 return res_->state(k);
253 using entry_map = std::unordered_map<string_t, entry_t>;
256 using label_map = std::unordered_map<string_t, label_t>;
303 dyn::automaton
result(
const std::string&
ctx = {});
322 using transition_t = std::tuple<string_t, string_t, string_t, string_t>;
347 template <
typename Ctx>
351 const auto& c = ctx->
as<Ctx>();
bool weighted_
Whether we saw a non-empty weight.
Abstract Builder (the design pattern) for automata.
void reset()
Get ready to build another automaton.
std::unordered_map< string_t, weight_t > weight_map
Memoize weight conversion.
virtual void add_state(string_t s)=0
Register the existence of state named s.
dyn::automaton result(const std::string &ctx={})
Return the built automaton.
weight_t weight_(string_t w)
Convert a weight string to its value.
void add_transition(string_t src, string_t dst, string_t lbl, string_t w=string_t{})
Add an acceptor transition from src to dst, labeled by lbl.
void add_post(string_t s) override final
Register that state named s is postfinal.
std::vector< transition_t > transitions_
virtual void add_initial(string_t s, string_t w)=0
label_t label_(string_t l)
Convert a label string to its value.
void add_state(string_t s) override final
Register the existence of state named s.
void weightset(weightset_type t)
Specify the weightset type.
void require(Bool b, Args &&...args)
If b is not verified, raise an error with args as message.
bool open(bool o) override final
Whether unknown letters should be added, or rejected.
virtual void add_final(string_t s, string_t w)=0
virtual void add_pre(string_t s)=0
Declare that s denotes the preinitial state in entries.
typename polynomialset< context_t >::value_t entry_t
typename detail::state_t_of_impl< base_t< ValueSet >>::type state_t_of
context_t_of< automaton_t > context_t
label_t_of< automaton_t > label_t
polynomialset< context_t > ps_
Entries handler.
virtual dyn::automaton result()=0
The final result.
name_automaton< Aut > automaton_t
labelset_type
Labelset types, increasing generality.
boost::flyweight< std::string, boost::flyweights::no_tracking, boost::flyweights::intermodule_holder > symbol
An internalized string.
void register_weight_(string_t w)
Record that this weight was seen.
bool open_
Whether the labelset is open.
typename detail::labelset_t_of_impl< base_t< ValueSet >>::type labelset_t_of
auto & as()
Downcast to the exact type.
SharedPtr make_shared_ptr(Args &&...args)
Same as std::make_shared, but parameterized by the shared_ptr type, not the (pointed to) element_type...
auto weight_of(const welement< Label, Weight > &m) -> decltype(m.weight())
The weight of a welement.
virtual ~automaton_editor()
automaton_editor * make_automaton_editor(const context &ctx)
Bridge.
std::shared_ptr< detail::name_automaton_impl< Aut >> name_automaton
edit_automaton(const context_t &ctx)
virtual void reset()=0
Forget about the current automaton, but do not free it.
auto label_of(const welement< Label, Weight > &m) -> decltype(m.label())
The label of a welement.
weightset_type
Weightset types.
virtual void add_entry(string_t src, string_t dst, string_t entry)=0
Add an entry from src to dst, with value entry.
labelset_type output_type_
Labelset type for output tape.
state_t_of< automaton_t > state_t
void add_transition(string_t src, string_t dst, string_t label, string_t weight=string_t{}) override final
Add a transition from src to dst.
void add_final(string_t s, string_t w=string_t{})
Add s as a final state.
void set_separator(char c)
Set the label separator. Defaults to '+'.
Template-less root for contexts.
weightset_type weightset_type_
The weightset scale.
#define VCSN_REQUIRE(Cond,...)
A macro similar to require.
std::vector< std::pair< string_t, string_t > > initial_states_
The collected initial states: (State, Weight).
automaton_t res_
The automaton under construction.
virtual void add_post(string_t s)=0
Declare that s denotes the postfinal state in entries.
virtual bool open(bool o)=0
Whether unknown letters should be added, or rejected.
void reset() override final
Detach the built automaton.
typename detail::weight_t_of_impl< base_t< ValueSet >>::type weight_t_of
virtual void add_transition(string_t src, string_t dst, string_t label, string_t weight=string_t{})=0
Add a transition from src to dst.
auto conv(const ValueSet &vs, const std::string &str, Args &&...args) -> decltype(vs.conv(std::declval< std::istream & >(), std::forward< Args >(args)...))
Parse str via vs.conv.
typename detail::context_t_of_impl< base_t< ValueSet >>::type context_t_of
void add_pre(string_t s) override final
Register that state named s is preinitial.
labelset_type input_type_
Labelset type for input tape.
value_impl< detail::label_tag > label
std::unordered_map< string_t, label_t > label_map
Memoize label conversion.
void add_initial(string_t s, string_t w=string_t{})
Add s as an initial state.
automaton_editor::string_t string_t
A hash-cons'ed string type.
std::unordered_map< string_t, entry_t > entry_map
Memoize entry conversion.
value_impl< detail::weight_tag > weight
void add_initial(string_t s, string_t weight=string_t{}) override final
labelset_t_of< automaton_t > labelset_t
weight_t_of< automaton_t > weight_t
Concrete Builder (the design pattern) for automata.
char sep_
The label separator.
Build an automaton with unknown context.
void add_final(string_t s, string_t weight=string_t{}) override final
void add_entry(string_t src, string_t dst, string_t entry) override final
Add transitions from src to dst, labeled by entry.
bool real_
Whether we saw a period in a the weight.
std::string result_context() const
Return the context that was inferred.
super_t::string_t string_t
std::vector< std::pair< string_t, string_t > > final_states_
The collected final states: (State, Weight).
std::tuple< string_t, string_t, string_t, string_t > transition_t
The collected transitions: (Source, Destination, Label, Weight).
bool open(bool o)
Whether unknown letters should be added, or rejected.
typename detail::label_t_of_impl< base_t< ValueSet >>::type label_t_of
dyn::automaton result() override final
Return the built automaton.
state_t state_(string_t k)
Convert a state name to a state handler.
Provide a variadic mul on top of a binary mul(), and one().