Awali
Another Weighted Automata library
Namespaces | Functions
is_proper.hh File Reference
#include <type_traits>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/core/kind.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 Aut >
bool awali::sttc::is_proper (const Aut &aut) ATTRIBUTE_CONST
 Test whether an automaton is proper. More...
 
template<typename Aut >
constexpr std::enable_if<!labelset_t_of< Aut >::has_one(), bool >::type awali::sttc::internal::is_proper_ (const Aut &)
 
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::has_one(), bool >::type awali::sttc::internal::is_proper_ (const Aut &aut)
 
template<size_t I, typename Tdc >
bool awali::sttc::is_proper_tape (const Tdc &tdc)
 
template<size_t I, typename Tdc >
std::enable_if<!labelset_t_of< Tdc >::template valueset_t< I >::has_one(), bool >::type awali::sttc::internal::is_proper_tape_ (const Tdc &)
 
template<typename Tdc >
constexpr std::enable_if<!labelset_t_of< Tdc >::has_one(), bool >::type awali::sttc::internal::is_proper_tape_ (const Tdc &)
 
template<size_t I, typename Tdc >
std::enable_if< labelset_t_of< Tdc >::template valueset_t< I >::has_one(), bool >::type awali::sttc::internal::is_proper_tape_ (const Tdc &tdc)