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)