info.hh File Reference

#include <iostream>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/has-twins-property.hh>
#include <vcsn/algos/is-ambiguous.hh>
#include <vcsn/algos/is-complete.hh>
#include <vcsn/algos/is-deterministic.hh>
#include <vcsn/algos/is-eps-acyclic.hh>
#include <vcsn/algos/normalize.hh>
#include <vcsn/algos/is-valid.hh>
#include <vcsn/algos/is-valid-expression.hh>
#include <vcsn/algos/scc.hh>
#include <vcsn/algos/standard.hh>
#include <vcsn/algos/synchronizing-word.hh>
#include <vcsn/core/rat/info.hh>
#include <vcsn/core/rat/size.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/dyn/expression.hh>
#include <vcsn/misc/type_traits.hh>

Include dependency graph for info.hh:

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

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::detail_info
	vcsn::dyn
	vcsn::dyn::detail

Macros
#define	ECHO(Name, Value)   out << Name ": " << Value << '\n'
#define	ECHO(Type)   o << "\n" #Type ": " << info.Type

Functions
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	vcsn::detail_info::is_ambiguous (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::is_ambiguous (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	vcsn::detail_info::is_complete (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::is_complete (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	vcsn::detail_info::is_cycle_ambiguous (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::is_cycle_ambiguous (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	vcsn::detail_info::is_codeterministic (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::is_codeterministic (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	vcsn::detail_info::is_deterministic (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::is_deterministic (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	vcsn::detail_info::is_synchronizing (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::is_synchronizing (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), size_t >	vcsn::detail_info::num_codeterministic_states (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::num_codeterministic_states (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), size_t >	vcsn::detail_info::num_deterministic_states (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	vcsn::detail_info::num_deterministic_states (const Aut &)
template<typename Aut >
ATTRIBUTE_CONST vcsn::enable_if_t<!labelset_t_of< Aut >::has_one(), size_t >	vcsn::detail_info::num_spontaneous_transitions (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::has_one(), size_t >	vcsn::detail_info::num_spontaneous_transitions (const Aut &aut)
template<typename Aut >
size_t	vcsn::detail_info::num_lazy_states (const Aut &a)
template<typename Aut >
std::ostream &	vcsn::info (const Aut &aut, std::ostream &out, bool detailed=false)
template<typename Aut , typename Ostream , typename Bool >
std::ostream &	vcsn::dyn::detail::info (const automaton &aut, std::ostream &out, bool detailed)
	Bridge. More...
template<typename ExpSet >
void	vcsn::info (const ExpSet &rs, const typename ExpSet::value_t &e, std::ostream &o)
template<typename ExpSet , typename Ostream >
std::ostream &	vcsn::dyn::detail::info_expression (const expression &exp, std::ostream &o)
	Bridge (info). More...

Macro Definition Documentation

#define ECHO	(		Name,
			Value
	)		out << Name ": " << Value << '\n'

Referenced by vcsn::info().

#define ECHO

(

Type

)

o << "\n" #Type ": " << info.Type