![]() |
Awali
Another Weighted Automata library
|
#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 > | |
| constexpr bool | awali::sttc::is_finite (const WS &ws) |
| template<typename WS , typename P > | |
| constexpr bool | awali::sttc::internal::is_finite (const WS &ws, priority::ONE< P >) |
| template<typename WS , typename P > | |
| constexpr auto | awali::sttc::internal::is_finite (const WS &ws, priority::TWO< P >) -> typename WS::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 >) |
| template<typename WS , typename P > | |
| constexpr auto | awali::sttc::internal::is_locally_finite (const WS &ws, priority::TWO< P >) -> typename WS::locally_finite_t |