is-proper.hh File Reference

#include <type_traits>
#include <vcsn/ctx/traits.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/dyn/automaton.hh>

Include dependency graph for is-proper.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

Functions
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::has_one(), bool > ::type	vcsn::detail::is_proper_ (const Aut &aut)
template<typename Aut >
constexpr std::enable_if <!labelset_t_of< Aut > ::has_one(), bool >::type	vcsn::detail::is_proper_ (const Aut &)
template<typename Aut >
bool	vcsn::is_proper (const Aut &aut) ATTRIBUTE_CONST
	Test whether an automaton is proper. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_proper (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_proper,(const automaton &aut) -> bool)