1 #ifndef VCSN_CORE_RAT_INFO_HH
2 # define VCSN_CORE_RAT_INFO_HH
12 template <
typename RatExpSet>
14 :
public RatExpSet::const_visitor
18 using node_t =
typename ratexpset_t::node_t;
19 using super_t =
typename ratexpset_t::const_visitor;
24 # define DEFINE(Type) \
26 using Type ## _t = typename super_t::Type ## _t; \
30 void visit(const Type ## _t& v);
54 #endif // !VCSN_CORE_RAT_INFO_HH
typename ratexpset_t::const_visitor super_t
An inner node with multiple children.
std::ostream & info(const A &aut, std::ostream &out, bool detailed=false)
typename ratexpset_t::node_t node_t
void operator()(const node_t &v)
For each node type, count its number of occurrences.
An inner node implementing a weight.