transition_map.hh File Reference

#include <map>
#include <type_traits>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::transition_map< Aut, WeightSet, Deterministic, AllOut >::transition
struct	awali::sttc::internal::transition_map< Aut, WeightSet, Deterministic, AllOut >
	Cache the outgoing transitions of an automaton as efficient maps label -> vector<(weight, dst)>. More...

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

---

Data Structure Documentation

awali::sttc::internal::transition_map::transition

struct awali::sttc::internal::transition_map::transition

template<typename Aut, typename WeightSet = weightset_t_of<Aut>, bool Deterministic = false, bool AllOut = false>
struct awali::sttc::internal::transition_map< Aut, WeightSet, Deterministic, AllOut >::transition

Data Fields
state_t	dst
weight_t	wgt	The (converted) weight.