Vcsn  2.3
Be Rational
is-valid.hh File Reference
#include <type_traits>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/is-acyclic.hh>
#include <vcsn/algos/is-proper.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/misc/star-status.hh>
#include <vcsn/misc/direction.hh>
#include <vcsn/algos/epsilon-remover.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_valid_impl< Aut, has_one >
 
class  vcsn::detail::is_valid_impl< Aut, false >
 

Namespaces

 vcsn
 
 vcsn::detail
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<Automaton Aut>
fresh_automaton_t_of< Aut > vcsn::detail::absval (const Aut &aut)
 Copy of aut, with absolute values. More...
 
template<Automaton Aut>
bool vcsn::detail::is_properable (Aut &&aut)
 Whether proper_here(aut) succeeds. More...
 
template<Automaton Aut>
bool vcsn::is_valid (const Aut &aut)
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_valid (const automaton &aut)
 Bridge. More...