is-valid.hh File Reference

#include <stdexcept>
#include <type_traits>
#include <utility>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/is-eps-acyclic.hh>
#include <vcsn/algos/is-proper.hh>
#include <vcsn/algos/proper.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/misc/star_status.hh>
#include <vcsn/misc/direction.hh>

Include dependency graph for is-valid.hh:

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

Go to the source code of this file.

Classes
class	vcsn::detail::is_valider< Aut, has_one >
class	vcsn::detail::is_valider< Aut, false >

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

Functions
template<typename Aut >
Aut::element_type::automaton_nocv_t	vcsn::detail::absval (const Aut &aut)
	Copy of aut, with absolute values. More...
template<typename Aut >
bool	vcsn::detail::is_properable (Aut &&aut)
	Whether proper_here(aut) succeeds. More...
template<typename Aut >
bool	vcsn::is_valid (const Aut &aut)
template<typename Aut >
bool	vcsn::dyn::detail::is_valid (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_valid,(const automaton &aut) -> bool)