14 REGISTER_DEFINE(
info);
19 detail::info_registry().call(aut, out, detailed);
32 detail::info_ratexp_registry().call(e, out);
std::shared_ptr< detail::automaton_base > automaton
std::shared_ptr< detail::ratexp_base > ratexp
std::ostream & info_ratexp(const ratexp &exp, std::ostream &o)
Bridge.
std::ostream & info(const automaton &aut, std::ostream &out, bool detailed=false)
Output various facts about an automaton.