vcsn::ctx::detail Namespace Reference

Functions
template<typename Ctx >
bool	register_kind_functions (labels_are_letters)
template<typename Ctx >
bool	register_functions_is_free (std::true_type)
template<typename Ctx >
bool	register_functions_is_free (std::false_type)
template<typename Ctx >
bool	register_kind_functions (labels_are_one)
template<typename Ctx >
bool	register_kind_functions (labels_are_nullable)
template<typename Ctx >
ATTRIBUTE_CONST bool	register_kind_functions (labels_are_ratexps)
template<typename Ctx >
ATTRIBUTE_CONST bool	register_kind_functions (labels_are_tuples)
template<typename Ctx >
bool	register_kind_functions (labels_are_words)
template<typename Ctx >
bool	register_functions ()

Function Documentation

template<typename Ctx >

bool vcsn::ctx::detail::register_functions

(

)

Definition at line 267 of file instantiate.hh.

References vcsn::accessible(), vcsn::are_isomorphic(), vcsn::chain(), vcsn::dyn::detail::chain_ratexp(), vcsn::coaccessible(), vcsn::dyn::detail::complement_ratexp(), vcsn::concatenate(), vcsn::dyn::detail::concatenate_ratexp(), vcsn::dyn::detail::conjunction_ratexp(), vcsn::constant_term(), vcsn::dyn::detail::context_of(), vcsn::dyn::detail::context_of_ratexp(), vcsn::copy(), vcsn::dyn::detail::derived_term(), vcsn::dot(), vcsn::efsm(), vcsn::expand(), vcsn::info(), vcsn::dyn::detail::info_ratexp(), vcsn::is_empty(), vcsn::is_eps_acyclic(), vcsn::is_normalized(), vcsn::is_out_sorted(), vcsn::is_proper(), vcsn::is_standard(), vcsn::is_trim(), vcsn::is_useless(), vcsn::is_valid(), vcsn::dyn::detail::is_valid_ratexp(), vcsn::left_mult(), vcsn::dyn::detail::left_mult_ratexp(), vcsn::dyn::detail::lift_automaton(), vcsn::dyn::detail::lift_ratexp(), vcsn::dyn::detail::list_polynomial(), vcsn::dyn::detail::make_automaton_editor(), vcsn::make_context(), vcsn::make_ratexpset(), vcsn::dyn::detail::make_word_context(), vcsn::minimize(), vcsn::dyn::detail::multiply_weight(), vcsn::dyn::detail::print_ctx(), vcsn::dyn::detail::print_expansion(), vcsn::dyn::detail::print_label(), vcsn::dyn::detail::print_polynomial(), vcsn::dyn::detail::print_ratexp(), vcsn::dyn::detail::print_weight(), vcsn::proper(), vcsn::push_weights(), vcsn::random(), vcsn::read_label(), vcsn::read_polynomial(), vcsn::read_weight(), REGISTER, vcsn::right_mult(), vcsn::dyn::detail::right_mult_ratexp(), vcsn::sort(), vcsn::split(), vcsn::standard(), vcsn::dyn::detail::standard_ratexp(), vcsn::star_height(), vcsn::star_normal_form(), vcsn::dyn::detail::sum_ratexp(), vcsn::dyn::detail::sum_weight(), vcsn::thompson(), vcsn::tikz(), vcsn::to_expansion(), vcsn::to_expression(), vcsn::transpose(), vcsn::dyn::detail::transpose_ratexp(), vcsn::dyn::detail::transposition_ratexp(), vcsn::trim(), and vcsn::union_a().

template<typename Ctx >

bool vcsn::ctx::detail::register_functions_is_free

(

std::true_type

)

Definition at line 155 of file instantiate.hh.

References vcsn::are_isomorphic(), vcsn::cerny(), vcsn::complete(), vcsn::dyn::detail::concatenate_polynomial(), vcsn::de_bruijn(), vcsn::derivation(), vcsn::dyn::detail::difference_ratexp(), vcsn::divkbaseb(), vcsn::double_ring(), vcsn::enumerate(), vcsn::eval(), vcsn::infiltration(), vcsn::is_ambiguous(), vcsn::is_complete(), vcsn::is_deterministic(), vcsn::is_synchronized_by(), vcsn::is_synchronizing(), vcsn::ladybird(), vcsn::dyn::detail::list_polynomial(), vcsn::pair(), vcsn::power(), vcsn::dyn::detail::print_polynomial(), vcsn::product(), vcsn::random_deterministic(), REGISTER, vcsn::shortest(), vcsn::synchronizing_word(), and vcsn::u().

Here is the call graph for this function:

template<typename Ctx >

bool vcsn::ctx::detail::register_functions_is_free

(

std::false_type

)

Definition at line 206 of file instantiate.hh.

template<typename Ctx >

bool vcsn::ctx::detail::register_kind_functions

(

labels_are_letters

)

Definition at line 148 of file instantiate.hh.

template<typename Ctx >

bool vcsn::ctx::detail::register_kind_functions

(

labels_are_one

)

Definition at line 213 of file instantiate.hh.

References vcsn::eliminate_state(), and REGISTER.

Here is the call graph for this function:

template<typename Ctx >

bool vcsn::ctx::detail::register_kind_functions

(

labels_are_nullable

)

Definition at line 227 of file instantiate.hh.

References vcsn::de_bruijn(), vcsn::divkbaseb(), vcsn::double_ring(), vcsn::ladybird(), REGISTER, and vcsn::u().

Here is the call graph for this function:

template<typename Ctx >

ATTRIBUTE_CONST bool vcsn::ctx::detail::register_kind_functions

(

labels_are_ratexps

)

Definition at line 245 of file instantiate.hh.

template<typename Ctx >

ATTRIBUTE_CONST bool vcsn::ctx::detail::register_kind_functions

(

labels_are_tuples

)

Definition at line 253 of file instantiate.hh.

template<typename Ctx >

bool vcsn::ctx::detail::register_kind_functions

(

labels_are_words

)

Definition at line 260 of file instantiate.hh.