![]() |
Vcsn
2.1
Be Rational
|
Functions | |
template<typename Aut > | |
bool | register_automaton_functions () |
Instantiate the core functions for automata of type Aut. More... | |
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_expressions) |
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 () |
bool vcsn::ctx::detail::register_automaton_functions | ( | ) |
Instantiate the core functions for automata of type Aut.
Definition at line 145 of file instantiate.hh.
References vcsn::copy(), vcsn::info(), vcsn::print(), vcsn::proper(), and REGISTER.
bool vcsn::ctx::detail::register_functions | ( | ) |
Definition at line 275 of file instantiate.hh.
References vcsn::accessible(), vcsn::are_isomorphic(), vcsn::coaccessible(), vcsn::dyn::detail::complement_expression(), vcsn::dyn::detail::concatenate_expression(), vcsn::dyn::detail::conjunction_expression(), vcsn::constant_term(), vcsn::dyn::detail::context_of(), vcsn::dyn::detail::context_of_expression(), vcsn::derived_term(), vcsn::expand(), vcsn::dyn::detail::expression_one(), vcsn::dyn::detail::expression_zero(), vcsn::dyn::detail::identities(), vcsn::dyn::detail::info_expression(), 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_expression(), vcsn::dyn::detail::ldiv_expression(), vcsn::left_mult(), vcsn::dyn::detail::left_mult_expression(), vcsn::dyn::detail::less_than_expression(), vcsn::dyn::detail::list_polynomial(), vcsn::dyn::detail::make_automaton_editor(), vcsn::make_context(), vcsn::dyn::detail::make_word_context(), vcsn::minimize(), vcsn::multiply(), vcsn::dyn::detail::multiply_expression(), vcsn::dyn::detail::multiply_expression_repeated(), vcsn::dyn::detail::multiply_repeated(), vcsn::dyn::detail::multiply_weight(), vcsn::num_tapes(), vcsn::dyn::detail::print_context(), vcsn::dyn::detail::print_expansion(), vcsn::dyn::detail::print_expression(), vcsn::dyn::detail::print_label(), vcsn::dyn::detail::print_polynomial(), vcsn::dyn::detail::print_weight(), vcsn::push_weights(), vcsn::random_automaton(), vcsn::dyn::detail::rdiv_expression(), vcsn::read_label(), vcsn::read_polynomial(), vcsn::read_weight(), REGISTER, vcsn::right_mult(), vcsn::dyn::detail::right_mult_expression(), vcsn::dyn::detail::shuffle_expression(), vcsn::sort(), vcsn::split(), vcsn::standard(), vcsn::dyn::detail::standard_expression(), vcsn::star_height(), vcsn::dyn::detail::sum_expression(), vcsn::dyn::detail::sum_weight(), vcsn::thompson(), vcsn::to_expansion(), vcsn::to_expression(), vcsn::dyn::detail::to_expression_class(), vcsn::dyn::detail::to_expression_label(), vcsn::transpose(), vcsn::dyn::detail::transpose_expression(), vcsn::dyn::detail::transposition_expression(), vcsn::trim(), and vcsn::union_a().
bool vcsn::ctx::detail::register_functions_is_free | ( | std::true_type | ) |
Definition at line 165 of file instantiate.hh.
References vcsn::cerny(), vcsn::complete(), vcsn::dyn::detail::conjunction_repeated(), vcsn::de_bruijn(), vcsn::derivation(), vcsn::dyn::detail::difference_expression(), vcsn::divkbaseb(), vcsn::double_ring(), vcsn::eval(), vcsn::is_ambiguous(), vcsn::is_complete(), vcsn::is_deterministic(), vcsn::is_synchronized_by(), vcsn::is_synchronizing(), vcsn::ladybird(), vcsn::dyn::detail::list_polynomial(), vcsn::dyn::detail::multiply_polynomial(), vcsn::pair(), vcsn::dyn::detail::print_polynomial(), vcsn::random_automaton_deterministic(), REGISTER, vcsn::shortest(), vcsn::synchronizing_word(), and vcsn::u().
bool vcsn::ctx::detail::register_functions_is_free | ( | std::false_type | ) |
Definition at line 214 of file instantiate.hh.
bool vcsn::ctx::detail::register_kind_functions | ( | labels_are_letters | ) |
Definition at line 158 of file instantiate.hh.
bool vcsn::ctx::detail::register_kind_functions | ( | labels_are_one | ) |
Definition at line 221 of file instantiate.hh.
References vcsn::eliminate_state(), and REGISTER.
bool vcsn::ctx::detail::register_kind_functions | ( | labels_are_nullable | ) |
Definition at line 235 of file instantiate.hh.
References vcsn::de_bruijn(), vcsn::divkbaseb(), vcsn::double_ring(), vcsn::ladybird(), REGISTER, and vcsn::u().
ATTRIBUTE_CONST bool vcsn::ctx::detail::register_kind_functions | ( | labels_are_expressions | ) |
Definition at line 253 of file instantiate.hh.
ATTRIBUTE_CONST bool vcsn::ctx::detail::register_kind_functions | ( | labels_are_tuples | ) |
Definition at line 261 of file instantiate.hh.
bool vcsn::ctx::detail::register_kind_functions | ( | labels_are_words | ) |
Definition at line 268 of file instantiate.hh.