Transition with label and Boolean weight. More...

#include <transition.hh>

Inheritance diagram for vcsn::transition_tuple< State, Label, bool >:

Collaboration diagram for vcsn::transition_tuple< State, Label, bool >:

Public Types
using	super_t = possibly_labeled_transition_tuple< State, Label >

using	weight_t = bool

Public Types inherited from vcsn::possibly_labeled_transition_tuple< State, Label >
using	label_t = Label

Public Member Functions
	transition_tuple (State s, State d, Label l, weight_t)

weight_t	get_weight () const

void	set_weight (weight_t &k) ATTRIBUTE_PURE

Public Member Functions inherited from vcsn::possibly_labeled_transition_tuple< State, Label >
	possibly_labeled_transition_tuple (State s, State d, label_t l)

label_t	get_label () const

void	set_label (label_t &l)

Additional Inherited Members
Public Attributes inherited from vcsn::possibly_labeled_transition_tuple< State, Label >
State	src

State	dst

Detailed Description

template<typename State, class Label>
struct vcsn::transition_tuple< State, Label, bool >

Transition with label and Boolean weight.

We do not store the Boolean weights, which are assumed to be always true. This is correct for weight in the Boolean ring, as well as for those in the F₂ (a.k.a. ℤ/2ℤ) field, both encoded using the bool type.

Definition at line 80 of file transition.hh.