Vcsn  2.8
Be Rational
Functions
vcsn::ctx::detail Namespace Reference

Functions

template<Automaton Aut>
bool register_automaton_functions ()
 Instantiate the functions for automata of type Aut. More...
 
template<typename Ctx >
bool register_context_functions ()
 Instantiate the core functions for expressions of type ExpSet. More...
 
template<typename ExpressionSet >
bool register_expression_functions ()
 Instantiate the core functions for expressions of type ExpSet. 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 ()
 

Function Documentation

◆ register_automaton_functions()

template<Automaton Aut>
bool vcsn::ctx::detail::register_automaton_functions ( )

Instantiate the functions for automata of type Aut.

Definition at line 151 of file instantiate.hh.

References vcsn::accessible(), vcsn::are_isomorphic(), vcsn::coaccessible(), vcsn::compare(), vcsn::complete(), vcsn::dyn::detail::conjunction_repeated(), vcsn::dyn::detail::context_of(), vcsn::copy(), vcsn::determinize(), vcsn::evaluate(), vcsn::info(), vcsn::is_ambiguous(), vcsn::is_complete(), vcsn::is_deterministic(), vcsn::is_empty(), vcsn::is_eps_acyclic(), vcsn::is_normalized(), vcsn::is_out_sorted(), vcsn::is_proper(), vcsn::is_standard(), vcsn::is_synchronized_by(), vcsn::is_synchronizing(), vcsn::is_trim(), vcsn::is_useless(), vcsn::is_valid(), vcsn::minimize(), vcsn::multiply(), vcsn::dyn::detail::multiply_repeated(), vcsn::pair(), vcsn::print(), vcsn::proper(), vcsn::push_weights(), REGISTER, vcsn::shortest(), vcsn::sort(), vcsn::standard(), vcsn::synchronizing_word(), vcsn::to_expression(), vcsn::transpose(), and vcsn::trim().

Here is the call graph for this function:

◆ register_context_functions()

template<typename Ctx >
bool vcsn::ctx::detail::register_context_functions ( )

Instantiate the core functions for expressions of type ExpSet.

Definition at line 215 of file instantiate.hh.

References vcsn::cerny(), vcsn::de_bruijn(), vcsn::divkbaseb(), vcsn::double_ring(), vcsn::ladybird(), vcsn::dyn::detail::make_automaton_editor(), vcsn::make_context(), vcsn::dyn::detail::make_word_context(), REGISTER, and vcsn::u().

Here is the call graph for this function:

◆ register_expression_functions()

template<typename ExpressionSet >
bool vcsn::ctx::detail::register_expression_functions ( )

Instantiate the core functions for expressions of type ExpSet.

Definition at line 237 of file instantiate.hh.

References vcsn::dyn::detail::add_expression(), vcsn::dyn::detail::compare_expression(), vcsn::dyn::detail::complement_expression(), vcsn::dyn::detail::concatenate_expression(), vcsn::dyn::detail::conjunction_expression(), vcsn::constant_term(), vcsn::dyn::detail::context_of_expression(), vcsn::dyn::detail::copy_expression(), vcsn::derived_term(), vcsn::expand(), vcsn::dyn::detail::expression_one(), vcsn::dyn::detail::expression_zero(), vcsn::dyn::detail::identities_of(), vcsn::inductive(), vcsn::dyn::detail::infiltrate_expression(), vcsn::dyn::detail::info_expression(), vcsn::dyn::detail::is_valid_expression(), vcsn::dyn::detail::ldivide_expression(), vcsn::dyn::detail::lweight_expression(), vcsn::dyn::detail::multiply_expression(), vcsn::dyn::detail::multiply_expression_repeated(), vcsn::dyn::detail::print_expression(), vcsn::dyn::detail::rdivide_expression(), REGISTER, vcsn::dyn::detail::rweight_expression(), vcsn::dyn::detail::shuffle_expression(), vcsn::split(), vcsn::dyn::detail::standard_expression(), vcsn::star_height(), vcsn::thompson(), vcsn::to_expansion(), vcsn::dyn::detail::transpose_expression(), and vcsn::dyn::detail::transposition_expression().

Here is the call graph for this function:

◆ register_functions()

template<typename Ctx >
bool vcsn::ctx::detail::register_functions ( )

Definition at line 369 of file instantiate.hh.

References vcsn::dyn::detail::add_weight(), vcsn::dyn::detail::list_polynomial(), vcsn::dyn::detail::multiply_weight(), vcsn::num_tapes(), vcsn::dyn::detail::print_context(), vcsn::dyn::detail::print_expansion(), vcsn::dyn::detail::print_label(), vcsn::dyn::detail::print_polynomial(), vcsn::dyn::detail::print_weight(), vcsn::read_label(), vcsn::read_polynomial(), vcsn::read_weight(), REGISTER, vcsn::dyn::detail::to_expression_class(), and vcsn::dyn::detail::to_expression_label().

Here is the call graph for this function:

◆ register_functions_is_free() [1/2]

template<typename Ctx >
bool vcsn::ctx::detail::register_functions_is_free ( std::true_type  )

Definition at line 290 of file instantiate.hh.

References vcsn::derivation(), vcsn::dyn::detail::difference_expression(), vcsn::dyn::detail::list_polynomial(), vcsn::dyn::detail::multiply_polynomial(), vcsn::dyn::detail::print_polynomial(), and REGISTER.

Here is the call graph for this function:

◆ register_functions_is_free() [2/2]

template<typename Ctx >
bool vcsn::ctx::detail::register_functions_is_free ( std::false_type  )

Definition at line 318 of file instantiate.hh.

◆ register_kind_functions() [1/6]

template<typename Ctx >
bool vcsn::ctx::detail::register_kind_functions ( labels_are_letters  )

Definition at line 283 of file instantiate.hh.

◆ register_kind_functions() [2/6]

template<typename Ctx >
bool vcsn::ctx::detail::register_kind_functions ( labels_are_one  )

Definition at line 325 of file instantiate.hh.

References vcsn::eliminate_state(), and REGISTER.

Here is the call graph for this function:

◆ register_kind_functions() [3/6]

template<typename Ctx >
bool vcsn::ctx::detail::register_kind_functions ( labels_are_nullable  )

Definition at line 339 of file instantiate.hh.

◆ register_kind_functions() [4/6]

template<typename Ctx >
ATTRIBUTE_CONST bool vcsn::ctx::detail::register_kind_functions ( labels_are_expressions  )

Definition at line 347 of file instantiate.hh.

◆ register_kind_functions() [5/6]

template<typename Ctx >
ATTRIBUTE_CONST bool vcsn::ctx::detail::register_kind_functions ( labels_are_tuples  )

Definition at line 355 of file instantiate.hh.

◆ register_kind_functions() [6/6]

template<typename Ctx >
bool vcsn::ctx::detail::register_kind_functions ( labels_are_words  )

Definition at line 362 of file instantiate.hh.