15 template <
typename State,
class Label>
34 template <
typename State>
55 template <
typename State,
class Label,
class Weight>
79 template <
typename State,
class Label>
Transition on non-empty label.
transition_tuple(State s, State d, Label l, weight_t)
possibly_labeled_transition_tuple(State s, State d, label_t l)
void set_weight(weight_t &k) ATTRIBUTE_PURE
transition_tuple(State s, State d, Label l, weight_t w)
void set_label(label_t &l)
possibly_labeled_transition_tuple(State s, State d, label_t)
weight_t get_weight() const
Transition with label and non Boolean weight.
label_t get_label() const
void set_weight(weight_t &k)
weight_t get_weight() const
label_t get_label() const