Awali
Another Weighted Automata library
Static Public Member Functions
awali::sttc::internal::properer< Aut, false > Class Template Reference

#include <proper.hh>

Static Public Member Functions

static constexpr void proper_here (automaton_t &, bool=true)
 

Member Function Documentation

◆ proper_here()

template<typename Aut >
static constexpr void awali::sttc::internal::properer< Aut, false >::proper_here ( automaton_t &  ,
bool  = true 
)
staticconstexpr

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