awali::sttc::detail_info Namespace Reference

Functions
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_ambiguous (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_complete (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_deterministic (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(), bool >::type	is_synchronizing (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 >
std::enable_if< labelset_t_of< Aut >::is_free(), size_t >::type	num_deterministic_states (const Aut &a)
template<typename Aut >
size_t	num_eps_transitions (const Aut &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)

Function Documentation

is_ambiguous() [1/2]

template<typename Aut >

std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type awali::sttc::detail_info::is_ambiguous

(

const Aut &

)

is_ambiguous() [2/2]

template<typename Aut >

std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type awali::sttc::detail_info::is_ambiguous

(

const Aut &

a

)

is_complete() [1/2]

template<typename Aut >

std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type awali::sttc::detail_info::is_complete

(

const Aut &

)

is_complete() [2/2]

template<typename Aut >

std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type awali::sttc::detail_info::is_complete

(

const Aut &

a

)

is_deterministic() [1/2]

template<typename Aut >

std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type awali::sttc::detail_info::is_deterministic

(

const Aut &

)

is_deterministic() [2/2]

template<typename Aut >

std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type awali::sttc::detail_info::is_deterministic

(

const Aut &

a

)

is_synchronizing() [1/2]

template<typename Aut >

std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type awali::sttc::detail_info::is_synchronizing

(

const Aut &

)

is_synchronizing() [2/2]

template<typename Aut >

std::enable_if<labelset_t_of<Aut>::is_free(), bool>::type awali::sttc::detail_info::is_synchronizing

(

const Aut &

a

)

num_deterministic_states() [1/2]

template<typename Aut >

std::enable_if<!labelset_t_of<Aut>::is_free(), std::string>::type awali::sttc::detail_info::num_deterministic_states

(

const Aut &

)

num_deterministic_states() [2/2]

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

)

num_eps_transitions()

template<typename Aut >

size_t awali::sttc::detail_info::num_eps_transitions

(

const Aut &

aut

)

num_eps_transitions_() [1/2]

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 &

)

num_eps_transitions_() [2/2]

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

)