vcsn::detail_info Namespace Reference

Functions
template<typename Aut >
size_t	num_eps_transitions (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	is_ambiguous (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	is_ambiguous (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	is_complete (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	is_complete (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	is_cycle_ambiguous (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	is_cycle_ambiguous (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	is_codeterministic (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	is_codeterministic (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	is_deterministic (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	is_deterministic (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), bool >	is_synchronizing (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	is_synchronizing (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), size_t >	num_codeterministic_states (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	num_codeterministic_states (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::is_free(), size_t >	num_deterministic_states (const Aut &a)
template<typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::is_free(), std::string >	num_deterministic_states (const Aut &)
template<typename Aut >
ATTRIBUTE_CONST vcsn::enable_if_t<!labelset_t_of< Aut >::has_one(), size_t >	num_spontaneous_transitions (const Aut &)
template<typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::has_one(), size_t >	num_spontaneous_transitions (const Aut &aut)
template<typename Aut >
size_t	num_lazy_states (const Aut &a)

Function Documentation

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), bool> vcsn::detail_info::is_ambiguous

(

const Aut &

a

)

Definition at line 33 of file info.hh.

References vcsn::is_ambiguous().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::is_ambiguous

(

const Aut &

)

Definition at line 40 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), bool> vcsn::detail_info::is_codeterministic

(

const Aut &

a

)

Definition at line 84 of file info.hh.

References vcsn::is_codeterministic().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::is_codeterministic

(

const Aut &

)

Definition at line 91 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), bool> vcsn::detail_info::is_complete

(

const Aut &

a

)

Definition at line 50 of file info.hh.

References vcsn::is_complete().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::is_complete

(

const Aut &

)

Definition at line 57 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), bool> vcsn::detail_info::is_cycle_ambiguous

(

const Aut &

a

)

Definition at line 67 of file info.hh.

References vcsn::is_cycle_ambiguous().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::is_cycle_ambiguous

(

const Aut &

)

Definition at line 74 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), bool> vcsn::detail_info::is_deterministic

(

const Aut &

a

)

Definition at line 101 of file info.hh.

References vcsn::is_deterministic().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::is_deterministic

(

const Aut &

)

Definition at line 108 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), bool> vcsn::detail_info::is_synchronizing

(

const Aut &

a

)

Definition at line 118 of file info.hh.

References vcsn::is_synchronizing().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::is_synchronizing

(

const Aut &

)

Definition at line 125 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), size_t> vcsn::detail_info::num_codeterministic_states

(

const Aut &

a

)

Definition at line 135 of file info.hh.

References vcsn::num_codeterministic_states().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::num_codeterministic_states

(

const Aut &

)

Definition at line 142 of file info.hh.

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::is_free(), size_t> vcsn::detail_info::num_deterministic_states

(

const Aut &

a

)

Definition at line 152 of file info.hh.

References vcsn::num_deterministic_states().

Referenced by vcsn::info().

Here is the call graph for this function:

template<typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::is_free(), std::string> vcsn::detail_info::num_deterministic_states

(

const Aut &

)

Definition at line 159 of file info.hh.

template<typename Aut >

size_t vcsn::detail_info::num_eps_transitions

(

const Aut &

)

template<typename Aut >

size_t vcsn::detail_info::num_lazy_states

(

const Aut &

a

)

Definition at line 192 of file info.hh.

Referenced by vcsn::info().

template<typename Aut >

ATTRIBUTE_CONST vcsn::enable_if_t<!labelset_t_of<Aut>::has_one(), size_t> vcsn::detail_info::num_spontaneous_transitions

(

const Aut &

)

Definition at line 171 of file info.hh.

Referenced by vcsn::info().

template<typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::has_one(), size_t> vcsn::detail_info::num_spontaneous_transitions

(

const Aut &

aut

)

Definition at line 178 of file info.hh.