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-ratexp.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/ratexp.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
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

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

Functions
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type	vcsn::detail_info::is_ambiguous (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::is_ambiguous (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type	vcsn::detail_info::is_complete (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::is_complete (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type	vcsn::detail_info::is_cycle_ambiguous (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::is_cycle_ambiguous (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type	vcsn::detail_info::is_codeterministic (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::is_codeterministic (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type	vcsn::detail_info::is_deterministic (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::is_deterministic (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type	vcsn::detail_info::is_synchronizing (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::is_synchronizing (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), size_t > ::type	vcsn::detail_info::num_codeterministic_states (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::num_codeterministic_states (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::is_free(), size_t > ::type	vcsn::detail_info::num_deterministic_states (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type	vcsn::detail_info::num_deterministic_states (const Aut &)
template<typename Aut >
ATTRIBUTE_CONST std::enable_if <!labelset_t_of< Aut > ::has_one(), size_t >::type	vcsn::detail_info::num_eps_transitions_ (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of < Aut >::has_one(), size_t > ::type	vcsn::detail_info::num_eps_transitions_ (const Aut &aut)
template<typename Aut >
size_t	vcsn::detail_info::num_eps_transitions (const Aut &)
template<class A >
std::ostream &	vcsn::info (const A &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...
	vcsn::dyn::detail::REGISTER_DECLARE (info,(const automaton &aut, std::ostream &out, bool detailed) -> std::ostream &)
template<class RatExpSet >
void	vcsn::info (const RatExpSet &rs, const typename RatExpSet::value_t &e, std::ostream &o)
template<typename RatExpSet , typename Ostream >
std::ostream &	vcsn::dyn::detail::info_ratexp (const ratexp &exp, std::ostream &o)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (info_ratexp,(const ratexp &aut, std::ostream &o) -> std::ostream &)

Macro Definition Documentation

#define DEFINE

(

Type

)

<< "\n" #Type ": " << nfo.Type

Referenced by vcsn::info().

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

Referenced by vcsn::info().