Awali
Another Weighted Automata library
Static Public Attributes
awali::sttc::internal::rank< LabelSet > Struct Template Reference

Number of tapes. More...

#include <fsm.hh>

Static Public Attributes

static constexpr size_t value = 1
 

Detailed Description

template<typename LabelSet>
struct awali::sttc::internal::rank< LabelSet >

Number of tapes.

Field Documentation

◆ value

template<typename LabelSet >
constexpr size_t awali::sttc::internal::rank< LabelSet >::value = 1
staticconstexpr

The documentation for this struct was generated from the following file: