21 namespace awali {
namespace sttc
25 #define VISIT(Type, Name) \
26 template <typename Label, typename Weight> \
29 const_visitor<Label, Weight>::visit(const Type ## _t& Name)
63 v.sub()->accept(*
this);
68 v.sub()->accept(*
this);
73 v.sub()->accept(*
this);
78 v.sub()->accept(*
this);
83 v.sub()->accept(*
this);
Definition: ratexp.hh:280
Definition: ratexp.hh:262
Definition: ratexp.hh:176
An inner node with multiple children.
Definition: ratexp.hh:115
An inner node implementing a weight.
Definition: ratexp.hh:208
variadic< type_t::sum, Label, Weight > sum
Definition: fwd.hh:154
variadic< type_t::ldiv, Label, Weight > ldiv
Definition: fwd.hh:148
variadic< type_t::shuffle, Label, Weight > shuffle
Definition: fwd.hh:151
unary< type_t::transposition, Label, Weight > transposition
Definition: fwd.hh:132
unary< type_t::complement, Label, Weight > complement
Definition: fwd.hh:126
Main namespace of Awali.
Definition: ato.hh:22
#define VISIT(Type, Name)
Definition: visitor.hxx:25