info.hh File Reference

#include <iostream>
#include <awali/sttc/algos/accessible.hh>
#include <awali/sttc/algos/is_ambiguous.hh>
#include <awali/sttc/algos/is_complete.hh>
#include <awali/sttc/algos/determinize.hh>
#include <awali/sttc/algos/is_eps_acyclic.hh>
#include <awali/sttc/algos/is_normalized.hh>
#include <awali/sttc/algos/is_valid.hh>
#include <awali/sttc/algos/standard.hh>
#include <awali/sttc/algos/synchronizing_word.hh>
#include <awali/sttc/core/rat/info.hh>
#include <awali/sttc/core/rat/size.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::detail_info

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

Functions
template<class A >
std::ostream &	awali::sttc::info (const A &aut, std::ostream &out, bool detailed=false)
template<class RatExpSet >
void	awali::sttc::info (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e, std::ostream &o)
template<typename Aut >
std::enable_if<!labelset_t_of< Aut >::is_free(), std::string >::type	awali::sttc::detail_info::is_ambiguous (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::is_free(), bool >::type	awali::sttc::detail_info::is_ambiguous (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of< Aut >::is_free(), std::string >::type	awali::sttc::detail_info::is_complete (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::is_free(), bool >::type	awali::sttc::detail_info::is_complete (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of< Aut >::is_free(), std::string >::type	awali::sttc::detail_info::is_deterministic (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::is_free(), bool >::type	awali::sttc::detail_info::is_deterministic (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of< Aut >::is_free(), std::string >::type	awali::sttc::detail_info::is_synchronizing (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::is_free(), bool >::type	awali::sttc::detail_info::is_synchronizing (const Aut &a)
template<typename Aut >
std::enable_if<!labelset_t_of< Aut >::is_free(), std::string >::type	awali::sttc::detail_info::num_deterministic_states (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::is_free(), size_t >::type	awali::sttc::detail_info::num_deterministic_states (const Aut &a)
template<typename Aut >
size_t	awali::sttc::detail_info::num_eps_transitions (const Aut &aut)
template<typename Aut >
ATTRIBUTE_CONST std::enable_if<!labelset_t_of< Aut >::has_one(), size_t >::type	awali::sttc::detail_info::num_eps_transitions_ (const Aut &)
template<typename Aut >
std::enable_if< labelset_t_of< Aut >::has_one(), size_t >::type	awali::sttc::detail_info::num_eps_transitions_ (const Aut &aut)

Macro Definition Documentation

DEFINE

#define DEFINE

(

Type

)

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

ECHO

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