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/static-if.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
	vcsn::dyn
	vcsn::dyn::detail

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

Functions
template<Automaton Aut>
ATTRIBUTE_CONST std::enable_if_t<!labelset_t_of< Aut >::has_one(), size_t >	vcsn::detail::num_spontaneous_transitions (const Aut &)
template<Automaton Aut>
std::enable_if_t< labelset_t_of< Aut >::has_one(), size_t >	vcsn::detail::num_spontaneous_transitions (const Aut &aut)
template<Automaton Aut>
size_t	vcsn::detail::num_lazy_states (const Aut &a)
template<Automaton Aut>
std::ostream &	vcsn::info (const Aut &aut, std::ostream &out, bool detailed=false)
template<Automaton 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

#define VCSN_IF_FREE	(		Fun,
			Aut
	)

Value:

detail::static_if<labelset_t_of<decltype(Aut)>::is_free()>  \
        ([](auto a) { return Fun(a); },                         \
         [](auto)   { return "N/A";  })(Aut)

Referenced by vcsn::info().