Vcsn
2.0
Be Rational
|
Functions | |
template<typename Aut > | |
size_t | num_eps_transitions (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type | is_ambiguous (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | is_ambiguous (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type | is_complete (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | is_complete (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type | is_cycle_ambiguous (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | is_cycle_ambiguous (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type | is_codeterministic (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | is_codeterministic (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type | is_deterministic (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | is_deterministic (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), bool > ::type | is_synchronizing (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | is_synchronizing (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), size_t > ::type | num_codeterministic_states (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | num_codeterministic_states (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::is_free(), size_t > ::type | num_deterministic_states (const Aut &a) |
template<typename Aut > | |
std::enable_if<!labelset_t_of < Aut >::is_free(), std::string >::type | num_deterministic_states (const Aut &) |
template<typename Aut > | |
ATTRIBUTE_CONST std::enable_if <!labelset_t_of< Aut > ::has_one(), size_t >::type | num_eps_transitions_ (const Aut &) |
template<typename Aut > | |
std::enable_if< labelset_t_of < Aut >::has_one(), size_t > ::type | num_eps_transitions_ (const Aut &aut) |
std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type vcsn::detail_info::is_ambiguous | ( | const Aut & | a | ) |
Definition at line 34 of file info.hh.
References vcsn::is_ambiguous().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::is_ambiguous | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type vcsn::detail_info::is_codeterministic | ( | const Aut & | a | ) |
Definition at line 91 of file info.hh.
References vcsn::is_codeterministic().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::is_codeterministic | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type vcsn::detail_info::is_complete | ( | const Aut & | a | ) |
Definition at line 53 of file info.hh.
References vcsn::is_complete().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::is_complete | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type vcsn::detail_info::is_cycle_ambiguous | ( | const Aut & | a | ) |
Definition at line 72 of file info.hh.
References vcsn::is_cycle_ambiguous().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::is_cycle_ambiguous | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type vcsn::detail_info::is_deterministic | ( | const Aut & | a | ) |
Definition at line 110 of file info.hh.
References vcsn::is_deterministic().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::is_deterministic | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type vcsn::detail_info::is_synchronizing | ( | const Aut & | a | ) |
Definition at line 129 of file info.hh.
References vcsn::is_synchronizing().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::is_synchronizing | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), size_t>::type vcsn::detail_info::num_codeterministic_states | ( | const Aut & | a | ) |
Definition at line 148 of file info.hh.
References vcsn::num_codeterministic_states().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::num_codeterministic_states | ( | const Aut & | ) |
std::enable_if<labelset_t_of<Aut>::is_free(), size_t>::type vcsn::detail_info::num_deterministic_states | ( | const Aut & | a | ) |
Definition at line 167 of file info.hh.
References vcsn::num_deterministic_states().
Referenced by vcsn::info().
std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type vcsn::detail_info::num_deterministic_states | ( | const Aut & | ) |
size_t vcsn::detail_info::num_eps_transitions | ( | const Aut & | aut | ) |
Definition at line 205 of file info.hh.
References num_eps_transitions_().
Referenced by vcsn::detail::properer< Aut, has_one >::in_situ_remover_(), and vcsn::info().
ATTRIBUTE_CONST std::enable_if<!labelset_t_of<Aut>::has_one(), size_t>::type vcsn::detail_info::num_eps_transitions_ | ( | const Aut & | ) |
Definition at line 187 of file info.hh.
Referenced by num_eps_transitions().
std::enable_if<labelset_t_of<Aut>::has_one(), size_t>::type vcsn::detail_info::num_eps_transitions_ | ( | const Aut & | aut | ) |