Awali
Another Weighted Automata library
Namespaces | Functions
is_finite.hh File Reference
#include <awali/common/priority.hh>

Go to the source code of this file.

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).
 

Functions

template<typename WS , typename P >
constexpr bool awali::sttc::internal::is_finite (const WS &, priority::ONE< P >)
 
template<typename WS , typename P >
constexpr auto awali::sttc::internal::is_finite (const WS &, priority::TWO< P >) -> typename WS::finite_t
 
template<typename WS >
constexpr bool awali::sttc::is_finite (const WS &ws)
 
template<typename WS , typename P >
constexpr auto awali::sttc::internal::is_locally_finite (const WS &, priority::TWO< P >) -> typename WS::locally_finite_t
 
template<typename WS >
constexpr bool awali::sttc::is_locally_finite (const WS &ws)
 
template<typename WS , typename P >
constexpr bool awali::sttc::internal::is_locally_finite (const WS &ws, priority::ONE< P >)