![]() |
Vcsn
2.2
Be Rational
|
#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>
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... | |
#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 | |||
) |
Referenced by vcsn::info().