Vcsn  2.4
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
vcsn::dyn::detail Namespace Reference

Classes

struct  expansion_tag
 Tag for expansion/expansionset. More...
 
struct  expression_tag
 Tag for expression/expressionset. More...
 
struct  label_tag
 Tag for label/labelset. More...
 
struct  polynomial_tag
 Tag for polynomial/polynomialset. More...
 
class  Registry
 
struct  weight_tag
 Tag for weight/weightset. More...
 

Typedefs

template<Automaton Aut, typename Type = void>
using enable_if_boolean_t = std::enable_if_t< std::is_same< weight_t_of< Aut >, bool >::value, Type >
 Enable if Aut is over Booleans. More...
 
template<Automaton Aut, typename Type = void>
using enable_if_not_boolean_t = std::enable_if_t<!std::is_same< weight_t_of< Aut >, bool >::value, Type >
 Enable if Aut is not over Booleans. More...
 
using accessible_t = auto(const automaton &aut) -> automaton
 
using add_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton
 
using add_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion
 
using add_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using add_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using add_weight_t = auto(const weight &lhs, const weight &rhs) -> weight
 
using ambiguous_word_t = auto(const automaton &aut) -> label
 
using are_equivalent_t = auto(const automaton &aut1, const automaton &aut2) -> bool
 
using are_equivalent_expression_t = auto(const expression &r1, const expression &r2) -> bool
 
using are_isomorphic_t = auto(const automaton &aut1, const automaton &aut2) -> bool
 
using cerny_t = auto(const context &ctx, unsigned num_states) -> automaton
 
using coaccessible_t = auto(const automaton &aut) -> automaton
 
using codeterminize_t = auto(const automaton &aut, const std::string &algo) -> automaton
 
using cominimize_t = auto(const automaton &aut, const std::string &algo) -> automaton
 
using complement_t = auto(const automaton &aut) -> automaton
 
using complement_expansion_t = auto(const expansion &xpn) -> expansion
 
using complement_expression_t = auto(const expression &exp) -> expression
 
using complete_t = auto(const automaton &aut) -> automaton
 
using component_t = auto(const automaton &aut, unsigned num) -> automaton
 
using compose_t = auto(const automaton &lhs, const automaton &rhs, bool lazy) -> automaton
 
using compose_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion
 
using compose_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using compose_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using concatenate_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using condense_t = auto(const automaton &aut) -> automaton
 
using conjugate_t = auto(const automaton &a) -> automaton
 
using conjunction_t = auto(const std::vector< automaton > &as, bool lazy) -> automaton
 
using conjunction_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion
 
using conjunction_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using conjunction_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using conjunction_repeated_t = auto(const automaton &aut, unsigned n) -> automaton
 
using constant_term_t = auto(const expression &exp) -> weight
 
using context_of_t = auto(const automaton &aut) -> context
 
using context_of_expansion_t = auto(const expansion &exp) -> context
 
using context_of_expression_t = auto(const expression &exp) -> context
 
using context_of_polynomial_t = auto(const polynomial &poly) -> context
 
using copy_t = auto(const automaton &aut) -> automaton
 
using copy_convert_t = auto(const automaton &aut, const context &ctx) -> automaton
 
using copy_expression_t = auto(const expression &exp, const context &ctx, identities ids) -> expression
 
using costandard_t = auto(const automaton &aut) -> automaton
 
using cotrie_t = auto(const polynomial &poly) -> automaton
 
using cotrie_stream_t = auto(const context &ctx, std::istream &is, const std::string &format) -> automaton
 
using de_bruijn_t = auto(const dyn::context &ctx, unsigned n) -> automaton
 
using delay_automaton_t = auto(const automaton &aut) -> automaton
 
using derivation_t = auto(const expression &exp, const label &lbl, bool breaking) -> polynomial
 
using derived_term_t = auto(const expression &exp, const std::string &algo) -> automaton
 
using determinize_t = auto(const automaton &aut, const std::string &algo) -> automaton
 
using difference_t = auto(const automaton &lhs, const automaton &rhs) -> automaton
 
using difference_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using divkbaseb_t = auto(const context &ctx, unsigned divisor, unsigned base) -> automaton
 
using double_ring_t = auto(const context &ctx, unsigned n, const std::vector< unsigned > &finals) -> automaton
 
using eliminate_state_t = auto(const automaton &aut, int state) -> automaton
 
using eval_polynomial_t = auto(const automaton &aut, const polynomial &poly) -> weight
 
using evaluate_t = auto(const automaton &aut, const label &lbl) -> weight
 
using expand_t = auto(const expression &exp) -> expression
 
using expression_one_t = auto(const context &ctx, identities ids) -> expression
 
using expression_zero_t = auto(const context &ctx, identities ids) -> expression
 
using factor_t = auto(const automaton &aut) -> automaton
 
using filter_t = auto(const automaton &aut, const std::vector< unsigned > &states) -> automaton
 
using focus_t = auto(const automaton &aut, integral_constant) -> automaton
 
using has_bounded_lag_t = auto(const automaton &aut) -> bool
 
using has_lightening_cycle_t = auto(const automaton &aut) -> bool
 
using has_twins_property_t = auto(const automaton &aut) -> bool
 
using identities_of_t = auto(const expression &exp) -> identities
 
using inductive_t = auto(const expression &exp, const std::string &algo) -> automaton
 
using infiltrate_t = auto(const std::vector< automaton > &as) -> automaton
 
using infiltrate_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using info_t = auto(const automaton &aut, std::ostream &out, unsigned details) -> std::ostream &
 
using info_expression_t = auto(const expression &exp, std::ostream &o) -> std::ostream &
 
using insplit_t = auto(const automaton &aut, bool lazy) -> automaton
 
using is_accessible_t = auto(const automaton &aut) -> bool
 
using is_ambiguous_t = auto(const automaton &aut) -> bool
 
using is_coaccessible_t = auto(const automaton &aut) -> bool
 
using is_codeterministic_t = auto(const automaton &aut) -> bool
 
using is_complete_t = auto(const automaton &aut) -> bool
 
using is_costandard_t = auto(const automaton &aut) -> bool
 
using is_cycle_ambiguous_t = auto(const automaton &aut) -> bool
 
using is_deterministic_t = auto(const automaton &aut) -> bool
 
using is_empty_t = auto(const automaton &aut) -> bool
 
using is_eps_acyclic_t = auto(const automaton &aut) -> bool
 
using is_functional_t = auto(const automaton &aut) -> bool
 
using is_letterized_t = auto(const automaton &aut) -> bool
 
using is_normalized_t = auto(const automaton &aut) -> bool
 
using is_out_sorted_t = auto(const automaton &aut) -> bool
 
using is_partial_identity_t = auto(const automaton &aut) -> bool
 
using is_proper_t = auto(const automaton &aut) -> bool
 
using is_realtime_t = auto(const automaton &aut) -> bool
 
using is_standard_t = auto(const automaton &aut) -> bool
 
using is_synchronized_t = auto(const automaton &aut) -> bool
 
using is_synchronized_by_t = auto(const automaton &aut, const label &word) -> bool
 
using is_synchronizing_t = auto(const automaton &aut) -> bool
 
using is_trim_t = auto(const automaton &aut) -> bool
 
using is_useless_t = auto(const automaton &aut) -> bool
 
using is_valid_t = auto(const automaton &aut) -> bool
 
using is_valid_expression_t = auto(const expression &exp) -> bool
 
using join_t = auto(const context &c1, const context &c2) -> context
 
using ladybird_t = auto(const dyn::context &ctx, unsigned n) -> automaton
 
using ldivide_t = auto(const automaton &aut1, const automaton &aut2) -> automaton
 
using ldivide_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion
 
using ldivide_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using ldivide_label_t = auto(const label &lhs, const label &rhs) -> label
 
using ldivide_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using ldivide_weight_t = auto(const weight &lhs, const weight &rhs) -> weight
 
using less_than_expression_t = auto(const expression &lhs, const expression &rhs) -> bool
 
using letterize_t = auto(const automaton &aut) -> automaton
 
using levenshtein_t = auto(const dyn::context &ctx) -> automaton
 
using lgcd_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using lift_automaton_t = auto(const automaton &aut, identities ids, integral_constant) -> automaton
 
using lift_expression_t = auto(const expression &exp) -> expression
 
using lightest_t = auto(const automaton &aut, unsigned num, const std::string &algo) -> polynomial
 
using lightest_automaton_t = auto(const automaton &aut, unsigned k, const std::string &algo) -> automaton
 
using list_polynomial_t = auto(const polynomial &polynomial, std::ostream &o) -> std::ostream &
 
using lweight_t = auto(const weight &weight, const automaton &aut, const std::string &algo) -> automaton
 
using lweight_expansion_t = auto(const weight &weight, const expansion &exp) -> expansion
 
using lweight_expression_t = auto(const weight &weight, const expression &exp) -> expression
 
using lweight_polynomial_t = auto(const weight &weight, const polynomial &poly) -> polynomial
 
using make_automaton_editor_t = auto(const context &ctx) -> automaton_editor *
 
using make_context_t = auto(const std::string &name) -> context
 
using make_word_context_t = auto(const context &ctx) -> context
 
using minimize_t = auto(const automaton &aut, const std::string &algo) -> automaton
 
using multiply_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton
 
using multiply_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using multiply_expression_repeated_t = auto(const expression &re, int min, int max) -> expression
 
using multiply_label_t = auto(const label &lhs, const label &rhs) -> label
 
using multiply_label_repeated_t = auto(const label &re, int exp) -> label
 
using multiply_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using multiply_repeated_t = auto(const automaton &a, int min, int max, const std::string &algo) -> automaton
 
using multiply_weight_t = auto(const weight &lhs, const weight &rhs) -> weight
 
using multiply_weight_repeated_t = auto(const weight &wgt, int min, int max) -> weight
 
using normalize_t = auto(const automaton &aut) -> automaton
 
using num_components_t = auto(const automaton &aut) -> std::size_t
 
using num_tapes_t = auto(const context &ctx) -> size_t
 
using pair_t = auto(const automaton &aut, bool keep_initials) -> automaton
 
using partial_identity_t = auto(const automaton &aut) -> automaton
 
using partial_identity_expression_t = auto(const expression &exp) -> expression
 
using prefix_t = auto(const automaton &aut) -> automaton
 
using print_t = auto(const automaton &aut, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using print_context_t = auto(const context &ctx, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using print_expansion_t = auto(const expansion &expansion, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using print_expression_t = auto(const expression &exp, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using print_label_t = auto(const label &label, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using print_polynomial_t = auto(const polynomial &polynomial, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using print_weight_t = auto(const weight &weight, std::ostream &o, const std::string &fmt) -> std::ostream &
 
using project_t = auto(const automaton &aut, integral_constant) -> automaton
 
using project_context_t = auto(const context &ctx, integral_constant) -> context
 
using project_expansion_t = auto(const expansion &exp, integral_constant) -> expansion
 
using project_expression_t = auto(const expression &exp, integral_constant) -> expression
 
using project_label_t = auto(const label &lbl, integral_constant) -> label
 
using project_polynomial_t = auto(const polynomial &poly, integral_constant) -> polynomial
 
using proper_t = auto(const automaton &aut, direction dir, bool prune, const std::string &algo) -> automaton
 
using push_weights_t = auto(const automaton &aut) -> automaton
 
using quotkbaseb_t = auto(const context &ctx, unsigned divisor, unsigned base) -> automaton
 
using random_automaton_t = auto(const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, boost::optional< unsigned > max_labels, float loop_chance, const std::string &weights) -> automaton
 
using random_automaton_deterministic_t = auto(const context &ctx, unsigned num_states) -> automaton
 
using random_expression_t = auto(const context &ctx, const std::string &param, identities ids) -> expression
 
using random_weight_t = auto(const context &ctx, const std::string &param) -> weight
 
using rdivide_t = auto(const automaton &aut1, const automaton &aut2) -> automaton
 
using rdivide_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using rdivide_label_t = auto(const label &lhs, const label &rhs) -> label
 
using rdivide_weight_t = auto(const weight &lhs, const weight &rhs) -> weight
 
using read_label_t = auto(const context &ctx, std::istream &is, bool quoted) -> label
 
using read_polynomial_t = auto(const context &ctx, std::istream &is) -> polynomial
 
using read_weight_t = auto(const context &ctx, std::istream &is) -> weight
 
using realtime_t = auto(const automaton &aut) -> automaton
 
using reduce_t = auto(const automaton &aut) -> automaton
 
using rweight_t = auto(const automaton &aut, const weight &weight, const std::string &algo) -> automaton
 
using rweight_expansion_t = auto(const expansion &exp, const weight &weight) -> expansion
 
using rweight_expression_t = auto(const expression &exp, const weight &weight) -> expression
 
using rweight_polynomial_t = auto(const polynomial &poly, const weight &weight) -> polynomial
 
using scc_t = auto(const automaton &aut, const std::string &algo) -> automaton
 
using shortest_t = auto(const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len) -> polynomial
 
using shuffle_t = auto(const std::vector< automaton > &as) -> automaton
 
using shuffle_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using sort_t = auto(const automaton &aut) -> automaton
 
using split_t = auto(const expression &exp) -> polynomial
 
using split_polynomial_t = auto(const polynomial &poly) -> polynomial
 
using standard_t = auto(const automaton &aut) -> automaton
 
using standard_expression_t = auto(const expression &exp) -> automaton
 
using star_t = auto(const automaton &a, const std::string &algo) -> automaton
 
using star_height_t = auto(const expression &exp) -> unsigned
 
using star_normal_form_t = auto(const expression &exp) -> expression
 
using strip_t = auto(const automaton &aut) -> automaton
 
using subword_t = auto(const automaton &aut) -> automaton
 
using suffix_t = auto(const automaton &aut) -> automaton
 
using synchronize_t = auto(const automaton &aut) -> automaton
 
using synchronizing_word_t = auto(const automaton &aut, const std::string &algo) -> label
 
using thompson_t = auto(const expression &exp) -> automaton
 
using to_expansion_t = auto(const expression &exp) -> expansion
 
using to_expression_t = auto(const automaton &aut, identities ids, const std::string &algo) -> expression
 
using to_expression_class_t = auto(const context &ctx, identities ids, const letter_class_t &letters, bool accept) -> expression
 
using to_expression_label_t = auto(const context &ctx, identities ids, const label &lbl) -> expression
 
using transpose_t = auto(automaton &aut) -> automaton
 
using transpose_expression_t = auto(const expression &exp) -> expression
 
using transposition_expression_t = auto(const expression &exp) -> expression
 
using trie_t = auto(const polynomial &poly) -> automaton
 
using trie_stream_t = auto(const context &ctx, std::istream &is, const std::string &format) -> automaton
 
using trim_t = auto(const automaton &aut) -> automaton
 
using tuple_t = auto(const std::vector< automaton > &as) -> automaton
 
using tuple_context_t = auto(const std::vector< context > &cs) -> context
 
using tuple_expansion_t = auto(const std::vector< expansion > &es) -> expansion
 
using tuple_expression_t = auto(const std::vector< expression > &es) -> expression
 
using tuple_polynomial_t = auto(const std::vector< polynomial > &ps) -> polynomial
 
using u_t = auto(const context &ctx, unsigned n) -> automaton
 
using universal_t = auto(const automaton &aut) -> automaton
 
using weight_one_t = auto(const context &ctx) -> weight
 
using weight_series_t = auto(const automaton &aut) -> weight
 
using weight_zero_t = auto(const context &ctx) -> weight
 
using zpc_t = auto(const expression &exp, const std::string &algo) -> automaton
 

Functions

template<Automaton Aut>
automaton accessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton coaccessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton trim (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_accessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_coaccessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_trim (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_useless (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_empty (const automaton &aut)
 Bridge. More...
 
template<Automaton Lhs, Automaton Rhs, typename String >
automaton add (const automaton &lhs, const automaton &rhs, const std::string &algo)
 Bridge. More...
 
template<typename ExpansionSetLhs , typename ExpansionSetRhs >
expansion add_expansion (const expansion &lhs, const expansion &rhs)
 Bridge (add). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression add_expression (const expression &lhs, const expression &rhs)
 Bridge (add). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial add_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (add). More...
 
template<typename WeightSetLhs , typename WeightSetRhs >
weight add_weight (const weight &lhs, const weight &rhs)
 Bridge (add). More...
 
template<Automaton Aut1, Automaton Aut2>
bool are_equivalent (const automaton &aut1, const automaton &aut2)
 Bridge. More...
 
template<typename ExpSet1 , typename ExpSet2 >
bool are_equivalent_expression (const expression &r1, const expression &r2)
 Bridge (are_equivalent). More...
 
template<Automaton Lhs, Automaton Rhs>
automaton difference (const automaton &lhs, const automaton &rhs)
 Bridge. More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression difference_expression (const expression &lhs, const expression &rhs)
 Bridge (difference). More...
 
template<Automaton Aut1, Automaton Aut2>
bool are_isomorphic (const automaton &aut1, const automaton &aut2)
 Bridge. More...
 
template<typename Ctx , typename >
automaton cerny (const context &ctx, unsigned num_states)
 Bridge. More...
 
template<Automaton Aut>
automaton complement (const automaton &aut)
 Bridge. More...
 
template<typename ExpansionSet >
expansion complement_expansion (const expansion &xpn)
 Bridge (complement). More...
 
template<typename ExpSet >
expression complement_expression (const expression &exp)
 Bridge (complement). More...
 
template<Automaton Aut>
automaton complete (const automaton &aut)
 Bridge. More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expansion compose_expansion (const expansion &lhs, const expansion &rhs)
 Bridge (compose). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression compose_expression (const expression &lhs, const expression &rhs)
 Bridge (compose). More...
 
template<typename PolSetLhs , typename PolSetRhs >
polynomial compose_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (compose). More...
 
template<Automaton Lhs, Automaton Rhs, typename Bool >
automaton compose (const automaton &lhs, const automaton &rhs, bool lazy)
 Bridge. More...
 
template<Automaton Aut>
automaton conjugate (const automaton &a)
 Bridge. More...
 
template<typename Auts , size_t... I>
automaton conjunction_ (const std::vector< automaton > &as, bool lazy, vcsn::detail::index_sequence< I...>)
 Bridge helper. More...
 
template<typename Auts , typename Bool >
automaton conjunction (const std::vector< automaton > &as, bool lazy)
 Bridge (conjunction). More...
 
template<Automaton Aut1, Automaton Aut2>
automaton ldivide (const automaton &aut1, const automaton &aut2)
 Bridge (ldivide). More...
 
template<Automaton Aut1, Automaton Aut2>
automaton rdivide (const automaton &aut1, const automaton &aut2)
 Bridge. More...
 
template<typename Auts , size_t... I>
automaton shuffle_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
 Variadic bridge helper. More...
 
template<typename Auts >
automaton shuffle (const std::vector< automaton > &as)
 Bridge (shuffle). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression shuffle_expression (const expression &lhs, const expression &rhs)
 Bridge (shuffle). More...
 
template<typename Auts , size_t... I>
automaton infiltrate_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
 Variadic bridge helper. More...
 
template<typename Auts >
automaton infiltrate (const std::vector< automaton > &as)
 Bridge (infiltrate). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression infiltrate_expression (const expression &lhs, const expression &rhs)
 Bridge (infiltrate). More...
 
template<Automaton Aut, typename Unsigned >
automaton conjunction_repeated (const automaton &aut, unsigned n)
 Bridge (conjunction). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression conjunction_expression (const expression &lhs, const expression &rhs)
 Bridge (conjunction). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expansion conjunction_expansion (const expansion &lhs, const expansion &rhs)
 Bridge (conjunction). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial conjunction_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (conjunction). More...
 
template<typename ExpSet >
weight constant_term (const expression &exp)
 Bridge. More...
 
template<typename Context , typename Identities >
expression expression_one (const context &ctx, identities ids)
 Bridge. More...
 
template<typename Context , typename Identities >
expression expression_zero (const context &ctx, identities ids)
 Bridge. More...
 
template<typename Context >
weight weight_one (const context &ctx)
 Bridge. More...
 
template<typename Context >
weight weight_zero (const context &ctx)
 Bridge. More...
 
template<Automaton Aut, typename Ctx >
automaton copy_convert (const automaton &aut, const context &ctx)
 Bridge (copy). More...
 
template<Automaton Aut>
automaton copy (const automaton &aut)
 Bridge. More...
 
template<typename ExpSet , typename Context , typename Identities >
expression copy_expression (const expression &exp, const context &ctx, identities ids)
 Bridge (copy). More...
 
template<typename Ctx , typename Unsigned >
automaton de_bruijn (const dyn::context &ctx, unsigned n)
 Bridge. More...
 
template<typename ExpSet , typename Label , typename Bool >
polynomial derivation (const expression &exp, const label &lbl, bool breaking)
 Bridge. More...
 
template<typename ExpSet , typename String >
automaton derived_term (const expression &exp, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut, typename Tag , bool Lazy = false>
automaton determinize_tag_ (const Aut &aut)
 Helper function to facilitate dispatch below. More...
 
template<Automaton Aut, typename String >
enable_if_boolean_t< Aut,
automaton
determinize_ (const automaton &aut, const std::string &algo)
 Boolean Bridge. More...
 
template<Automaton Aut, typename String >
enable_if_not_boolean_t< Aut,
automaton
determinize_ (const automaton &aut, const std::string &algo)
 Weighted Bridge. More...
 
template<Automaton Aut, typename String >
automaton determinize (const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut, typename Tag >
automaton codeterminize_tag_ (const Aut &aut)
 
template<Automaton Aut, typename String >
enable_if_boolean_t< Aut,
automaton
codeterminize_ (const automaton &aut, const std::string &algo)
 Boolean Bridge. More...
 
template<Automaton Aut, typename String >
enable_if_not_boolean_t< Aut,
automaton
codeterminize_ (const automaton &aut, const std::string &algo)
 Weighted Bridge. More...
 
template<Automaton Aut, typename String >
automaton codeterminize (const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<typename ExpansionSetLhs , typename ExpansionSetRhs >
expansion ldivide_expansion (const expansion &lhs, const expansion &rhs)
 Bridge (ldivide). More...
 
template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression ldivide_expression (const expression &lhs, const expression &rhs)
 Bridge (ldivide). More...
 
template<typename LabelSetLhs , typename LabelSetRhs >
label ldivide_label (const label &lhs, const label &rhs)
 Bridge (ldivide). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial ldivide_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (ldivide). More...
 
template<typename WeightSetLhs , typename WeightSetRhs >
weight ldivide_weight (const weight &lhs, const weight &rhs)
 Bridge (ldivide). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial lgcd_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (lgcd). More...
 
template<typename LabelSetLhs , typename LabelSetRhs >
label rdivide_label (const label &lhs, const label &rhs)
 Bridge (rdivide). More...
 
template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression rdivide_expression (const expression &lhs, const expression &rhs)
 Bridge (rdivide). More...
 
template<typename WeightSetLhs , typename WeightSetRhs >
weight rdivide_weight (const weight &lhs, const weight &rhs)
 Bridge (rdivide). More...
 
template<typename Ctx , typename Unsigned1 , typename Unsigned2 >
automaton divkbaseb (const context &ctx, unsigned divisor, unsigned base)
 Bridge. More...
 
template<typename Ctx , typename , typename >
automaton double_ring (const context &ctx, unsigned n, const std::vector< unsigned > &finals)
 Bridge. More...
 
template<typename Ctx >
automaton_editormake_automaton_editor (const context &ctx)
 Bridge. More...
 
template<Automaton Aut, typename LabelSet >
weight evaluate (const automaton &aut, const label &lbl)
 Bridge. More...
 
template<Automaton Aut, typename PolynomialSet >
weight eval_polynomial (const automaton &aut, const polynomial &poly)
 Bridge (evaluate). More...
 
template<typename ExpSet >
expression expand (const expression &exp)
 Bridge. More...
 
template<Automaton Aut, typename Unsigneds >
automaton filter (const automaton &aut, const std::vector< unsigned > &states)
 Bridge. More...
 
template<Automaton Aut, typename Tape >
automaton focus (const automaton &aut, integral_constant)
 Bridge. More...
 
template<Automaton Aut>
bool has_bounded_lag (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool has_lightening_cycle (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool has_twins_property (const automaton &aut)
 Bridge. More...
 
template<typename ExpSet >
identities identities_of (const expression &exp)
 Bridge. More...
 
template<typename ExpSet , typename Tag >
automaton inductive_tag_ (const ExpSet &rs, const typename ExpSet::value_t &r)
 Helper function to facilitate dispatch below. More...
 
template<typename ExpSet , typename String >
automaton inductive (const expression &exp, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut, typename Ostream , typename Bool >
std::ostream & info (const automaton &aut, std::ostream &out, unsigned details)
 Bridge. More...
 
template<typename ExpSet , typename Ostream >
std::ostream & info_expression (const expression &exp, std::ostream &o)
 Bridge (info). More...
 
template<Automaton Aut, typename Bool >
automaton insplit (const automaton &aut, bool lazy)
 Bridge. More...
 
template<Automaton Aut>
bool is_eps_acyclic (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_ambiguous (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
label ambiguous_word (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_cycle_ambiguous (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_complete (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_deterministic (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_codeterministic (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_functional (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_partial_identity (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_proper (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_synchronized (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton delay_automaton (const automaton &aut)
 Bridge. More...
 
template<typename ExpSet >
bool is_valid_expression (const expression &exp)
 Bridge (is_valid). More...
 
template<Automaton Aut>
bool is_valid (const automaton &aut)
 Bridge. More...
 
template<typename Ctx , typename Unsigned >
automaton ladybird (const dyn::context &ctx, unsigned n)
 Bridge. More...
 
template<typename ExpSet1 , typename ExpSet2 >
bool less_than_expression (const expression &lhs, const expression &rhs)
 Bridge (less_than). More...
 
template<Automaton Aut>
automaton letterize (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_letterized (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton realtime (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_realtime (const automaton &aut)
 Bridge. More...
 
template<typename Context >
automaton levenshtein (const dyn::context &ctx)
 Bridge. More...
 
template<Automaton Aut, typename Ids , typename... Tapes>
automaton lift_automaton (const automaton &aut, identities ids, integral_constant)
 Bridge. More...
 
template<typename ExpSet >
expression lift_expression (const expression &exp)
 Bridge (lift). More...
 
template<Automaton Aut, typename Num , typename String >
automaton lightest_automaton (const automaton &aut, unsigned k, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut, typename Num , typename String >
polynomial lightest (const automaton &aut, unsigned num, const std::string &algo)
 Bridge. More...
 
template<typename Ctx >
context make_context (const std::string &name)
 Bridge. More...
 
template<Automaton Aut>
context context_of (const automaton &aut)
 Bridge. More...
 
template<typename ExpSet >
context context_of_expression (const expression &exp)
 Bridge (context_of). More...
 
template<typename ExpansionSet >
context context_of_expansion (const expansion &exp)
 Bridge (context_of). More...
 
template<typename PolynomialSet >
context context_of_polynomial (const polynomial &poly)
 Bridge (context_of). More...
 
template<typename Ctx1 , typename Ctx2 >
context join (const context &c1, const context &c2)
 Bridge. More...
 
template<typename Ctx >
context make_word_context (const context &ctx)
 Bridge. More...
 
template<typename Ctx >
size_t num_tapes (const context &ctx)
 Bridge. More...
 
template<Automaton Aut>
ATTRIBUTE_NORETURN
std::enable_if_t
<!is_free_boolean< Aut >), Aut > 
minimize (const Aut &, brzozowski_tag)
 Handling of errors for dyn::minimize. More...
 
template<Automaton Aut>
ATTRIBUTE_NORETURN
std::enable_if_t
<!is_free_boolean< Aut >
), quotient_t< Aut > > 
minimize (const Aut &, hopcroft_tag)
 
template<Automaton Aut>
ATTRIBUTE_NORETURN
std::enable_if_t
<!is_free_boolean< Aut >
), quotient_t< Aut > > 
minimize (const Aut &, moore_tag)
 
template<Automaton Aut>
ATTRIBUTE_NORETURN
std::enable_if_t<!std::is_same
< weightset_t_of< Aut >, b >
::value, quotient_t< Aut > > 
minimize (const Aut &, signature_tag)
 
template<Automaton Aut, typename Tag >
automaton minimize_tag_ (const Aut &aut)
 Helper function to facilitate dispatch below. More...
 
template<Automaton Aut, typename String >
automaton minimize (const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut, typename Tag >
automaton cominimize_tag_ (const Aut &aut)
 Helper function to facilitate dispatch below. More...
 
template<Automaton Aut, typename String >
automaton cominimize (const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<Automaton Lhs, Automaton Rhs, typename String >
automaton multiply (const automaton &lhs, const automaton &rhs, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut, typename Int1 , typename Int2 , typename String >
automaton multiply_repeated (const automaton &a, int min, int max, const std::string &algo)
 Bridge (multiply). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression multiply_expression (const expression &lhs, const expression &rhs)
 Bridge (multiply). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression concatenate_expression (const expression &lhs, const expression &rhs)
 Bridge (concatenate). More...
 
template<typename ExpSet , typename Int1 , typename Int2 >
expression multiply_expression_repeated (const expression &re, int min, int max)
 Bridge (multiply). More...
 
template<typename LabelSetLhs , typename LabelSetRhs >
label multiply_label (const label &lhs, const label &rhs)
 Bridge (multiply). More...
 
template<typename LabelSet , typename Int >
label multiply_label_repeated (const label &re, int exp)
 Bridge (multiply). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial multiply_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (multiply). More...
 
template<typename WeightSetLhs , typename WeightSetRhs >
weight multiply_weight (const weight &lhs, const weight &rhs)
 Bridge (multiply). More...
 
template<typename WeightSet , typename Int1 , typename Int2 >
weight multiply_weight_repeated (const weight &wgt, int min, int max)
 Bridge (multiply). More...
 
template<Automaton Aut>
bool is_normalized (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton normalize (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename >
automaton pair (const automaton &aut, bool keep_initials)
 Bridge. More...
 
template<typename ExpressionSet >
expression partial_identity_expression (const expression &exp)
 Bridge (partial_identity). More...
 
template<Automaton Aut>
automaton partial_identity (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton suffix (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton prefix (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton factor (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton subword (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename Ostream , typename String >
std::ostream & print (const automaton &aut, std::ostream &o, const std::string &fmt)
 Bridge. More...
 
template<typename Context , typename Ostream , typename String >
std::ostream & print_context (const context &ctx, std::ostream &o, const std::string &fmt)
 Bridge (print). More...
 
template<typename ExpansionSet , typename Ostream , typename String >
std::ostream & print_expansion (const expansion &expansion, std::ostream &o, const std::string &fmt)
 Bridge (print). More...
 
template<typename ExpSet , typename Ostream , typename String >
std::ostream & print_expression (const expression &exp, std::ostream &o, const std::string &fmt)
 Bridge (print). More...
 
template<typename LabelSet , typename Ostream , typename String >
std::ostream & print_label (const label &label, std::ostream &o, const std::string &fmt)
 Bridge (print). More...
 
template<typename PolynomialSet , typename Ostream >
std::ostream & list_polynomial (const polynomial &polynomial, std::ostream &o)
 Bridge (list). More...
 
template<typename PolynomialSet , typename Ostream , typename String >
std::ostream & print_polynomial (const polynomial &polynomial, std::ostream &o, const std::string &fmt)
 Bridge (print). More...
 
template<typename WeightSet , typename Ostream , typename String >
std::ostream & print_weight (const weight &weight, std::ostream &o, const std::string &fmt)
 Bridge (print). More...
 
template<Automaton Aut, typename Tape >
automaton project (const automaton &aut, integral_constant)
 Bridge. More...
 
template<typename Context , typename Tape >
context project_context (const context &ctx, integral_constant)
 Bridge (project). More...
 
template<typename ExpansionSet , typename Tape >
expansion project_expansion (const expansion &exp, integral_constant)
 Bridge (project). More...
 
template<typename ExpressionSet , typename Tape >
expression project_expression (const expression &exp, integral_constant)
 Bridge (project). More...
 
template<typename PolynomialSet , typename Tape >
polynomial project_polynomial (const polynomial &poly, integral_constant)
 Bridge (project). More...
 
template<typename Label , typename Tape >
label project_label (const label &lbl, integral_constant)
 Bridge (project). More...
 
template<Automaton Aut, typename Dir , typename Bool , typename String >
automaton proper (const automaton &aut, direction dir, bool prune, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut>
automaton push_weights (const automaton &aut)
 Bridge. More...
 
template<typename Ctx , typename Unsigned1 , typename Unsigned2 >
automaton quotkbaseb (const context &ctx, unsigned divisor, unsigned base)
 Bridge. More...
 
template<typename Ctx , typename NumStates , typename Density , typename NumInitial , typename NumFinal , typename MaxLabels , typename LoopChance , typename String >
automaton random_automaton (const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, boost::optional< unsigned > max_labels, float loop_chance, const std::string &weights)
 Bridge. More...
 
template<typename Ctx , typename >
automaton random_automaton_deterministic (const context &ctx, unsigned num_states)
 Bridge. More...
 
template<typename Context , typename String , typename Identities >
expression random_expression (const context &ctx, const std::string &param, identities ids)
 Bridge. More...
 
template<typename Context , typename String >
weight random_weight (const context &ctx, const std::string &param)
 Bridge. More...
 
template<typename Context , typename Istream , typename Bool >
label read_label (const context &ctx, std::istream &is, bool quoted)
 Bridge. More...
 
template<typename Context , typename Istream >
polynomial read_polynomial (const context &ctx, std::istream &is)
 Bridge. More...
 
template<typename Context , typename Istream >
weight read_weight (const context &ctx, std::istream &is)
 Bridge. More...
 
template<Automaton Aut>
automaton reduce (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename String >
automaton scc (const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut>
std::size_t num_components (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename Unsigned >
automaton component (const automaton &aut, unsigned num)
 Bridge. More...
 
template<Automaton Aut>
automaton condense (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename Num , typename Len >
polynomial shortest (const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len)
 Bridge. More...
 
template<Automaton Aut>
bool is_out_sorted (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton sort (const automaton &aut)
 Bridge. More...
 
template<typename ExpSet >
polynomial split (const expression &exp)
 Bridge. More...
 
template<typename PolynomialSet >
polynomial split_polynomial (const polynomial &poly)
 Bridge (split). More...
 
template<Automaton Aut>
bool is_standard (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool is_costandard (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton standard (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton costandard (const automaton &aut)
 Bridge. More...
 
template<typename ExpSet >
automaton standard_expression (const expression &exp)
 Bridge (standard). More...
 
template<typename ExpSet >
unsigned star_height (const expression &exp)
 Bridge. More...
 
template<typename ExpSet >
expression star_normal_form (const expression &exp)
 Bridge. More...
 
template<Automaton Aut, typename String >
automaton star (const automaton &a, const std::string &algo)
 Bridge. More...
 
template<Automaton Aut>
automaton strip (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton synchronize (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename LabelSet >
bool is_synchronized_by (const automaton &aut, const label &word)
 Bridge. More...
 
template<Automaton Aut>
bool is_synchronizing (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename String >
label synchronizing_word (const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<typename ExpSet >
automaton thompson (const expression &exp)
 Bridge. More...
 
template<typename ExpSet >
expansion to_expansion (const expression &exp)
 Bridge. More...
 
template<Automaton Aut, typename Int >
automaton eliminate_state (const automaton &aut, int state)
 Bridge. More...
 
template<Automaton Aut, typename Identities , typename String >
expression to_expression (const automaton &aut, identities ids, const std::string &algo)
 Bridge. More...
 
template<typename Context , typename Identities , typename Label >
expression to_expression_label (const context &ctx, identities ids, const label &lbl)
 Bridge (to_expression). More...
 
template<typename Context , typename Identities , typename Letters , typename Bool >
expression to_expression_class (const context &ctx, identities ids, const letter_class_t &letters, bool accept)
 Bridge (to_expression). More...
 
template<Automaton Aut>
automaton transpose (automaton &aut)
 Bridge. More...
 
template<typename ExpSet >
expression transpose_expression (const expression &exp)
 Bridge (transpose). More...
 
template<typename ExpSet >
expression transposition_expression (const expression &exp)
 Bridge (transposition). More...
 
template<typename PolynomialSet >
automaton trie (const polynomial &poly)
 Bridge. More...
 
template<typename PolynomialSet >
automaton cotrie (const polynomial &poly)
 Bridge. More...
 
template<typename Context , typename Istream , typename String >
automaton trie_stream (const context &ctx, std::istream &is, const std::string &format)
 Bridge (trie). More...
 
template<typename Context , typename Istream , typename String >
automaton cotrie_stream (const context &ctx, std::istream &is, const std::string &format)
 Bridge (cotrie). More...
 
template<typename Auts , size_t... I>
automaton tuple_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
 Bridge helper. More...
 
template<typename Auts >
automaton tuple (const std::vector< automaton > &as)
 Bridge. More...
 
template<typename Contexts , size_t... I>
context tuple_ (const std::vector< context > &cs, vcsn::detail::index_sequence< I...>)
 Bridge helper. More...
 
template<typename Contexts >
context tuple_context (const std::vector< context > &cs)
 Bridge (tuple). More...
 
template<typename ExpansionSets , size_t... I>
expansion tuple_ (const std::vector< expansion > &es, vcsn::detail::index_sequence< I...>)
 Bridge helper. More...
 
template<typename ExpansionSets >
expansion tuple_expansion (const std::vector< expansion > &es)
 Bridge (tuple). More...
 
template<typename ExpSets , size_t... I>
expression tuple_ (const std::vector< expression > &es, vcsn::detail::index_sequence< I...>)
 Bridge helper. More...
 
template<typename ExpSets >
expression tuple_expression (const std::vector< expression > &es)
 Bridge (tuple). More...
 
template<typename PolynomialSet , size_t... I>
polynomial tuple_ (const std::vector< polynomial > &polys, vcsn::detail::index_sequence< I...>)
 Bridge helper. More...
 
template<typename PolynomialSets >
polynomial tuple_polynomial (const std::vector< polynomial > &ps)
 Bridge (tuple). More...
 
template<typename Ctx , typename Unsigned >
automaton u (const context &ctx, unsigned n)
 Bridge. More...
 
template<Automaton Aut>
automaton universal (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
weight weight_series (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut, typename Tag >
automaton lweight_tag (const weight_t_of< Aut > &w, Aut &aut)
 Left-product. More...
 
template<typename WeightSet , Automaton Aut, typename String >
automaton lweight (const weight &weight, const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<typename WeightSet , typename ExpansionSet >
expansion lweight_expansion (const weight &weight, const expansion &exp)
 Bridge (lweight). More...
 
template<typename WeightSet , typename ExpSet >
expression lweight_expression (const weight &weight, const expression &exp)
 Bridge (lweight). More...
 
template<typename WeightSet , typename PolynomialSet >
polynomial lweight_polynomial (const weight &weight, const polynomial &poly)
 Bridge (lweight). More...
 
template<Automaton Aut, typename Tag >
automaton rweight_tag (Aut &aut, const weight_t_of< Aut > &w)
 Right-product. More...
 
template<Automaton Aut, typename WeightSet , typename String >
automaton rweight (const automaton &aut, const weight &weight, const std::string &algo)
 Bridge. More...
 
template<typename ExpansionSet , typename WeightSet >
expansion rweight_expansion (const expansion &exp, const weight &weight)
 Bridge (rweight). More...
 
template<typename ExpSet , typename WeightSet >
expression rweight_expression (const expression &exp, const weight &weight)
 Bridge (rweight). More...
 
template<typename PolynomialSet , typename WeightSet >
polynomial rweight_polynomial (const polynomial &poly, const weight &weight)
 Bridge (rweight). More...
 
template<typename ExpSet , typename String >
automaton zpc (const expression &exp, const std::string &algo)
 Bridge. More...
 
template<typename To , typename From >
To dyn_cast (From &&from)
 A dynamic_cast in debug mode, static_cast with NDEBUG. More...
 
bool accessible_register (const signature &sig, accessible_t fn)
 
bool add_register (const signature &sig, add_t fn)
 
bool add_expansion_register (const signature &sig, add_expansion_t fn)
 
bool add_expression_register (const signature &sig, add_expression_t fn)
 
bool add_polynomial_register (const signature &sig, add_polynomial_t fn)
 
bool add_weight_register (const signature &sig, add_weight_t fn)
 
bool ambiguous_word_register (const signature &sig, ambiguous_word_t fn)
 
bool are_equivalent_register (const signature &sig, are_equivalent_t fn)
 
bool are_equivalent_expression_register (const signature &sig, are_equivalent_expression_t fn)
 
bool are_isomorphic_register (const signature &sig, are_isomorphic_t fn)
 
bool cerny_register (const signature &sig, cerny_t fn)
 
bool coaccessible_register (const signature &sig, coaccessible_t fn)
 
bool codeterminize_register (const signature &sig, codeterminize_t fn)
 
bool cominimize_register (const signature &sig, cominimize_t fn)
 
bool complement_register (const signature &sig, complement_t fn)
 
bool complement_expansion_register (const signature &sig, complement_expansion_t fn)
 
bool complement_expression_register (const signature &sig, complement_expression_t fn)
 
bool complete_register (const signature &sig, complete_t fn)
 
bool component_register (const signature &sig, component_t fn)
 
bool compose_register (const signature &sig, compose_t fn)
 
bool compose_expansion_register (const signature &sig, compose_expansion_t fn)
 
bool compose_expression_register (const signature &sig, compose_expression_t fn)
 
bool compose_polynomial_register (const signature &sig, compose_polynomial_t fn)
 
bool concatenate_expression_register (const signature &sig, concatenate_expression_t fn)
 
bool condense_register (const signature &sig, condense_t fn)
 
bool conjugate_register (const signature &sig, conjugate_t fn)
 
bool conjunction_register (const signature &sig, conjunction_t fn)
 
bool conjunction_expansion_register (const signature &sig, conjunction_expansion_t fn)
 
bool conjunction_expression_register (const signature &sig, conjunction_expression_t fn)
 
bool conjunction_polynomial_register (const signature &sig, conjunction_polynomial_t fn)
 
bool conjunction_repeated_register (const signature &sig, conjunction_repeated_t fn)
 
bool constant_term_register (const signature &sig, constant_term_t fn)
 
bool context_of_register (const signature &sig, context_of_t fn)
 
bool context_of_expansion_register (const signature &sig, context_of_expansion_t fn)
 
bool context_of_expression_register (const signature &sig, context_of_expression_t fn)
 
bool context_of_polynomial_register (const signature &sig, context_of_polynomial_t fn)
 
bool copy_register (const signature &sig, copy_t fn)
 
bool copy_convert_register (const signature &sig, copy_convert_t fn)
 
bool copy_expression_register (const signature &sig, copy_expression_t fn)
 
bool costandard_register (const signature &sig, costandard_t fn)
 
bool cotrie_register (const signature &sig, cotrie_t fn)
 
bool cotrie_stream_register (const signature &sig, cotrie_stream_t fn)
 
bool de_bruijn_register (const signature &sig, de_bruijn_t fn)
 
bool delay_automaton_register (const signature &sig, delay_automaton_t fn)
 
bool derivation_register (const signature &sig, derivation_t fn)
 
bool derived_term_register (const signature &sig, derived_term_t fn)
 
bool determinize_register (const signature &sig, determinize_t fn)
 
bool difference_register (const signature &sig, difference_t fn)
 
bool difference_expression_register (const signature &sig, difference_expression_t fn)
 
bool divkbaseb_register (const signature &sig, divkbaseb_t fn)
 
bool double_ring_register (const signature &sig, double_ring_t fn)
 
bool eliminate_state_register (const signature &sig, eliminate_state_t fn)
 
bool eval_polynomial_register (const signature &sig, eval_polynomial_t fn)
 
bool evaluate_register (const signature &sig, evaluate_t fn)
 
bool expand_register (const signature &sig, expand_t fn)
 
bool expression_one_register (const signature &sig, expression_one_t fn)
 
bool expression_zero_register (const signature &sig, expression_zero_t fn)
 
bool factor_register (const signature &sig, factor_t fn)
 
bool filter_register (const signature &sig, filter_t fn)
 
bool focus_register (const signature &sig, focus_t fn)
 
bool has_bounded_lag_register (const signature &sig, has_bounded_lag_t fn)
 
bool has_lightening_cycle_register (const signature &sig, has_lightening_cycle_t fn)
 
bool has_twins_property_register (const signature &sig, has_twins_property_t fn)
 
bool identities_of_register (const signature &sig, identities_of_t fn)
 
bool inductive_register (const signature &sig, inductive_t fn)
 
bool infiltrate_register (const signature &sig, infiltrate_t fn)
 
bool infiltrate_expression_register (const signature &sig, infiltrate_expression_t fn)
 
bool info_register (const signature &sig, info_t fn)
 
bool info_expression_register (const signature &sig, info_expression_t fn)
 
bool insplit_register (const signature &sig, insplit_t fn)
 
bool is_accessible_register (const signature &sig, is_accessible_t fn)
 
bool is_ambiguous_register (const signature &sig, is_ambiguous_t fn)
 
bool is_coaccessible_register (const signature &sig, is_coaccessible_t fn)
 
bool is_codeterministic_register (const signature &sig, is_codeterministic_t fn)
 
bool is_complete_register (const signature &sig, is_complete_t fn)
 
bool is_costandard_register (const signature &sig, is_costandard_t fn)
 
bool is_cycle_ambiguous_register (const signature &sig, is_cycle_ambiguous_t fn)
 
bool is_deterministic_register (const signature &sig, is_deterministic_t fn)
 
bool is_empty_register (const signature &sig, is_empty_t fn)
 
bool is_eps_acyclic_register (const signature &sig, is_eps_acyclic_t fn)
 
bool is_functional_register (const signature &sig, is_functional_t fn)
 
bool is_letterized_register (const signature &sig, is_letterized_t fn)
 
bool is_normalized_register (const signature &sig, is_normalized_t fn)
 
bool is_out_sorted_register (const signature &sig, is_out_sorted_t fn)
 
bool is_partial_identity_register (const signature &sig, is_partial_identity_t fn)
 
bool is_proper_register (const signature &sig, is_proper_t fn)
 
bool is_realtime_register (const signature &sig, is_realtime_t fn)
 
bool is_standard_register (const signature &sig, is_standard_t fn)
 
bool is_synchronized_register (const signature &sig, is_synchronized_t fn)
 
bool is_synchronized_by_register (const signature &sig, is_synchronized_by_t fn)
 
bool is_synchronizing_register (const signature &sig, is_synchronizing_t fn)
 
bool is_trim_register (const signature &sig, is_trim_t fn)
 
bool is_useless_register (const signature &sig, is_useless_t fn)
 
bool is_valid_register (const signature &sig, is_valid_t fn)
 
bool is_valid_expression_register (const signature &sig, is_valid_expression_t fn)
 
bool join_register (const signature &sig, join_t fn)
 
bool ladybird_register (const signature &sig, ladybird_t fn)
 
bool ldivide_register (const signature &sig, ldivide_t fn)
 
bool ldivide_expansion_register (const signature &sig, ldivide_expansion_t fn)
 
bool ldivide_expression_register (const signature &sig, ldivide_expression_t fn)
 
bool ldivide_label_register (const signature &sig, ldivide_label_t fn)
 
bool ldivide_polynomial_register (const signature &sig, ldivide_polynomial_t fn)
 
bool ldivide_weight_register (const signature &sig, ldivide_weight_t fn)
 
bool less_than_expression_register (const signature &sig, less_than_expression_t fn)
 
bool letterize_register (const signature &sig, letterize_t fn)
 
bool levenshtein_register (const signature &sig, levenshtein_t fn)
 
bool lgcd_polynomial_register (const signature &sig, lgcd_polynomial_t fn)
 
bool lift_automaton_register (const signature &sig, lift_automaton_t fn)
 
bool lift_expression_register (const signature &sig, lift_expression_t fn)
 
bool lightest_register (const signature &sig, lightest_t fn)
 
bool lightest_automaton_register (const signature &sig, lightest_automaton_t fn)
 
bool list_polynomial_register (const signature &sig, list_polynomial_t fn)
 
bool lweight_register (const signature &sig, lweight_t fn)
 
bool lweight_expansion_register (const signature &sig, lweight_expansion_t fn)
 
bool lweight_expression_register (const signature &sig, lweight_expression_t fn)
 
bool lweight_polynomial_register (const signature &sig, lweight_polynomial_t fn)
 
bool make_automaton_editor_register (const signature &sig, make_automaton_editor_t fn)
 
bool make_context_register (const signature &sig, make_context_t fn)
 
bool make_word_context_register (const signature &sig, make_word_context_t fn)
 
bool minimize_register (const signature &sig, minimize_t fn)
 
bool multiply_register (const signature &sig, multiply_t fn)
 
bool multiply_expression_register (const signature &sig, multiply_expression_t fn)
 
bool multiply_expression_repeated_register (const signature &sig, multiply_expression_repeated_t fn)
 
bool multiply_label_register (const signature &sig, multiply_label_t fn)
 
bool multiply_label_repeated_register (const signature &sig, multiply_label_repeated_t fn)
 
bool multiply_polynomial_register (const signature &sig, multiply_polynomial_t fn)
 
bool multiply_repeated_register (const signature &sig, multiply_repeated_t fn)
 
bool multiply_weight_register (const signature &sig, multiply_weight_t fn)
 
bool multiply_weight_repeated_register (const signature &sig, multiply_weight_repeated_t fn)
 
bool normalize_register (const signature &sig, normalize_t fn)
 
bool num_components_register (const signature &sig, num_components_t fn)
 
bool num_tapes_register (const signature &sig, num_tapes_t fn)
 
bool pair_register (const signature &sig, pair_t fn)
 
bool partial_identity_register (const signature &sig, partial_identity_t fn)
 
bool partial_identity_expression_register (const signature &sig, partial_identity_expression_t fn)
 
bool prefix_register (const signature &sig, prefix_t fn)
 
bool print_register (const signature &sig, print_t fn)
 
bool print_context_register (const signature &sig, print_context_t fn)
 
bool print_expansion_register (const signature &sig, print_expansion_t fn)
 
bool print_expression_register (const signature &sig, print_expression_t fn)
 
bool print_label_register (const signature &sig, print_label_t fn)
 
bool print_polynomial_register (const signature &sig, print_polynomial_t fn)
 
bool print_weight_register (const signature &sig, print_weight_t fn)
 
bool project_register (const signature &sig, project_t fn)
 
bool project_context_register (const signature &sig, project_context_t fn)
 
bool project_expansion_register (const signature &sig, project_expansion_t fn)
 
bool project_expression_register (const signature &sig, project_expression_t fn)
 
bool project_label_register (const signature &sig, project_label_t fn)
 
bool project_polynomial_register (const signature &sig, project_polynomial_t fn)
 
bool proper_register (const signature &sig, proper_t fn)
 
bool push_weights_register (const signature &sig, push_weights_t fn)
 
bool quotkbaseb_register (const signature &sig, quotkbaseb_t fn)
 
bool random_automaton_register (const signature &sig, random_automaton_t fn)
 
bool random_automaton_deterministic_register (const signature &sig, random_automaton_deterministic_t fn)
 
bool random_expression_register (const signature &sig, random_expression_t fn)
 
bool random_weight_register (const signature &sig, random_weight_t fn)
 
bool rdivide_register (const signature &sig, rdivide_t fn)
 
bool rdivide_expression_register (const signature &sig, rdivide_expression_t fn)
 
bool rdivide_label_register (const signature &sig, rdivide_label_t fn)
 
bool rdivide_weight_register (const signature &sig, rdivide_weight_t fn)
 
bool read_label_register (const signature &sig, read_label_t fn)
 
bool read_polynomial_register (const signature &sig, read_polynomial_t fn)
 
bool read_weight_register (const signature &sig, read_weight_t fn)
 
bool realtime_register (const signature &sig, realtime_t fn)
 
bool reduce_register (const signature &sig, reduce_t fn)
 
bool rweight_register (const signature &sig, rweight_t fn)
 
bool rweight_expansion_register (const signature &sig, rweight_expansion_t fn)
 
bool rweight_expression_register (const signature &sig, rweight_expression_t fn)
 
bool rweight_polynomial_register (const signature &sig, rweight_polynomial_t fn)
 
bool scc_register (const signature &sig, scc_t fn)
 
bool shortest_register (const signature &sig, shortest_t fn)
 
bool shuffle_register (const signature &sig, shuffle_t fn)
 
bool shuffle_expression_register (const signature &sig, shuffle_expression_t fn)
 
bool sort_register (const signature &sig, sort_t fn)
 
bool split_register (const signature &sig, split_t fn)
 
bool split_polynomial_register (const signature &sig, split_polynomial_t fn)
 
bool standard_register (const signature &sig, standard_t fn)
 
bool standard_expression_register (const signature &sig, standard_expression_t fn)
 
bool star_register (const signature &sig, star_t fn)
 
bool star_height_register (const signature &sig, star_height_t fn)
 
bool star_normal_form_register (const signature &sig, star_normal_form_t fn)
 
bool strip_register (const signature &sig, strip_t fn)
 
bool subword_register (const signature &sig, subword_t fn)
 
bool suffix_register (const signature &sig, suffix_t fn)
 
bool synchronize_register (const signature &sig, synchronize_t fn)
 
bool synchronizing_word_register (const signature &sig, synchronizing_word_t fn)
 
bool thompson_register (const signature &sig, thompson_t fn)
 
bool to_expansion_register (const signature &sig, to_expansion_t fn)
 
bool to_expression_register (const signature &sig, to_expression_t fn)
 
bool to_expression_class_register (const signature &sig, to_expression_class_t fn)
 
bool to_expression_label_register (const signature &sig, to_expression_label_t fn)
 
bool transpose_register (const signature &sig, transpose_t fn)
 
bool transpose_expression_register (const signature &sig, transpose_expression_t fn)
 
bool transposition_expression_register (const signature &sig, transposition_expression_t fn)
 
bool trie_register (const signature &sig, trie_t fn)
 
bool trie_stream_register (const signature &sig, trie_stream_t fn)
 
bool trim_register (const signature &sig, trim_t fn)
 
bool tuple_register (const signature &sig, tuple_t fn)
 
bool tuple_context_register (const signature &sig, tuple_context_t fn)
 
bool tuple_expansion_register (const signature &sig, tuple_expansion_t fn)
 
bool tuple_expression_register (const signature &sig, tuple_expression_t fn)
 
bool tuple_polynomial_register (const signature &sig, tuple_polynomial_t fn)
 
bool u_register (const signature &sig, u_t fn)
 
bool universal_register (const signature &sig, universal_t fn)
 
bool weight_one_register (const signature &sig, weight_one_t fn)
 
bool weight_series_register (const signature &sig, weight_series_t fn)
 
bool weight_zero_register (const signature &sig, weight_zero_t fn)
 
bool zpc_register (const signature &sig, zpc_t fn)
 
static Registry< accessible_t > & accessible_registry ()
 
static Registry< add_t > & add_registry ()
 
static Registry
< add_expansion_t > & 
add_expansion_registry ()
 
static Registry
< add_expression_t > & 
add_expression_registry ()
 
static Registry
< add_polynomial_t > & 
add_polynomial_registry ()
 
static Registry< add_weight_t > & add_weight_registry ()
 
static Registry
< ambiguous_word_t > & 
ambiguous_word_registry ()
 
static Registry
< are_equivalent_t > & 
are_equivalent_registry ()
 
static Registry
< are_equivalent_expression_t > & 
are_equivalent_expression_registry ()
 
static Registry
< are_isomorphic_t > & 
are_isomorphic_registry ()
 
static Registry< cerny_t > & cerny_registry ()
 
static Registry< coaccessible_t > & coaccessible_registry ()
 
static Registry
< codeterminize_t > & 
codeterminize_registry ()
 
static Registry< cominimize_t > & cominimize_registry ()
 
static Registry< complement_t > & complement_registry ()
 
static Registry
< complement_expansion_t > & 
complement_expansion_registry ()
 
static Registry
< complement_expression_t > & 
complement_expression_registry ()
 
static Registry< complete_t > & complete_registry ()
 
static Registry< component_t > & component_registry ()
 
static Registry< compose_t > & compose_registry ()
 
static Registry
< compose_expansion_t > & 
compose_expansion_registry ()
 
static Registry
< compose_expression_t > & 
compose_expression_registry ()
 
static Registry
< compose_polynomial_t > & 
compose_polynomial_registry ()
 
static Registry
< concatenate_expression_t > & 
concatenate_expression_registry ()
 
static Registry< condense_t > & condense_registry ()
 
static Registry< conjugate_t > & conjugate_registry ()
 
static Registry< conjunction_t > & conjunction_registry ()
 
static Registry
< conjunction_expansion_t > & 
conjunction_expansion_registry ()
 
static Registry
< conjunction_expression_t > & 
conjunction_expression_registry ()
 
static Registry
< conjunction_polynomial_t > & 
conjunction_polynomial_registry ()
 
static Registry
< conjunction_repeated_t > & 
conjunction_repeated_registry ()
 
static Registry
< constant_term_t > & 
constant_term_registry ()
 
static Registry< context_of_t > & context_of_registry ()
 
static Registry
< context_of_expansion_t > & 
context_of_expansion_registry ()
 
static Registry
< context_of_expression_t > & 
context_of_expression_registry ()
 
static Registry
< context_of_polynomial_t > & 
context_of_polynomial_registry ()
 
static Registry< copy_t > & copy_registry ()
 
static Registry< copy_convert_t > & copy_convert_registry ()
 
static Registry
< copy_expression_t > & 
copy_expression_registry ()
 
static Registry< costandard_t > & costandard_registry ()
 
static Registry< cotrie_t > & cotrie_registry ()
 
static Registry
< cotrie_stream_t > & 
cotrie_stream_registry ()
 
static Registry< de_bruijn_t > & de_bruijn_registry ()
 
static Registry
< delay_automaton_t > & 
delay_automaton_registry ()
 
static Registry< derivation_t > & derivation_registry ()
 
static Registry< derived_term_t > & derived_term_registry ()
 
static Registry< determinize_t > & determinize_registry ()
 
static Registry< difference_t > & difference_registry ()
 
static Registry
< difference_expression_t > & 
difference_expression_registry ()
 
static Registry< divkbaseb_t > & divkbaseb_registry ()
 
static Registry< double_ring_t > & double_ring_registry ()
 
static Registry
< eliminate_state_t > & 
eliminate_state_registry ()
 
static Registry
< eval_polynomial_t > & 
eval_polynomial_registry ()
 
static Registry< evaluate_t > & evaluate_registry ()
 
static Registry< expand_t > & expand_registry ()
 
static Registry
< expression_one_t > & 
expression_one_registry ()
 
static Registry
< expression_zero_t > & 
expression_zero_registry ()
 
static Registry< factor_t > & factor_registry ()
 
static Registry< filter_t > & filter_registry ()
 
static Registry
< has_bounded_lag_t > & 
has_bounded_lag_registry ()
 
static Registry
< has_lightening_cycle_t > & 
has_lightening_cycle_registry ()
 
static Registry
< has_twins_property_t > & 
has_twins_property_registry ()
 
static Registry
< identities_of_t > & 
identities_of_registry ()
 
static Registry< inductive_t > & inductive_registry ()
 
static Registry< infiltrate_t > & infiltrate_registry ()
 
static Registry
< infiltrate_expression_t > & 
infiltrate_expression_registry ()
 
static Registry< info_t > & info_registry ()
 
static Registry
< info_expression_t > & 
info_expression_registry ()
 
static Registry< insplit_t > & insplit_registry ()
 
static Registry
< is_accessible_t > & 
is_accessible_registry ()
 
static Registry< is_ambiguous_t > & is_ambiguous_registry ()
 
static Registry
< is_coaccessible_t > & 
is_coaccessible_registry ()
 
static Registry
< is_codeterministic_t > & 
is_codeterministic_registry ()
 
static Registry< is_complete_t > & is_complete_registry ()
 
static Registry
< is_costandard_t > & 
is_costandard_registry ()
 
static Registry
< is_cycle_ambiguous_t > & 
is_cycle_ambiguous_registry ()
 
static Registry
< is_deterministic_t > & 
is_deterministic_registry ()
 
static Registry< is_empty_t > & is_empty_registry ()
 
static Registry
< is_eps_acyclic_t > & 
is_eps_acyclic_registry ()
 
static Registry
< is_functional_t > & 
is_functional_registry ()
 
static Registry
< is_letterized_t > & 
is_letterized_registry ()
 
static Registry
< is_normalized_t > & 
is_normalized_registry ()
 
static Registry
< is_out_sorted_t > & 
is_out_sorted_registry ()
 
static Registry
< is_partial_identity_t > & 
is_partial_identity_registry ()
 
static Registry< is_proper_t > & is_proper_registry ()
 
static Registry< is_realtime_t > & is_realtime_registry ()
 
static Registry< is_standard_t > & is_standard_registry ()
 
static Registry
< is_synchronized_t > & 
is_synchronized_registry ()
 
static Registry
< is_synchronized_by_t > & 
is_synchronized_by_registry ()
 
static Registry
< is_synchronizing_t > & 
is_synchronizing_registry ()
 
static Registry< is_trim_t > & is_trim_registry ()
 
static Registry< is_useless_t > & is_useless_registry ()
 
static Registry< is_valid_t > & is_valid_registry ()
 
static Registry
< is_valid_expression_t > & 
is_valid_expression_registry ()
 
static Registry< join_t > & join_registry ()
 
static Registry< ladybird_t > & ladybird_registry ()
 
static Registry< ldivide_t > & ldivide_registry ()
 
static Registry
< ldivide_expansion_t > & 
ldivide_expansion_registry ()
 
static Registry
< ldivide_expression_t > & 
ldivide_expression_registry ()
 
static Registry
< ldivide_label_t > & 
ldivide_label_registry ()
 
static Registry
< ldivide_polynomial_t > & 
ldivide_polynomial_registry ()
 
static Registry
< ldivide_weight_t > & 
ldivide_weight_registry ()
 
static Registry
< less_than_expression_t > & 
less_than_expression_registry ()
 
static Registry< letterize_t > & letterize_registry ()
 
static Registry< levenshtein_t > & levenshtein_registry ()
 
static Registry
< lgcd_polynomial_t > & 
lgcd_polynomial_registry ()
 
static Registry
< lift_expression_t > & 
lift_expression_registry ()
 
static Registry< lightest_t > & lightest_registry ()
 
static Registry
< lightest_automaton_t > & 
lightest_automaton_registry ()
 
static Registry< lweight_t > & lweight_registry ()
 
static Registry
< lweight_expansion_t > & 
lweight_expansion_registry ()
 
static Registry
< lweight_expression_t > & 
lweight_expression_registry ()
 
static Registry
< lweight_polynomial_t > & 
lweight_polynomial_registry ()
 
static Registry
< make_automaton_editor_t > & 
make_automaton_editor_registry ()
 
static Registry
< make_word_context_t > & 
make_word_context_registry ()
 
static Registry< minimize_t > & minimize_registry ()
 
static Registry< multiply_t > & multiply_registry ()
 
static Registry
< multiply_expression_t > & 
multiply_expression_registry ()
 
static Registry
< multiply_expression_repeated_t > & 
multiply_expression_repeated_registry ()
 
static Registry
< multiply_label_t > & 
multiply_label_registry ()
 
static Registry
< multiply_label_repeated_t > & 
multiply_label_repeated_registry ()
 
static Registry
< multiply_polynomial_t > & 
multiply_polynomial_registry ()
 
static Registry
< multiply_repeated_t > & 
multiply_repeated_registry ()
 
static Registry
< multiply_weight_t > & 
multiply_weight_registry ()
 
static Registry
< multiply_weight_repeated_t > & 
multiply_weight_repeated_registry ()
 
static Registry< normalize_t > & normalize_registry ()
 
static Registry
< num_components_t > & 
num_components_registry ()
 
static Registry< num_tapes_t > & num_tapes_registry ()
 
static Registry< pair_t > & pair_registry ()
 
static Registry
< partial_identity_t > & 
partial_identity_registry ()
 
static Registry
< partial_identity_expression_t > & 
partial_identity_expression_registry ()
 
static Registry< prefix_t > & prefix_registry ()
 
static Registry< print_t > & print_registry ()
 
static Registry
< print_context_t > & 
print_context_registry ()
 
static Registry< proper_t > & proper_registry ()
 
static Registry< push_weights_t > & push_weights_registry ()
 
static Registry< quotkbaseb_t > & quotkbaseb_registry ()
 
static Registry
< random_automaton_t > & 
random_automaton_registry ()
 
static Registry
< random_automaton_deterministic_t > & 
random_automaton_deterministic_registry ()
 
static Registry
< random_expression_t > & 
random_expression_registry ()
 
static Registry
< random_weight_t > & 
random_weight_registry ()
 
static Registry< rdivide_t > & rdivide_registry ()
 
static Registry
< rdivide_expression_t > & 
rdivide_expression_registry ()
 
static Registry
< rdivide_label_t > & 
rdivide_label_registry ()
 
static Registry
< rdivide_weight_t > & 
rdivide_weight_registry ()
 
static Registry
< read_polynomial_t > & 
read_polynomial_registry ()
 
static Registry< read_weight_t > & read_weight_registry ()
 
static Registry< realtime_t > & realtime_registry ()
 
static Registry< reduce_t > & reduce_registry ()
 
static Registry< rweight_t > & rweight_registry ()
 
static Registry
< rweight_expansion_t > & 
rweight_expansion_registry ()
 
static Registry
< rweight_expression_t > & 
rweight_expression_registry ()
 
static Registry
< rweight_polynomial_t > & 
rweight_polynomial_registry ()
 
static Registry< scc_t > & scc_registry ()
 
static Registry< shortest_t > & shortest_registry ()
 
static Registry< shuffle_t > & shuffle_registry ()
 
static Registry
< shuffle_expression_t > & 
shuffle_expression_registry ()
 
static Registry< sort_t > & sort_registry ()
 
static Registry< split_t > & split_registry ()
 
static Registry
< split_polynomial_t > & 
split_polynomial_registry ()
 
static Registry< standard_t > & standard_registry ()
 
static Registry
< standard_expression_t > & 
standard_expression_registry ()
 
static Registry< star_t > & star_registry ()
 
static Registry< star_height_t > & star_height_registry ()
 
static Registry
< star_normal_form_t > & 
star_normal_form_registry ()
 
static Registry< strip_t > & strip_registry ()
 
static Registry< subword_t > & subword_registry ()
 
static Registry< suffix_t > & suffix_registry ()
 
static Registry< synchronize_t > & synchronize_registry ()
 
static Registry
< synchronizing_word_t > & 
synchronizing_word_registry ()
 
static Registry< thompson_t > & thompson_registry ()
 
static Registry< to_expansion_t > & to_expansion_registry ()
 
static Registry
< to_expression_t > & 
to_expression_registry ()
 
static Registry
< to_expression_class_t > & 
to_expression_class_registry ()
 
static Registry
< to_expression_label_t > & 
to_expression_label_registry ()
 
static Registry< transpose_t > & transpose_registry ()
 
static Registry
< transpose_expression_t > & 
transpose_expression_registry ()
 
static Registry
< transposition_expression_t > & 
transposition_expression_registry ()
 
static Registry< trie_t > & trie_registry ()
 
static Registry< trie_stream_t > & trie_stream_registry ()
 
static Registry< trim_t > & trim_registry ()
 
static Registry< tuple_t > & tuple_registry ()
 
static Registry
< tuple_context_t > & 
tuple_context_registry ()
 
static Registry
< tuple_expansion_t > & 
tuple_expansion_registry ()
 
static Registry
< tuple_expression_t > & 
tuple_expression_registry ()
 
static Registry
< tuple_polynomial_t > & 
tuple_polynomial_registry ()
 
static Registry< u_t > & u_registry ()
 
static Registry< universal_t > & universal_registry ()
 
static Registry< weight_one_t > & weight_one_registry ()
 
static Registry
< weight_series_t > & 
weight_series_registry ()
 
static Registry< weight_zero_t > & weight_zero_registry ()
 
static Registry< zpc_t > & zpc_registry ()
 

Typedef Documentation

using vcsn::dyn::detail::accessible_t = typedef auto (const automaton& aut) -> automaton

Definition at line 28 of file registries.hh.

using vcsn::dyn::detail::add_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion

Definition at line 36 of file registries.hh.

using vcsn::dyn::detail::add_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 40 of file registries.hh.

using vcsn::dyn::detail::add_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial

Definition at line 44 of file registries.hh.

using vcsn::dyn::detail::add_t = typedef auto (const automaton& lhs, const automaton& rhs, const std::string& algo) -> automaton

Definition at line 32 of file registries.hh.

using vcsn::dyn::detail::add_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight

Definition at line 48 of file registries.hh.

using vcsn::dyn::detail::ambiguous_word_t = typedef auto (const automaton& aut) -> label

Definition at line 52 of file registries.hh.

using vcsn::dyn::detail::are_equivalent_expression_t = typedef auto (const expression& r1, const expression& r2) -> bool

Definition at line 60 of file registries.hh.

using vcsn::dyn::detail::are_equivalent_t = typedef auto (const automaton& aut1, const automaton& aut2) -> bool

Definition at line 56 of file registries.hh.

using vcsn::dyn::detail::are_isomorphic_t = typedef auto (const automaton& aut1, const automaton& aut2) -> bool

Definition at line 64 of file registries.hh.

using vcsn::dyn::detail::cerny_t = typedef auto (const context& ctx, unsigned num_states) -> automaton

Definition at line 68 of file registries.hh.

using vcsn::dyn::detail::coaccessible_t = typedef auto (const automaton& aut) -> automaton

Definition at line 72 of file registries.hh.

using vcsn::dyn::detail::codeterminize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton

Definition at line 76 of file registries.hh.

using vcsn::dyn::detail::cominimize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton

Definition at line 80 of file registries.hh.

using vcsn::dyn::detail::complement_expansion_t = typedef auto (const expansion& xpn) -> expansion

Definition at line 88 of file registries.hh.

Definition at line 92 of file registries.hh.

using vcsn::dyn::detail::complement_t = typedef auto (const automaton& aut) -> automaton

Definition at line 84 of file registries.hh.

using vcsn::dyn::detail::complete_t = typedef auto (const automaton& aut) -> automaton

Definition at line 96 of file registries.hh.

using vcsn::dyn::detail::component_t = typedef auto (const automaton& aut, unsigned num) -> automaton

Definition at line 100 of file registries.hh.

using vcsn::dyn::detail::compose_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion

Definition at line 108 of file registries.hh.

using vcsn::dyn::detail::compose_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 112 of file registries.hh.

using vcsn::dyn::detail::compose_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial

Definition at line 116 of file registries.hh.

using vcsn::dyn::detail::compose_t = typedef auto (const automaton& lhs, const automaton& rhs, bool lazy) -> automaton

Definition at line 104 of file registries.hh.

using vcsn::dyn::detail::concatenate_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 120 of file registries.hh.

using vcsn::dyn::detail::condense_t = typedef auto (const automaton& aut) -> automaton

Definition at line 124 of file registries.hh.

using vcsn::dyn::detail::conjugate_t = typedef auto (const automaton& a) -> automaton

Definition at line 128 of file registries.hh.

using vcsn::dyn::detail::conjunction_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion

Definition at line 136 of file registries.hh.

using vcsn::dyn::detail::conjunction_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 140 of file registries.hh.

using vcsn::dyn::detail::conjunction_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial

Definition at line 144 of file registries.hh.

using vcsn::dyn::detail::conjunction_repeated_t = typedef auto (const automaton& aut, unsigned n) -> automaton

Definition at line 148 of file registries.hh.

using vcsn::dyn::detail::conjunction_t = typedef auto (const std::vector<automaton>& as, bool lazy) -> automaton

Definition at line 132 of file registries.hh.

using vcsn::dyn::detail::constant_term_t = typedef auto (const expression& exp) -> weight

Definition at line 152 of file registries.hh.

using vcsn::dyn::detail::context_of_expansion_t = typedef auto (const expansion& exp) -> context

Definition at line 160 of file registries.hh.

using vcsn::dyn::detail::context_of_expression_t = typedef auto (const expression& exp) -> context

Definition at line 164 of file registries.hh.

using vcsn::dyn::detail::context_of_polynomial_t = typedef auto (const polynomial& poly) -> context

Definition at line 168 of file registries.hh.

using vcsn::dyn::detail::context_of_t = typedef auto (const automaton& aut) -> context

Definition at line 156 of file registries.hh.

using vcsn::dyn::detail::copy_convert_t = typedef auto (const automaton& aut, const context& ctx) -> automaton

Definition at line 176 of file registries.hh.

using vcsn::dyn::detail::copy_expression_t = typedef auto (const expression& exp, const context& ctx, identities ids) -> expression

Definition at line 180 of file registries.hh.

using vcsn::dyn::detail::copy_t = typedef auto (const automaton& aut) -> automaton

Definition at line 172 of file registries.hh.

using vcsn::dyn::detail::costandard_t = typedef auto (const automaton& aut) -> automaton

Definition at line 184 of file registries.hh.

using vcsn::dyn::detail::cotrie_stream_t = typedef auto (const context& ctx, std::istream& is, const std::string& format) -> automaton

Definition at line 192 of file registries.hh.

using vcsn::dyn::detail::cotrie_t = typedef auto (const polynomial& poly) -> automaton

Definition at line 188 of file registries.hh.

using vcsn::dyn::detail::de_bruijn_t = typedef auto (const dyn::context& ctx, unsigned n) -> automaton

Definition at line 196 of file registries.hh.

using vcsn::dyn::detail::delay_automaton_t = typedef auto (const automaton& aut) -> automaton

Definition at line 200 of file registries.hh.

using vcsn::dyn::detail::derivation_t = typedef auto (const expression& exp, const label& lbl, bool breaking) -> polynomial

Definition at line 204 of file registries.hh.

using vcsn::dyn::detail::derived_term_t = typedef auto (const expression& exp, const std::string& algo) -> automaton

Definition at line 208 of file registries.hh.

using vcsn::dyn::detail::determinize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton

Definition at line 212 of file registries.hh.

using vcsn::dyn::detail::difference_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 220 of file registries.hh.

using vcsn::dyn::detail::difference_t = typedef auto (const automaton& lhs, const automaton& rhs) -> automaton

Definition at line 216 of file registries.hh.

using vcsn::dyn::detail::divkbaseb_t = typedef auto (const context& ctx, unsigned divisor, unsigned base) -> automaton

Definition at line 224 of file registries.hh.

using vcsn::dyn::detail::double_ring_t = typedef auto (const context& ctx, unsigned n, const std::vector<unsigned>& finals) -> automaton

Definition at line 228 of file registries.hh.

using vcsn::dyn::detail::eliminate_state_t = typedef auto (const automaton& aut, int state) -> automaton

Definition at line 232 of file registries.hh.

template<Automaton Aut, typename Type = void>
using vcsn::dyn::detail::enable_if_boolean_t = typedef std::enable_if_t<std::is_same<weight_t_of<Aut>, bool>::value, Type>

Enable if Aut is over Booleans.

Definition at line 298 of file determinize.hh.

template<Automaton Aut, typename Type = void>
using vcsn::dyn::detail::enable_if_not_boolean_t = typedef std::enable_if_t<!std::is_same<weight_t_of<Aut>, bool>::value, Type>

Enable if Aut is not over Booleans.

Definition at line 303 of file determinize.hh.

using vcsn::dyn::detail::eval_polynomial_t = typedef auto (const automaton& aut, const polynomial& poly) -> weight

Definition at line 236 of file registries.hh.

using vcsn::dyn::detail::evaluate_t = typedef auto (const automaton& aut, const label& lbl) -> weight

Definition at line 240 of file registries.hh.

using vcsn::dyn::detail::expand_t = typedef auto (const expression& exp) -> expression

Definition at line 244 of file registries.hh.

using vcsn::dyn::detail::expression_one_t = typedef auto (const context& ctx, identities ids) -> expression

Definition at line 248 of file registries.hh.

using vcsn::dyn::detail::expression_zero_t = typedef auto (const context& ctx, identities ids) -> expression

Definition at line 252 of file registries.hh.

using vcsn::dyn::detail::factor_t = typedef auto (const automaton& aut) -> automaton

Definition at line 256 of file registries.hh.

using vcsn::dyn::detail::filter_t = typedef auto (const automaton& aut, const std::vector<unsigned>& states) -> automaton

Definition at line 260 of file registries.hh.

using vcsn::dyn::detail::focus_t = typedef auto (const automaton& aut, integral_constant) -> automaton

Definition at line 264 of file registries.hh.

using vcsn::dyn::detail::has_bounded_lag_t = typedef auto (const automaton& aut) -> bool

Definition at line 268 of file registries.hh.

using vcsn::dyn::detail::has_lightening_cycle_t = typedef auto (const automaton& aut) -> bool

Definition at line 272 of file registries.hh.

using vcsn::dyn::detail::has_twins_property_t = typedef auto (const automaton& aut) -> bool

Definition at line 276 of file registries.hh.

using vcsn::dyn::detail::identities_of_t = typedef auto (const expression& exp) -> identities

Definition at line 280 of file registries.hh.

using vcsn::dyn::detail::inductive_t = typedef auto (const expression& exp, const std::string& algo) -> automaton

Definition at line 284 of file registries.hh.

using vcsn::dyn::detail::infiltrate_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 292 of file registries.hh.

using vcsn::dyn::detail::infiltrate_t = typedef auto (const std::vector<automaton>& as) -> automaton

Definition at line 288 of file registries.hh.

using vcsn::dyn::detail::info_expression_t = typedef auto (const expression& exp, std::ostream& o) -> std::ostream&

Definition at line 300 of file registries.hh.

using vcsn::dyn::detail::info_t = typedef auto (const automaton& aut, std::ostream& out, unsigned details) -> std::ostream&

Definition at line 296 of file registries.hh.

using vcsn::dyn::detail::insplit_t = typedef auto (const automaton& aut, bool lazy) -> automaton

Definition at line 304 of file registries.hh.

using vcsn::dyn::detail::is_accessible_t = typedef auto (const automaton& aut) -> bool

Definition at line 308 of file registries.hh.

using vcsn::dyn::detail::is_ambiguous_t = typedef auto (const automaton& aut) -> bool

Definition at line 312 of file registries.hh.

using vcsn::dyn::detail::is_coaccessible_t = typedef auto (const automaton& aut) -> bool

Definition at line 316 of file registries.hh.

using vcsn::dyn::detail::is_codeterministic_t = typedef auto (const automaton& aut) -> bool

Definition at line 320 of file registries.hh.

using vcsn::dyn::detail::is_complete_t = typedef auto (const automaton& aut) -> bool

Definition at line 324 of file registries.hh.

using vcsn::dyn::detail::is_costandard_t = typedef auto (const automaton& aut) -> bool

Definition at line 328 of file registries.hh.

using vcsn::dyn::detail::is_cycle_ambiguous_t = typedef auto (const automaton& aut) -> bool

Definition at line 332 of file registries.hh.

using vcsn::dyn::detail::is_deterministic_t = typedef auto (const automaton& aut) -> bool

Definition at line 336 of file registries.hh.

using vcsn::dyn::detail::is_empty_t = typedef auto (const automaton& aut) -> bool

Definition at line 340 of file registries.hh.

using vcsn::dyn::detail::is_eps_acyclic_t = typedef auto (const automaton& aut) -> bool

Definition at line 344 of file registries.hh.

using vcsn::dyn::detail::is_functional_t = typedef auto (const automaton& aut) -> bool

Definition at line 348 of file registries.hh.

using vcsn::dyn::detail::is_letterized_t = typedef auto (const automaton& aut) -> bool

Definition at line 352 of file registries.hh.

using vcsn::dyn::detail::is_normalized_t = typedef auto (const automaton& aut) -> bool

Definition at line 356 of file registries.hh.

using vcsn::dyn::detail::is_out_sorted_t = typedef auto (const automaton& aut) -> bool

Definition at line 360 of file registries.hh.

using vcsn::dyn::detail::is_partial_identity_t = typedef auto (const automaton& aut) -> bool

Definition at line 364 of file registries.hh.

using vcsn::dyn::detail::is_proper_t = typedef auto (const automaton& aut) -> bool

Definition at line 368 of file registries.hh.

using vcsn::dyn::detail::is_realtime_t = typedef auto (const automaton& aut) -> bool

Definition at line 372 of file registries.hh.

using vcsn::dyn::detail::is_standard_t = typedef auto (const automaton& aut) -> bool

Definition at line 376 of file registries.hh.

using vcsn::dyn::detail::is_synchronized_by_t = typedef auto (const automaton& aut, const label& word) -> bool

Definition at line 384 of file registries.hh.

using vcsn::dyn::detail::is_synchronized_t = typedef auto (const automaton& aut) -> bool

Definition at line 380 of file registries.hh.

using vcsn::dyn::detail::is_synchronizing_t = typedef auto (const automaton& aut) -> bool

Definition at line 388 of file registries.hh.

using vcsn::dyn::detail::is_trim_t = typedef auto (const automaton& aut) -> bool

Definition at line 392 of file registries.hh.

using vcsn::dyn::detail::is_useless_t = typedef auto (const automaton& aut) -> bool

Definition at line 396 of file registries.hh.

using vcsn::dyn::detail::is_valid_expression_t = typedef auto (const expression& exp) -> bool

Definition at line 404 of file registries.hh.

using vcsn::dyn::detail::is_valid_t = typedef auto (const automaton& aut) -> bool

Definition at line 400 of file registries.hh.

using vcsn::dyn::detail::join_t = typedef auto (const context& c1, const context& c2) -> context

Definition at line 408 of file registries.hh.

using vcsn::dyn::detail::ladybird_t = typedef auto (const dyn::context& ctx, unsigned n) -> automaton

Definition at line 412 of file registries.hh.

using vcsn::dyn::detail::ldivide_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion

Definition at line 420 of file registries.hh.

using vcsn::dyn::detail::ldivide_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 424 of file registries.hh.

using vcsn::dyn::detail::ldivide_label_t = typedef auto (const label& lhs, const label& rhs) -> label

Definition at line 428 of file registries.hh.

using vcsn::dyn::detail::ldivide_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial

Definition at line 432 of file registries.hh.

using vcsn::dyn::detail::ldivide_t = typedef auto (const automaton& aut1, const automaton& aut2) -> automaton

Definition at line 416 of file registries.hh.

using vcsn::dyn::detail::ldivide_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight

Definition at line 436 of file registries.hh.

using vcsn::dyn::detail::less_than_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> bool

Definition at line 440 of file registries.hh.

using vcsn::dyn::detail::letterize_t = typedef auto (const automaton& aut) -> automaton

Definition at line 444 of file registries.hh.

using vcsn::dyn::detail::levenshtein_t = typedef auto (const dyn::context& ctx) -> automaton

Definition at line 448 of file registries.hh.

using vcsn::dyn::detail::lgcd_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial

Definition at line 452 of file registries.hh.

using vcsn::dyn::detail::lift_automaton_t = typedef auto (const automaton& aut, identities ids, integral_constant) -> automaton

Definition at line 456 of file registries.hh.

using vcsn::dyn::detail::lift_expression_t = typedef auto (const expression& exp) -> expression

Definition at line 460 of file registries.hh.

using vcsn::dyn::detail::lightest_automaton_t = typedef auto (const automaton& aut, unsigned k, const std::string& algo) -> automaton

Definition at line 468 of file registries.hh.

using vcsn::dyn::detail::lightest_t = typedef auto (const automaton& aut, unsigned num, const std::string& algo) -> polynomial

Definition at line 464 of file registries.hh.

using vcsn::dyn::detail::list_polynomial_t = typedef auto (const polynomial& polynomial, std::ostream& o) -> std::ostream&

Definition at line 472 of file registries.hh.

using vcsn::dyn::detail::lweight_expansion_t = typedef auto (const weight& weight, const expansion& exp) -> expansion

Definition at line 480 of file registries.hh.

using vcsn::dyn::detail::lweight_expression_t = typedef auto (const weight& weight, const expression& exp) -> expression

Definition at line 484 of file registries.hh.

using vcsn::dyn::detail::lweight_polynomial_t = typedef auto (const weight& weight, const polynomial& poly) -> polynomial

Definition at line 488 of file registries.hh.

using vcsn::dyn::detail::lweight_t = typedef auto (const weight& weight, const automaton& aut, const std::string& algo) -> automaton

Definition at line 476 of file registries.hh.

Definition at line 492 of file registries.hh.

using vcsn::dyn::detail::make_context_t = typedef auto (const std::string& name) -> context

Definition at line 496 of file registries.hh.

using vcsn::dyn::detail::make_word_context_t = typedef auto (const context& ctx) -> context

Definition at line 500 of file registries.hh.

using vcsn::dyn::detail::minimize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton

Definition at line 504 of file registries.hh.

using vcsn::dyn::detail::multiply_expression_repeated_t = typedef auto (const expression& re, int min, int max) -> expression

Definition at line 516 of file registries.hh.

using vcsn::dyn::detail::multiply_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 512 of file registries.hh.

using vcsn::dyn::detail::multiply_label_repeated_t = typedef auto (const label& re, int exp) -> label

Definition at line 524 of file registries.hh.

using vcsn::dyn::detail::multiply_label_t = typedef auto (const label& lhs, const label& rhs) -> label

Definition at line 520 of file registries.hh.

using vcsn::dyn::detail::multiply_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial

Definition at line 528 of file registries.hh.

using vcsn::dyn::detail::multiply_repeated_t = typedef auto (const automaton& a, int min, int max, const std::string& algo) -> automaton

Definition at line 532 of file registries.hh.

using vcsn::dyn::detail::multiply_t = typedef auto (const automaton& lhs, const automaton& rhs, const std::string& algo) -> automaton

Definition at line 508 of file registries.hh.

using vcsn::dyn::detail::multiply_weight_repeated_t = typedef auto (const weight& wgt, int min, int max) -> weight

Definition at line 540 of file registries.hh.

using vcsn::dyn::detail::multiply_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight

Definition at line 536 of file registries.hh.

using vcsn::dyn::detail::normalize_t = typedef auto (const automaton& aut) -> automaton

Definition at line 544 of file registries.hh.

using vcsn::dyn::detail::num_components_t = typedef auto (const automaton& aut) -> std::size_t

Definition at line 548 of file registries.hh.

using vcsn::dyn::detail::num_tapes_t = typedef auto (const context& ctx) -> size_t

Definition at line 552 of file registries.hh.

using vcsn::dyn::detail::pair_t = typedef auto (const automaton& aut, bool keep_initials) -> automaton

Definition at line 556 of file registries.hh.

Definition at line 564 of file registries.hh.

using vcsn::dyn::detail::partial_identity_t = typedef auto (const automaton& aut) -> automaton

Definition at line 560 of file registries.hh.

using vcsn::dyn::detail::prefix_t = typedef auto (const automaton& aut) -> automaton

Definition at line 568 of file registries.hh.

using vcsn::dyn::detail::print_context_t = typedef auto (const context& ctx, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 576 of file registries.hh.

using vcsn::dyn::detail::print_expansion_t = typedef auto (const expansion& expansion, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 580 of file registries.hh.

using vcsn::dyn::detail::print_expression_t = typedef auto (const expression& exp, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 584 of file registries.hh.

using vcsn::dyn::detail::print_label_t = typedef auto (const label& label, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 588 of file registries.hh.

using vcsn::dyn::detail::print_polynomial_t = typedef auto (const polynomial& polynomial, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 592 of file registries.hh.

using vcsn::dyn::detail::print_t = typedef auto (const automaton& aut, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 572 of file registries.hh.

using vcsn::dyn::detail::print_weight_t = typedef auto (const weight& weight, std::ostream& o, const std::string& fmt) -> std::ostream&

Definition at line 596 of file registries.hh.

Definition at line 604 of file registries.hh.

Definition at line 608 of file registries.hh.

Definition at line 612 of file registries.hh.

using vcsn::dyn::detail::project_label_t = typedef auto (const label& lbl, integral_constant) -> label

Definition at line 616 of file registries.hh.

Definition at line 620 of file registries.hh.

using vcsn::dyn::detail::project_t = typedef auto (const automaton& aut, integral_constant) -> automaton

Definition at line 600 of file registries.hh.

using vcsn::dyn::detail::proper_t = typedef auto (const automaton& aut, direction dir, bool prune, const std::string& algo) -> automaton

Definition at line 624 of file registries.hh.

using vcsn::dyn::detail::push_weights_t = typedef auto (const automaton& aut) -> automaton

Definition at line 628 of file registries.hh.

using vcsn::dyn::detail::quotkbaseb_t = typedef auto (const context& ctx, unsigned divisor, unsigned base) -> automaton

Definition at line 632 of file registries.hh.

using vcsn::dyn::detail::random_automaton_deterministic_t = typedef auto (const context& ctx, unsigned num_states) -> automaton

Definition at line 640 of file registries.hh.

using vcsn::dyn::detail::random_automaton_t = typedef auto (const context& ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, boost::optional<unsigned> max_labels, float loop_chance, const std::string& weights) -> automaton

Definition at line 636 of file registries.hh.

using vcsn::dyn::detail::random_expression_t = typedef auto (const context& ctx, const std::string& param, identities ids) -> expression

Definition at line 644 of file registries.hh.

using vcsn::dyn::detail::random_weight_t = typedef auto (const context& ctx, const std::string& param) -> weight

Definition at line 648 of file registries.hh.

using vcsn::dyn::detail::rdivide_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 656 of file registries.hh.

using vcsn::dyn::detail::rdivide_label_t = typedef auto (const label& lhs, const label& rhs) -> label

Definition at line 660 of file registries.hh.

using vcsn::dyn::detail::rdivide_t = typedef auto (const automaton& aut1, const automaton& aut2) -> automaton

Definition at line 652 of file registries.hh.

using vcsn::dyn::detail::rdivide_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight

Definition at line 664 of file registries.hh.

using vcsn::dyn::detail::read_label_t = typedef auto (const context& ctx, std::istream& is, bool quoted) -> label

Definition at line 668 of file registries.hh.

using vcsn::dyn::detail::read_polynomial_t = typedef auto (const context& ctx, std::istream& is) -> polynomial

Definition at line 672 of file registries.hh.

using vcsn::dyn::detail::read_weight_t = typedef auto (const context& ctx, std::istream& is) -> weight

Definition at line 676 of file registries.hh.

using vcsn::dyn::detail::realtime_t = typedef auto (const automaton& aut) -> automaton

Definition at line 680 of file registries.hh.

using vcsn::dyn::detail::reduce_t = typedef auto (const automaton& aut) -> automaton

Definition at line 684 of file registries.hh.

using vcsn::dyn::detail::rweight_expansion_t = typedef auto (const expansion& exp, const weight& weight) -> expansion

Definition at line 692 of file registries.hh.

using vcsn::dyn::detail::rweight_expression_t = typedef auto (const expression& exp, const weight& weight) -> expression

Definition at line 696 of file registries.hh.

using vcsn::dyn::detail::rweight_polynomial_t = typedef auto (const polynomial& poly, const weight& weight) -> polynomial

Definition at line 700 of file registries.hh.

using vcsn::dyn::detail::rweight_t = typedef auto (const automaton& aut, const weight& weight, const std::string& algo) -> automaton

Definition at line 688 of file registries.hh.

using vcsn::dyn::detail::scc_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton

Definition at line 704 of file registries.hh.

using vcsn::dyn::detail::shortest_t = typedef auto (const automaton& aut, boost::optional<unsigned> num, boost::optional<unsigned> len) -> polynomial

Definition at line 708 of file registries.hh.

using vcsn::dyn::detail::shuffle_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression

Definition at line 716 of file registries.hh.

using vcsn::dyn::detail::shuffle_t = typedef auto (const std::vector<automaton>& as) -> automaton

Definition at line 712 of file registries.hh.

using vcsn::dyn::detail::sort_t = typedef auto (const automaton& aut) -> automaton

Definition at line 720 of file registries.hh.

using vcsn::dyn::detail::split_polynomial_t = typedef auto (const polynomial& poly) -> polynomial

Definition at line 728 of file registries.hh.

using vcsn::dyn::detail::split_t = typedef auto (const expression& exp) -> polynomial

Definition at line 724 of file registries.hh.

using vcsn::dyn::detail::standard_expression_t = typedef auto (const expression& exp) -> automaton

Definition at line 736 of file registries.hh.

using vcsn::dyn::detail::standard_t = typedef auto (const automaton& aut) -> automaton

Definition at line 732 of file registries.hh.

using vcsn::dyn::detail::star_height_t = typedef auto (const expression& exp) -> unsigned

Definition at line 744 of file registries.hh.

using vcsn::dyn::detail::star_normal_form_t = typedef auto (const expression& exp) -> expression

Definition at line 748 of file registries.hh.

using vcsn::dyn::detail::star_t = typedef auto (const automaton& a, const std::string& algo) -> automaton

Definition at line 740 of file registries.hh.

using vcsn::dyn::detail::strip_t = typedef auto (const automaton& aut) -> automaton

Definition at line 752 of file registries.hh.

using vcsn::dyn::detail::subword_t = typedef auto (const automaton& aut) -> automaton

Definition at line 756 of file registries.hh.

using vcsn::dyn::detail::suffix_t = typedef auto (const automaton& aut) -> automaton

Definition at line 760 of file registries.hh.

using vcsn::dyn::detail::synchronize_t = typedef auto (const automaton& aut) -> automaton

Definition at line 764 of file registries.hh.

using vcsn::dyn::detail::synchronizing_word_t = typedef auto (const automaton& aut, const std::string& algo) -> label

Definition at line 768 of file registries.hh.

using vcsn::dyn::detail::thompson_t = typedef auto (const expression& exp) -> automaton

Definition at line 772 of file registries.hh.

using vcsn::dyn::detail::to_expansion_t = typedef auto (const expression& exp) -> expansion

Definition at line 776 of file registries.hh.

using vcsn::dyn::detail::to_expression_class_t = typedef auto (const context& ctx, identities ids, const letter_class_t& letters, bool accept) -> expression

Definition at line 784 of file registries.hh.

using vcsn::dyn::detail::to_expression_label_t = typedef auto (const context& ctx, identities ids, const label& lbl) -> expression

Definition at line 788 of file registries.hh.

using vcsn::dyn::detail::to_expression_t = typedef auto (const automaton& aut, identities ids, const std::string& algo) -> expression

Definition at line 780 of file registries.hh.

using vcsn::dyn::detail::transpose_expression_t = typedef auto (const expression& exp) -> expression

Definition at line 796 of file registries.hh.

using vcsn::dyn::detail::transpose_t = typedef auto (automaton& aut) -> automaton

Definition at line 792 of file registries.hh.

Definition at line 800 of file registries.hh.

using vcsn::dyn::detail::trie_stream_t = typedef auto (const context& ctx, std::istream& is, const std::string& format) -> automaton

Definition at line 808 of file registries.hh.

using vcsn::dyn::detail::trie_t = typedef auto (const polynomial& poly) -> automaton

Definition at line 804 of file registries.hh.

using vcsn::dyn::detail::trim_t = typedef auto (const automaton& aut) -> automaton

Definition at line 812 of file registries.hh.

using vcsn::dyn::detail::tuple_context_t = typedef auto (const std::vector<context>& cs) -> context

Definition at line 820 of file registries.hh.

using vcsn::dyn::detail::tuple_expansion_t = typedef auto (const std::vector<expansion>& es) -> expansion

Definition at line 824 of file registries.hh.

using vcsn::dyn::detail::tuple_expression_t = typedef auto (const std::vector<expression>& es) -> expression

Definition at line 828 of file registries.hh.

using vcsn::dyn::detail::tuple_polynomial_t = typedef auto (const std::vector<polynomial>& ps) -> polynomial

Definition at line 832 of file registries.hh.

using vcsn::dyn::detail::tuple_t = typedef auto (const std::vector<automaton>& as) -> automaton

Definition at line 816 of file registries.hh.

using vcsn::dyn::detail::u_t = typedef auto (const context& ctx, unsigned n) -> automaton

Definition at line 836 of file registries.hh.

using vcsn::dyn::detail::universal_t = typedef auto (const automaton& aut) -> automaton

Definition at line 840 of file registries.hh.

using vcsn::dyn::detail::weight_one_t = typedef auto (const context& ctx) -> weight

Definition at line 844 of file registries.hh.

using vcsn::dyn::detail::weight_series_t = typedef auto (const automaton& aut) -> weight

Definition at line 848 of file registries.hh.

using vcsn::dyn::detail::weight_zero_t = typedef auto (const context& ctx) -> weight

Definition at line 852 of file registries.hh.

using vcsn::dyn::detail::zpc_t = typedef auto (const expression& exp, const std::string& algo) -> automaton

Definition at line 856 of file registries.hh.

Function Documentation

template<Automaton Aut>
automaton vcsn::dyn::detail::accessible ( const automaton &  aut)

Bridge.

Definition at line 206 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::accessible_register ( const signature &  sig,
accessible_t  fn 
)

Definition at line 13 of file algos.cc.

static Registry< accessible_t>& vcsn::dyn::detail::accessible_registry ( )
static

Definition at line 13 of file algos.cc.

Referenced by vcsn::dyn::accessible().

template<Automaton Lhs, Automaton Rhs, typename String >
automaton vcsn::dyn::detail::add ( const automaton &  lhs,
const automaton &  rhs,
const std::string &  algo 
)

Bridge.

Definition at line 124 of file add.hh.

References vcsn::add(), vcsn::dyn::automaton::as(), and vcsn::detail::dispatch_tags().

Here is the call graph for this function:

template<typename ExpansionSetLhs , typename ExpansionSetRhs >
expansion vcsn::dyn::detail::add_expansion ( const expansion &  lhs,
const expansion &  rhs 
)

Bridge (add).

Definition at line 165 of file add.hh.

References vcsn::add().

Here is the call graph for this function:

bool vcsn::dyn::detail::add_expansion_register ( const signature &  sig,
add_expansion_t  fn 
)

Definition at line 31 of file algos.cc.

static Registry< add_expansion_t>& vcsn::dyn::detail::add_expansion_registry ( )
static

Definition at line 31 of file algos.cc.

Referenced by vcsn::dyn::add().

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::add_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (add).

Definition at line 186 of file add.hh.

References vcsn::add().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::add_expression_register ( const signature &  sig,
add_expression_t  fn 
)

Definition at line 40 of file algos.cc.

static Registry< add_expression_t>& vcsn::dyn::detail::add_expression_registry ( )
static

Definition at line 40 of file algos.cc.

template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::add_polynomial ( const polynomial &  lhs,
const polynomial &  rhs 
)

Bridge (add).

Definition at line 208 of file add.hh.

References vcsn::dyn::add().

Here is the call graph for this function:

bool vcsn::dyn::detail::add_polynomial_register ( const signature &  sig,
add_polynomial_t  fn 
)

Definition at line 49 of file algos.cc.

static Registry< add_polynomial_t>& vcsn::dyn::detail::add_polynomial_registry ( )
static

Definition at line 49 of file algos.cc.

bool vcsn::dyn::detail::add_register ( const signature &  sig,
add_t  fn 
)

Definition at line 22 of file algos.cc.

static Registry< add_t>& vcsn::dyn::detail::add_registry ( )
static

Definition at line 22 of file algos.cc.

Referenced by vcsn::dyn::add().

template<typename WeightSetLhs , typename WeightSetRhs >
weight vcsn::dyn::detail::add_weight ( const weight &  lhs,
const weight &  rhs 
)

Bridge (add).

Definition at line 230 of file add.hh.

References vcsn::dyn::add().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::add_weight_register ( const signature &  sig,
add_weight_t  fn 
)

Definition at line 58 of file algos.cc.

static Registry< add_weight_t>& vcsn::dyn::detail::add_weight_registry ( )
static

Definition at line 58 of file algos.cc.

template<Automaton Aut>
label vcsn::dyn::detail::ambiguous_word ( const automaton &  aut)

Bridge.

Definition at line 124 of file is-ambiguous.hh.

References vcsn::ambiguous_word(), vcsn::dyn::automaton::as(), and vcsn::detail::make_wordset().

Here is the call graph for this function:

bool vcsn::dyn::detail::ambiguous_word_register ( const signature &  sig,
ambiguous_word_t  fn 
)

Definition at line 67 of file algos.cc.

static Registry< ambiguous_word_t>& vcsn::dyn::detail::ambiguous_word_registry ( )
static

Definition at line 67 of file algos.cc.

Referenced by vcsn::dyn::ambiguous_word().

template<Automaton Aut1, Automaton Aut2>
bool vcsn::dyn::detail::are_equivalent ( const automaton &  aut1,
const automaton &  aut2 
)

Bridge.

Definition at line 66 of file are-equivalent.hh.

References vcsn::are_equivalent(), and vcsn::dyn::automaton::as().

Here is the call graph for this function:

template<typename ExpSet1 , typename ExpSet2 >
bool vcsn::dyn::detail::are_equivalent_expression ( const expression &  r1,
const expression &  r2 
)

Bridge (are_equivalent).

Definition at line 104 of file are-equivalent.hh.

References vcsn::are_equivalent().

Here is the call graph for this function:

bool vcsn::dyn::detail::are_equivalent_expression_register ( const signature &  sig,
are_equivalent_expression_t  fn 
)

Definition at line 85 of file algos.cc.

static Registry< are_equivalent_expression_t>& vcsn::dyn::detail::are_equivalent_expression_registry ( )
static

Definition at line 85 of file algos.cc.

Referenced by vcsn::dyn::are_equivalent().

bool vcsn::dyn::detail::are_equivalent_register ( const signature &  sig,
are_equivalent_t  fn 
)

Definition at line 76 of file algos.cc.

static Registry< are_equivalent_t>& vcsn::dyn::detail::are_equivalent_registry ( )
static

Definition at line 76 of file algos.cc.

Referenced by vcsn::dyn::are_equivalent().

template<Automaton Aut1, Automaton Aut2>
bool vcsn::dyn::detail::are_isomorphic ( const automaton &  aut1,
const automaton &  aut2 
)

Bridge.

Definition at line 709 of file are-isomorphic.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::are_isomorphic_register ( const signature &  sig,
are_isomorphic_t  fn 
)

Definition at line 94 of file algos.cc.

static Registry< are_isomorphic_t>& vcsn::dyn::detail::are_isomorphic_registry ( )
static

Definition at line 94 of file algos.cc.

Referenced by vcsn::dyn::are_isomorphic().

template<typename Ctx , typename >
automaton vcsn::dyn::detail::cerny ( const context &  ctx,
unsigned  num_states 
)

Bridge.

Definition at line 64 of file cerny.hh.

References vcsn::dyn::context::as(), and vcsn::cerny().

Here is the call graph for this function:

bool vcsn::dyn::detail::cerny_register ( const signature &  sig,
cerny_t  fn 
)

Definition at line 103 of file algos.cc.

static Registry< cerny_t>& vcsn::dyn::detail::cerny_registry ( )
static

Definition at line 103 of file algos.cc.

Referenced by vcsn::dyn::cerny().

template<Automaton Aut>
automaton vcsn::dyn::detail::coaccessible ( const automaton &  aut)

Bridge.

Definition at line 215 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::coaccessible_register ( const signature &  sig,
coaccessible_t  fn 
)

Definition at line 112 of file algos.cc.

static Registry< coaccessible_t>& vcsn::dyn::detail::coaccessible_registry ( )
static

Definition at line 112 of file algos.cc.

Referenced by vcsn::dyn::coaccessible().

template<Automaton Aut, typename String >
automaton vcsn::dyn::detail::codeterminize ( const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 430 of file determinize.hh.

Referenced by codeterminize_tag_().

template<Automaton Aut, typename String >
enable_if_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ ( const automaton &  aut,
const std::string &  algo 
)

Boolean Bridge.

Definition at line 394 of file determinize.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::map().

Here is the call graph for this function:

template<Automaton Aut, typename String >
enable_if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ ( const automaton &  aut,
const std::string &  algo 
)

Weighted Bridge.

Definition at line 411 of file determinize.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::map().

Here is the call graph for this function:

bool vcsn::dyn::detail::codeterminize_register ( const signature &  sig,
codeterminize_t  fn 
)

Definition at line 121 of file algos.cc.

static Registry< codeterminize_t>& vcsn::dyn::detail::codeterminize_registry ( )
static

Definition at line 121 of file algos.cc.

Referenced by vcsn::dyn::codeterminize().

template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::codeterminize_tag_ ( const Aut &  aut)

Definition at line 386 of file determinize.hh.

References codeterminize().

Here is the call graph for this function:

template<Automaton Aut, typename String >
automaton vcsn::dyn::detail::cominimize ( const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 196 of file minimize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::cominimize_register ( const signature &  sig,
cominimize_t  fn 
)

Definition at line 130 of file algos.cc.

static Registry< cominimize_t>& vcsn::dyn::detail::cominimize_registry ( )
static

Definition at line 130 of file algos.cc.

Referenced by vcsn::dyn::cominimize().

template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::cominimize_tag_ ( const Aut &  aut)

Helper function to facilitate dispatch below.

Definition at line 188 of file minimize.hh.

References minimize(), and transpose().

Here is the call graph for this function:

template<Automaton Aut>
automaton vcsn::dyn::detail::complement ( const automaton &  aut)

Bridge.

Definition at line 63 of file complement.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

template<typename ExpansionSet >
expansion vcsn::dyn::detail::complement_expansion ( const expansion &  xpn)

Bridge (complement).

Definition at line 82 of file complement.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::complement_expansion_register ( const signature &  sig,
complement_expansion_t  fn 
)

Definition at line 148 of file algos.cc.

static Registry< complement_expansion_t>& vcsn::dyn::detail::complement_expansion_registry ( )
static

Definition at line 148 of file algos.cc.

Referenced by vcsn::dyn::complement().

template<typename ExpSet >
expression vcsn::dyn::detail::complement_expression ( const expression &  exp)

Bridge (complement).

Definition at line 102 of file complement.hh.

Referenced by vcsn::ctx::detail::register_expression_functions().

bool vcsn::dyn::detail::complement_expression_register ( const signature &  sig,
complement_expression_t  fn 
)

Definition at line 157 of file algos.cc.

static Registry< complement_expression_t>& vcsn::dyn::detail::complement_expression_registry ( )
static

Definition at line 157 of file algos.cc.

bool vcsn::dyn::detail::complement_register ( const signature &  sig,
complement_t  fn 
)

Definition at line 139 of file algos.cc.

static Registry< complement_t>& vcsn::dyn::detail::complement_registry ( )
static

Definition at line 139 of file algos.cc.

Referenced by vcsn::dyn::complement().

template<Automaton Aut>
automaton vcsn::dyn::detail::complete ( const automaton &  aut)

Bridge.

Definition at line 80 of file complete.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::complete_register ( const signature &  sig,
complete_t  fn 
)

Definition at line 166 of file algos.cc.

static Registry< complete_t>& vcsn::dyn::detail::complete_registry ( )
static

Definition at line 166 of file algos.cc.

Referenced by vcsn::dyn::complete().

template<Automaton Aut, typename Unsigned >
automaton vcsn::dyn::detail::component ( const automaton &  aut,
unsigned  num 
)

Bridge.

Definition at line 771 of file scc.hh.

bool vcsn::dyn::detail::component_register ( const signature &  sig,
component_t  fn 
)

Definition at line 175 of file algos.cc.

static Registry< component_t>& vcsn::dyn::detail::component_registry ( )
static

Definition at line 175 of file algos.cc.

Referenced by vcsn::dyn::component().

template<Automaton Lhs, Automaton Rhs, typename Bool >
automaton vcsn::dyn::detail::compose ( const automaton &  lhs,
const automaton &  rhs,
bool  lazy 
)

Bridge.

Definition at line 495 of file compose.hh.

References vcsn::dyn::automaton::as(), and vcsn::compose_lazy().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >
expansion vcsn::dyn::detail::compose_expansion ( const expansion &  lhs,
const expansion &  rhs 
)

Bridge (compose).

Definition at line 33 of file compose-expression.hh.

References vcsn::compose().

Here is the call graph for this function:

bool vcsn::dyn::detail::compose_expansion_register ( const signature &  sig,
compose_expansion_t  fn 
)

Definition at line 193 of file algos.cc.

static Registry< compose_expansion_t>& vcsn::dyn::detail::compose_expansion_registry ( )
static

Definition at line 193 of file algos.cc.

Referenced by vcsn::dyn::compose().

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::compose_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (compose).

Definition at line 55 of file compose-expression.hh.

References vcsn::compose().

Here is the call graph for this function:

bool vcsn::dyn::detail::compose_expression_register ( const signature &  sig,
compose_expression_t  fn 
)

Definition at line 202 of file algos.cc.

static Registry< compose_expression_t>& vcsn::dyn::detail::compose_expression_registry ( )
static

Definition at line 202 of file algos.cc.

template<typename PolSetLhs , typename PolSetRhs >
polynomial vcsn::dyn::detail::compose_polynomial ( const polynomial &  lhs,
const polynomial &  rhs 
)

Bridge (compose).

Definition at line 77 of file compose-expression.hh.

References vcsn::compose().

Here is the call graph for this function:

bool vcsn::dyn::detail::compose_polynomial_register ( const signature &  sig,
compose_polynomial_t  fn 
)

Definition at line 211 of file algos.cc.

static Registry< compose_polynomial_t>& vcsn::dyn::detail::compose_polynomial_registry ( )
static

Definition at line 211 of file algos.cc.

bool vcsn::dyn::detail::compose_register ( const signature &  sig,
compose_t  fn 
)

Definition at line 184 of file algos.cc.

static Registry< compose_t>& vcsn::dyn::detail::compose_registry ( )
static

Definition at line 184 of file algos.cc.

Referenced by vcsn::dyn::compose().

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::concatenate_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (concatenate).

Definition at line 312 of file multiply.hh.

Referenced by vcsn::ctx::detail::register_expression_functions().

bool vcsn::dyn::detail::concatenate_expression_register ( const signature &  sig,
concatenate_expression_t  fn 
)

Definition at line 220 of file algos.cc.

static Registry< concatenate_expression_t>& vcsn::dyn::detail::concatenate_expression_registry ( )
static

Definition at line 220 of file algos.cc.

Referenced by vcsn::dyn::concatenate().

template<Automaton Aut>
automaton vcsn::dyn::detail::condense ( const automaton &  aut)

Bridge.

Definition at line 832 of file scc.hh.

bool vcsn::dyn::detail::condense_register ( const signature &  sig,
condense_t  fn 
)

Definition at line 229 of file algos.cc.

static Registry< condense_t>& vcsn::dyn::detail::condense_registry ( )
static

Definition at line 229 of file algos.cc.

Referenced by vcsn::dyn::condense().

template<Automaton Aut>
automaton vcsn::dyn::detail::conjugate ( const automaton &  a)

Bridge.

Definition at line 59 of file conjugate.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::conjugate_register ( const signature &  sig,
conjugate_t  fn 
)

Definition at line 238 of file algos.cc.

static Registry< conjugate_t>& vcsn::dyn::detail::conjugate_registry ( )
static

Definition at line 238 of file algos.cc.

Referenced by vcsn::dyn::conjugate().

template<typename Auts , typename Bool >
automaton vcsn::dyn::detail::conjunction ( const std::vector< automaton > &  as,
bool  lazy 
)

Bridge (conjunction).

Definition at line 664 of file conjunction.hh.

template<typename Auts , size_t... I>
automaton vcsn::dyn::detail::conjunction_ ( const std::vector< automaton > &  as,
bool  lazy,
vcsn::detail::index_sequence< I...>   
)

Bridge helper.

Definition at line 652 of file conjunction.hh.

References vcsn::detail::conjunction(), and vcsn::detail::conjunction_lazy().

Referenced by vcsn::rat::expansionset< expressionset_t >::conjunction(), vcsn::rat::printer< ExpSet >::format(), and vcsn::rat::expansionset< expressionset_t >::infiltrate().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >
expansion vcsn::dyn::detail::conjunction_expansion ( const expansion &  lhs,
const expansion &  rhs 
)

Bridge (conjunction).

Definition at line 1067 of file conjunction.hh.

References vcsn::conjunction().

Here is the call graph for this function:

bool vcsn::dyn::detail::conjunction_expansion_register ( const signature &  sig,
conjunction_expansion_t  fn 
)

Definition at line 256 of file algos.cc.

static Registry< conjunction_expansion_t>& vcsn::dyn::detail::conjunction_expansion_registry ( )
static

Definition at line 256 of file algos.cc.

Referenced by vcsn::dyn::conjunction().

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::conjunction_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (conjunction).

Definition at line 1045 of file conjunction.hh.

References vcsn::conjunction().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::conjunction_expression_register ( const signature &  sig,
conjunction_expression_t  fn 
)

Definition at line 265 of file algos.cc.

static Registry< conjunction_expression_t>& vcsn::dyn::detail::conjunction_expression_registry ( )
static

Definition at line 265 of file algos.cc.

template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::conjunction_polynomial ( const polynomial &  lhs,
const polynomial &  rhs 
)

Bridge (conjunction).

Definition at line 1089 of file conjunction.hh.

References vcsn::conjunction().

Here is the call graph for this function:

bool vcsn::dyn::detail::conjunction_polynomial_register ( const signature &  sig,
conjunction_polynomial_t  fn 
)

Definition at line 274 of file algos.cc.

static Registry< conjunction_polynomial_t>& vcsn::dyn::detail::conjunction_polynomial_registry ( )
static

Definition at line 274 of file algos.cc.

bool vcsn::dyn::detail::conjunction_register ( const signature &  sig,
conjunction_t  fn 
)

Definition at line 247 of file algos.cc.

static Registry< conjunction_t>& vcsn::dyn::detail::conjunction_registry ( )
static

Definition at line 247 of file algos.cc.

Referenced by vcsn::dyn::conjunction().

template<Automaton Aut, typename Unsigned >
automaton vcsn::dyn::detail::conjunction_repeated ( const automaton &  aut,
unsigned  n 
)

Bridge (conjunction).

Definition at line 1012 of file conjunction.hh.

References vcsn::dyn::automaton::as(), and vcsn::conjunction().

Referenced by vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

bool vcsn::dyn::detail::conjunction_repeated_register ( const signature &  sig,
conjunction_repeated_t  fn 
)

Definition at line 283 of file algos.cc.

static Registry< conjunction_repeated_t>& vcsn::dyn::detail::conjunction_repeated_registry ( )
static

Definition at line 283 of file algos.cc.

Referenced by vcsn::dyn::conjunction().

template<typename ExpSet >
weight vcsn::dyn::detail::constant_term ( const expression &  exp)

Bridge.

Definition at line 216 of file constant-term.hh.

References vcsn::dyn::value_impl< Tag >::as().

Referenced by vcsn::rat::constant_term_visitor< ExpSet >::visit_tuple< bool, Dummy >::work_().

Here is the call graph for this function:

bool vcsn::dyn::detail::constant_term_register ( const signature &  sig,
constant_term_t  fn 
)

Definition at line 292 of file algos.cc.

static Registry< constant_term_t>& vcsn::dyn::detail::constant_term_registry ( )
static

Definition at line 292 of file algos.cc.

Referenced by vcsn::dyn::constant_term().

template<Automaton Aut>
context vcsn::dyn::detail::context_of ( const automaton &  aut)

Bridge.

Definition at line 63 of file make-context.hh.

References vcsn::dyn::automaton::as().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename ExpansionSet >
context vcsn::dyn::detail::context_of_expansion ( const expansion &  exp)

Bridge (context_of).

Definition at line 81 of file make-context.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::context_of_expansion_register ( const signature &  sig,
context_of_expansion_t  fn 
)

Definition at line 310 of file algos.cc.

static Registry< context_of_expansion_t>& vcsn::dyn::detail::context_of_expansion_registry ( )
static

Definition at line 310 of file algos.cc.

Referenced by vcsn::dyn::context_of().

template<typename ExpSet >
context vcsn::dyn::detail::context_of_expression ( const expression &  exp)

Bridge (context_of).

Definition at line 72 of file make-context.hh.

References vcsn::dyn::context::as().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::context_of_expression_register ( const signature &  sig,
context_of_expression_t  fn 
)

Definition at line 319 of file algos.cc.

static Registry< context_of_expression_t>& vcsn::dyn::detail::context_of_expression_registry ( )
static

Definition at line 319 of file algos.cc.

template<typename PolynomialSet >
context vcsn::dyn::detail::context_of_polynomial ( const polynomial &  poly)

Bridge (context_of).

Definition at line 90 of file make-context.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::context_of_polynomial_register ( const signature &  sig,
context_of_polynomial_t  fn 
)

Definition at line 328 of file algos.cc.

static Registry< context_of_polynomial_t>& vcsn::dyn::detail::context_of_polynomial_registry ( )
static

Definition at line 328 of file algos.cc.

bool vcsn::dyn::detail::context_of_register ( const signature &  sig,
context_of_t  fn 
)

Definition at line 301 of file algos.cc.

static Registry< context_of_t>& vcsn::dyn::detail::context_of_registry ( )
static

Definition at line 301 of file algos.cc.

Referenced by vcsn::dyn::context_of().

template<Automaton Aut>
automaton vcsn::dyn::detail::copy ( const automaton &  aut)

Bridge.

Definition at line 435 of file copy.hh.

References vcsn::dyn::automaton::as(), and vcsn::rat::copy().

Here is the call graph for this function:

template<Automaton Aut, typename Ctx >
automaton vcsn::dyn::detail::copy_convert ( const automaton &  aut,
const context &  ctx 
)

Bridge (copy).

Definition at line 423 of file copy.hh.

References vcsn::dyn::context::as(), vcsn::dyn::automaton::as(), vcsn::copy_into(), vcsn::make_mutable_automaton(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::copy_convert_register ( const signature &  sig,
copy_convert_t  fn 
)

Definition at line 346 of file algos.cc.

static Registry< copy_convert_t>& vcsn::dyn::detail::copy_convert_registry ( )
static

Definition at line 346 of file algos.cc.

Referenced by vcsn::dyn::copy().

template<typename ExpSet , typename Context , typename Identities >
expression vcsn::dyn::detail::copy_expression ( const expression &  exp,
const context &  ctx,
identities  ids 
)

Bridge (copy).

Definition at line 454 of file copy.hh.

References vcsn::dyn::context::as(), vcsn::rat::copy(), vcsn::make_expressionset(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::copy_expression_register ( const signature &  sig,
copy_expression_t  fn 
)

Definition at line 355 of file algos.cc.

static Registry< copy_expression_t>& vcsn::dyn::detail::copy_expression_registry ( )
static

Definition at line 355 of file algos.cc.

Referenced by vcsn::dyn::copy().

bool vcsn::dyn::detail::copy_register ( const signature &  sig,
copy_t  fn 
)

Definition at line 337 of file algos.cc.

static Registry< copy_t>& vcsn::dyn::detail::copy_registry ( )
static

Definition at line 337 of file algos.cc.

Referenced by vcsn::dyn::copy().

template<Automaton Aut>
automaton vcsn::dyn::detail::costandard ( const automaton &  aut)

Bridge.

Definition at line 148 of file standard.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::costandard_register ( const signature &  sig,
costandard_t  fn 
)

Definition at line 364 of file algos.cc.

static Registry< costandard_t>& vcsn::dyn::detail::costandard_registry ( )
static

Definition at line 364 of file algos.cc.

Referenced by vcsn::dyn::costandard().

template<typename PolynomialSet >
automaton vcsn::dyn::detail::cotrie ( const polynomial &  poly)

Bridge.

Definition at line 251 of file trie.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::cotrie().

Here is the call graph for this function:

bool vcsn::dyn::detail::cotrie_register ( const signature &  sig,
cotrie_t  fn 
)

Definition at line 373 of file algos.cc.

static Registry< cotrie_t>& vcsn::dyn::detail::cotrie_registry ( )
static

Definition at line 373 of file algos.cc.

Referenced by vcsn::dyn::cotrie().

template<typename Context , typename Istream , typename String >
automaton vcsn::dyn::detail::cotrie_stream ( const context &  ctx,
std::istream &  is,
const std::string &  format 
)

Bridge (cotrie).

Definition at line 313 of file trie.hh.

References vcsn::dyn::context::as(), vcsn::cotrie(), and vcsn::detail::make_word_polynomialset().

Here is the call graph for this function:

bool vcsn::dyn::detail::cotrie_stream_register ( const signature &  sig,
cotrie_stream_t  fn 
)

Definition at line 382 of file algos.cc.

static Registry< cotrie_stream_t>& vcsn::dyn::detail::cotrie_stream_registry ( )
static

Definition at line 382 of file algos.cc.

Referenced by vcsn::dyn::cotrie().

template<typename Ctx , typename Unsigned >
automaton vcsn::dyn::detail::de_bruijn ( const dyn::context &  ctx,
unsigned  n 
)

Bridge.

Definition at line 57 of file de-bruijn.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::de_bruijn_register ( const signature &  sig,
de_bruijn_t  fn 
)

Definition at line 391 of file algos.cc.

static Registry< de_bruijn_t>& vcsn::dyn::detail::de_bruijn_registry ( )
static

Definition at line 391 of file algos.cc.

Referenced by vcsn::dyn::de_bruijn().

template<Automaton Aut>
automaton vcsn::dyn::detail::delay_automaton ( const automaton &  aut)

Bridge.

Definition at line 349 of file is-synchronized.hh.

bool vcsn::dyn::detail::delay_automaton_register ( const signature &  sig,
delay_automaton_t  fn 
)

Definition at line 400 of file algos.cc.

static Registry< delay_automaton_t>& vcsn::dyn::detail::delay_automaton_registry ( )
static

Definition at line 400 of file algos.cc.

Referenced by vcsn::dyn::delay_automaton().

template<typename ExpSet , typename Label , typename Bool >
polynomial vcsn::dyn::detail::derivation ( const expression &  exp,
const label &  lbl,
bool  breaking 
)

Bridge.

Definition at line 356 of file derivation.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::derivation_register ( const signature &  sig,
derivation_t  fn 
)

Definition at line 409 of file algos.cc.

static Registry< derivation_t>& vcsn::dyn::detail::derivation_registry ( )
static

Definition at line 409 of file algos.cc.

Referenced by vcsn::dyn::derivation().

template<typename ExpSet , typename String >
automaton vcsn::dyn::detail::derived_term ( const expression &  exp,
const std::string &  algo 
)

Bridge.

Definition at line 372 of file derived-term.hh.

References vcsn::detail::derived_term_algo::expansion, vcsn::make_derived_term_automaton(), vcsn::require(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::derived_term_register ( const signature &  sig,
derived_term_t  fn 
)

Definition at line 418 of file algos.cc.

static Registry< derived_term_t>& vcsn::dyn::detail::derived_term_registry ( )
static

Definition at line 418 of file algos.cc.

Referenced by vcsn::dyn::derived_term().

template<Automaton Aut, typename String >
automaton vcsn::dyn::detail::determinize ( const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 357 of file determinize.hh.

Referenced by determinize_tag_().

template<Automaton Aut, typename String >
enable_if_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ ( const automaton &  aut,
const std::string &  algo 
)

Boolean Bridge.

Definition at line 315 of file determinize.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::map().

Here is the call graph for this function:

template<Automaton Aut, typename String >
enable_if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ ( const automaton &  aut,
const std::string &  algo 
)

Weighted Bridge.

Definition at line 335 of file determinize.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::map().

Here is the call graph for this function:

bool vcsn::dyn::detail::determinize_register ( const signature &  sig,
determinize_t  fn 
)

Definition at line 427 of file algos.cc.

static Registry< determinize_t>& vcsn::dyn::detail::determinize_registry ( )
static

Definition at line 427 of file algos.cc.

Referenced by vcsn::dyn::determinize().

template<Automaton Aut, typename Tag , bool Lazy = false>
automaton vcsn::dyn::detail::determinize_tag_ ( const Aut &  aut)

Helper function to facilitate dispatch below.

Definition at line 307 of file determinize.hh.

References determinize().

Here is the call graph for this function:

template<Automaton Lhs, Automaton Rhs>
automaton vcsn::dyn::detail::difference ( const automaton &  lhs,
const automaton &  rhs 
)

Bridge.

Definition at line 140 of file are-equivalent.hh.

References vcsn::dyn::automaton::as(), and vcsn::difference().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::difference_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (difference).

Definition at line 170 of file are-equivalent.hh.

References vcsn::difference().

Referenced by vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

bool vcsn::dyn::detail::difference_expression_register ( const signature &  sig,
difference_expression_t  fn 
)

Definition at line 445 of file algos.cc.

static Registry< difference_expression_t>& vcsn::dyn::detail::difference_expression_registry ( )
static

Definition at line 445 of file algos.cc.

Referenced by vcsn::dyn::difference().

bool vcsn::dyn::detail::difference_register ( const signature &  sig,
difference_t  fn 
)

Definition at line 436 of file algos.cc.

static Registry< difference_t>& vcsn::dyn::detail::difference_registry ( )
static

Definition at line 436 of file algos.cc.

Referenced by vcsn::dyn::difference().

template<typename Ctx , typename Unsigned1 , typename Unsigned2 >
automaton vcsn::dyn::detail::divkbaseb ( const context &  ctx,
unsigned  divisor,
unsigned  base 
)

Bridge.

Definition at line 69 of file divkbaseb.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::divkbaseb_register ( const signature &  sig,
divkbaseb_t  fn 
)

Definition at line 454 of file algos.cc.

static Registry< divkbaseb_t>& vcsn::dyn::detail::divkbaseb_registry ( )
static

Definition at line 454 of file algos.cc.

Referenced by vcsn::dyn::divkbaseb().

template<typename Ctx , typename , typename >
automaton vcsn::dyn::detail::double_ring ( const context &  ctx,
unsigned  n,
const std::vector< unsigned > &  finals 
)

Bridge.

Definition at line 75 of file double-ring.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::double_ring_register ( const signature &  sig,
double_ring_t  fn 
)

Definition at line 463 of file algos.cc.

static Registry< double_ring_t>& vcsn::dyn::detail::double_ring_registry ( )
static

Definition at line 463 of file algos.cc.

Referenced by vcsn::dyn::double_ring().

template<typename To , typename From >
To vcsn::dyn::detail::dyn_cast ( From &&  from)
inline

A dynamic_cast in debug mode, static_cast with NDEBUG.

Definition at line 14 of file cast.hh.

Referenced by vcsn::dyn::context::as(), vcsn::dyn::automaton::as(), and vcsn::dyn::value_impl< Tag >::as().

template<Automaton Aut, typename Int >
automaton vcsn::dyn::detail::eliminate_state ( const automaton &  aut,
int  state 
)

Bridge.

Definition at line 478 of file to-expression.hh.

References vcsn::dyn::automaton::as(), and vcsn::eliminate_state().

Here is the call graph for this function:

bool vcsn::dyn::detail::eliminate_state_register ( const signature &  sig,
eliminate_state_t  fn 
)

Definition at line 472 of file algos.cc.

static Registry< eliminate_state_t>& vcsn::dyn::detail::eliminate_state_registry ( )
static

Definition at line 472 of file algos.cc.

Referenced by vcsn::dyn::eliminate_state().

template<Automaton Aut, typename PolynomialSet >
weight vcsn::dyn::detail::eval_polynomial ( const automaton &  aut,
const polynomial &  poly 
)

Bridge (evaluate).

Definition at line 241 of file evaluate.hh.

References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::evaluate(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::eval_polynomial_register ( const signature &  sig,
eval_polynomial_t  fn 
)

Definition at line 481 of file algos.cc.

static Registry< eval_polynomial_t>& vcsn::dyn::detail::eval_polynomial_registry ( )
static

Definition at line 481 of file algos.cc.

Referenced by vcsn::dyn::evaluate().

template<Automaton Aut, typename LabelSet >
weight vcsn::dyn::detail::evaluate ( const automaton &  aut,
const label &  lbl 
)

Bridge.

Definition at line 212 of file evaluate.hh.

References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::evaluate(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::evaluate_register ( const signature &  sig,
evaluate_t  fn 
)

Definition at line 490 of file algos.cc.

static Registry< evaluate_t>& vcsn::dyn::detail::evaluate_registry ( )
static

Definition at line 490 of file algos.cc.

template<typename ExpSet >
expression vcsn::dyn::detail::expand ( const expression &  exp)

Bridge.

Definition at line 30 of file expand.hh.

bool vcsn::dyn::detail::expand_register ( const signature &  sig,
expand_t  fn 
)

Definition at line 499 of file algos.cc.

static Registry< expand_t>& vcsn::dyn::detail::expand_registry ( )
static

Definition at line 499 of file algos.cc.

Referenced by vcsn::dyn::expand().

template<typename Context , typename Identities >
expression vcsn::dyn::detail::expression_one ( const context &  ctx,
identities  ids 
)

Bridge.

Definition at line 15 of file constant.hh.

References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::expression_one_register ( const signature &  sig,
expression_one_t  fn 
)

Definition at line 508 of file algos.cc.

static Registry< expression_one_t>& vcsn::dyn::detail::expression_one_registry ( )
static

Definition at line 508 of file algos.cc.

Referenced by vcsn::dyn::expression_one().

template<typename Context , typename Identities >
expression vcsn::dyn::detail::expression_zero ( const context &  ctx,
identities  ids 
)

Bridge.

Definition at line 24 of file constant.hh.

References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::expression_zero_register ( const signature &  sig,
expression_zero_t  fn 
)

Definition at line 517 of file algos.cc.

static Registry< expression_zero_t>& vcsn::dyn::detail::expression_zero_registry ( )
static

Definition at line 517 of file algos.cc.

Referenced by vcsn::dyn::expression_zero().

template<Automaton Aut>
automaton vcsn::dyn::detail::factor ( const automaton &  aut)

Bridge.

Definition at line 121 of file prefix.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::factor_register ( const signature &  sig,
factor_t  fn 
)

Definition at line 526 of file algos.cc.

static Registry< factor_t>& vcsn::dyn::detail::factor_registry ( )
static

Definition at line 526 of file algos.cc.

Referenced by vcsn::dyn::factor().

template<Automaton Aut, typename Unsigneds >
automaton vcsn::dyn::detail::filter ( const automaton &  aut,
const std::vector< unsigned > &  states 
)

Bridge.

Definition at line 322 of file filter.hh.

bool vcsn::dyn::detail::filter_register ( const signature &  sig,
filter_t  fn 
)

Definition at line 535 of file algos.cc.

static Registry< filter_t>& vcsn::dyn::detail::filter_registry ( )
static

Definition at line 535 of file algos.cc.

Referenced by vcsn::dyn::filter().

template<Automaton Aut, typename Tape >
automaton vcsn::dyn::detail::focus ( const automaton &  aut,
integral_constant   
)

Bridge.

Definition at line 340 of file focus.hh.

bool vcsn::dyn::detail::focus_register ( const signature &  sig,
focus_t  fn 
)
template<Automaton Aut>
bool vcsn::dyn::detail::has_bounded_lag ( const automaton &  aut)

Bridge.

Definition at line 162 of file has-bounded-lag.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::has_bounded_lag_register ( const signature &  sig,
has_bounded_lag_t  fn 
)

Definition at line 544 of file algos.cc.

static Registry< has_bounded_lag_t>& vcsn::dyn::detail::has_bounded_lag_registry ( )
static

Definition at line 544 of file algos.cc.

Referenced by vcsn::dyn::has_bounded_lag().

template<Automaton Aut>
bool vcsn::dyn::detail::has_lightening_cycle ( const automaton &  aut)

Bridge.

Definition at line 35 of file has-lightening-cycle.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::has_lightening_cycle_register ( const signature &  sig,
has_lightening_cycle_t  fn 
)

Definition at line 553 of file algos.cc.

static Registry< has_lightening_cycle_t>& vcsn::dyn::detail::has_lightening_cycle_registry ( )
static

Definition at line 553 of file algos.cc.

Referenced by vcsn::dyn::has_lightening_cycle().

template<Automaton Aut>
bool vcsn::dyn::detail::has_twins_property ( const automaton &  aut)

Bridge.

Definition at line 168 of file has-twins-property.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::has_twins_property_register ( const signature &  sig,
has_twins_property_t  fn 
)

Definition at line 562 of file algos.cc.

static Registry< has_twins_property_t>& vcsn::dyn::detail::has_twins_property_registry ( )
static

Definition at line 562 of file algos.cc.

Referenced by vcsn::dyn::has_twins_property().

template<typename ExpSet >
identities vcsn::dyn::detail::identities_of ( const expression &  exp)

Bridge.

Definition at line 20 of file identities-of.hh.

References vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_expression_functions().

bool vcsn::dyn::detail::identities_of_register ( const signature &  sig,
identities_of_t  fn 
)

Definition at line 571 of file algos.cc.

static Registry< identities_of_t>& vcsn::dyn::detail::identities_of_registry ( )
static

Definition at line 571 of file algos.cc.

Referenced by vcsn::dyn::identities_of().

template<typename ExpSet , typename String >
automaton vcsn::dyn::detail::inductive ( const expression &  exp,
const std::string &  algo 
)

Bridge.

Definition at line 326 of file inductive.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::inductive_register ( const signature &  sig,
inductive_t  fn 
)

Definition at line 580 of file algos.cc.

static Registry< inductive_t>& vcsn::dyn::detail::inductive_registry ( )
static

Definition at line 580 of file algos.cc.

Referenced by vcsn::dyn::inductive().

template<typename ExpSet , typename Tag >
automaton vcsn::dyn::detail::inductive_tag_ ( const ExpSet &  rs,
const typename ExpSet::value_t &  r 
)

Helper function to facilitate dispatch below.

Definition at line 316 of file inductive.hh.

References vcsn::detail::rs.

template<typename Auts >
automaton vcsn::dyn::detail::infiltrate ( const std::vector< automaton > &  as)

Bridge (infiltrate).

Definition at line 897 of file conjunction.hh.

template<typename Auts , size_t... I>
automaton vcsn::dyn::detail::infiltrate_ ( const std::vector< automaton > &  as,
vcsn::detail::index_sequence< I...>   
)

Variadic bridge helper.

Definition at line 888 of file conjunction.hh.

References vcsn::infiltrate().

Referenced by vcsn::rat::printer< ExpSet >::format().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::infiltrate_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (infiltrate).

Definition at line 927 of file conjunction.hh.

References vcsn::infiltrate().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::infiltrate_expression_register ( const signature &  sig,
infiltrate_expression_t  fn 
)

Definition at line 598 of file algos.cc.

static Registry< infiltrate_expression_t>& vcsn::dyn::detail::infiltrate_expression_registry ( )
static

Definition at line 598 of file algos.cc.

Referenced by vcsn::dyn::infiltrate().

bool vcsn::dyn::detail::infiltrate_register ( const signature &  sig,
infiltrate_t  fn 
)

Definition at line 589 of file algos.cc.

static Registry< infiltrate_t>& vcsn::dyn::detail::infiltrate_registry ( )
static

Definition at line 589 of file algos.cc.

Referenced by vcsn::dyn::infiltrate().

template<Automaton Aut, typename Ostream , typename Bool >
std::ostream& vcsn::dyn::detail::info ( const automaton &  aut,
std::ostream &  out,
unsigned  details 
)

Bridge.

Definition at line 136 of file info.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::out().

Here is the call graph for this function:

template<typename ExpSet , typename Ostream >
std::ostream& vcsn::dyn::detail::info_expression ( const expression &  exp,
std::ostream &  o 
)

Bridge (info).

Definition at line 195 of file info.hh.

References vcsn::info().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::info_expression_register ( const signature &  sig,
info_expression_t  fn 
)

Definition at line 616 of file algos.cc.

static Registry< info_expression_t>& vcsn::dyn::detail::info_expression_registry ( )
static

Definition at line 616 of file algos.cc.

Referenced by vcsn::dyn::info().

bool vcsn::dyn::detail::info_register ( const signature &  sig,
info_t  fn 
)

Definition at line 607 of file algos.cc.

static Registry< info_t>& vcsn::dyn::detail::info_registry ( )
static

Definition at line 607 of file algos.cc.

Referenced by vcsn::dyn::info().

template<Automaton Aut, typename Bool >
automaton vcsn::dyn::detail::insplit ( const automaton &  aut,
bool  lazy 
)

Bridge.

Definition at line 303 of file insplit.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::insplit_register ( const signature &  sig,
insplit_t  fn 
)

Definition at line 625 of file algos.cc.

static Registry< insplit_t>& vcsn::dyn::detail::insplit_registry ( )
static

Definition at line 625 of file algos.cc.

Referenced by vcsn::dyn::insplit().

template<Automaton Aut>
bool vcsn::dyn::detail::is_accessible ( const automaton &  aut)

Bridge.

Definition at line 233 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_accessible_register ( const signature &  sig,
is_accessible_t  fn 
)

Definition at line 634 of file algos.cc.

static Registry< is_accessible_t>& vcsn::dyn::detail::is_accessible_registry ( )
static

Definition at line 634 of file algos.cc.

Referenced by vcsn::dyn::is_accessible().

template<Automaton Aut>
bool vcsn::dyn::detail::is_ambiguous ( const automaton &  aut)

Bridge.

Definition at line 97 of file is-ambiguous.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_ambiguous_register ( const signature &  sig,
is_ambiguous_t  fn 
)

Definition at line 643 of file algos.cc.

static Registry< is_ambiguous_t>& vcsn::dyn::detail::is_ambiguous_registry ( )
static

Definition at line 643 of file algos.cc.

Referenced by vcsn::dyn::is_ambiguous().

template<Automaton Aut>
bool vcsn::dyn::detail::is_coaccessible ( const automaton &  aut)

Bridge.

Definition at line 242 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_coaccessible_register ( const signature &  sig,
is_coaccessible_t  fn 
)

Definition at line 652 of file algos.cc.

static Registry< is_coaccessible_t>& vcsn::dyn::detail::is_coaccessible_registry ( )
static

Definition at line 652 of file algos.cc.

Referenced by vcsn::dyn::is_coaccessible().

template<Automaton Aut>
bool vcsn::dyn::detail::is_codeterministic ( const automaton &  aut)

Bridge.

Definition at line 93 of file is-deterministic.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_codeterministic_register ( const signature &  sig,
is_codeterministic_t  fn 
)

Definition at line 661 of file algos.cc.

static Registry< is_codeterministic_t>& vcsn::dyn::detail::is_codeterministic_registry ( )
static

Definition at line 661 of file algos.cc.

Referenced by vcsn::dyn::is_codeterministic().

template<Automaton Aut>
bool vcsn::dyn::detail::is_complete ( const automaton &  aut)

Bridge.

Definition at line 52 of file is-complete.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_complete_register ( const signature &  sig,
is_complete_t  fn 
)

Definition at line 670 of file algos.cc.

static Registry< is_complete_t>& vcsn::dyn::detail::is_complete_registry ( )
static

Definition at line 670 of file algos.cc.

Referenced by vcsn::dyn::is_complete().

template<Automaton Aut>
bool vcsn::dyn::detail::is_costandard ( const automaton &  aut)

Bridge.

Definition at line 63 of file standard.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_costandard_register ( const signature &  sig,
is_costandard_t  fn 
)

Definition at line 679 of file algos.cc.

static Registry< is_costandard_t>& vcsn::dyn::detail::is_costandard_registry ( )
static

Definition at line 679 of file algos.cc.

Referenced by vcsn::dyn::is_costandard().

template<Automaton Aut>
bool vcsn::dyn::detail::is_cycle_ambiguous ( const automaton &  aut)

Bridge.

Definition at line 197 of file is-ambiguous.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_cycle_ambiguous_register ( const signature &  sig,
is_cycle_ambiguous_t  fn 
)

Definition at line 688 of file algos.cc.

static Registry< is_cycle_ambiguous_t>& vcsn::dyn::detail::is_cycle_ambiguous_registry ( )
static

Definition at line 688 of file algos.cc.

Referenced by vcsn::dyn::is_cycle_ambiguous().

template<Automaton Aut>
bool vcsn::dyn::detail::is_deterministic ( const automaton &  aut)

Bridge.

Definition at line 85 of file is-deterministic.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_deterministic_register ( const signature &  sig,
is_deterministic_t  fn 
)

Definition at line 697 of file algos.cc.

static Registry< is_deterministic_t>& vcsn::dyn::detail::is_deterministic_registry ( )
static

Definition at line 697 of file algos.cc.

Referenced by vcsn::dyn::is_deterministic().

template<Automaton Aut>
bool vcsn::dyn::detail::is_empty ( const automaton &  aut)

Bridge.

Definition at line 269 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_empty_register ( const signature &  sig,
is_empty_t  fn 
)

Definition at line 706 of file algos.cc.

static Registry< is_empty_t>& vcsn::dyn::detail::is_empty_registry ( )
static

Definition at line 706 of file algos.cc.

Referenced by vcsn::dyn::is_empty().

template<Automaton Aut>
bool vcsn::dyn::detail::is_eps_acyclic ( const automaton &  aut)

Bridge.

Definition at line 145 of file is-acyclic.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_eps_acyclic_register ( const signature &  sig,
is_eps_acyclic_t  fn 
)

Definition at line 715 of file algos.cc.

static Registry< is_eps_acyclic_t>& vcsn::dyn::detail::is_eps_acyclic_registry ( )
static

Definition at line 715 of file algos.cc.

Referenced by vcsn::dyn::is_eps_acyclic().

template<Automaton Aut>
bool vcsn::dyn::detail::is_functional ( const automaton &  aut)

Bridge.

Definition at line 31 of file is-functional.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_functional_register ( const signature &  sig,
is_functional_t  fn 
)

Definition at line 724 of file algos.cc.

static Registry< is_functional_t>& vcsn::dyn::detail::is_functional_registry ( )
static

Definition at line 724 of file algos.cc.

Referenced by vcsn::dyn::is_functional().

template<Automaton Aut>
bool vcsn::dyn::detail::is_letterized ( const automaton &  aut)

Bridge.

Definition at line 201 of file letterize.hh.

References vcsn::dyn::automaton::as().

Referenced by vcsn::is_realtime().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_letterized_register ( const signature &  sig,
is_letterized_t  fn 
)

Definition at line 733 of file algos.cc.

static Registry< is_letterized_t>& vcsn::dyn::detail::is_letterized_registry ( )
static

Definition at line 733 of file algos.cc.

Referenced by vcsn::dyn::is_letterized().

template<Automaton Aut>
bool vcsn::dyn::detail::is_normalized ( const automaton &  aut)

Bridge.

Definition at line 33 of file normalize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_normalized_register ( const signature &  sig,
is_normalized_t  fn 
)

Definition at line 742 of file algos.cc.

static Registry< is_normalized_t>& vcsn::dyn::detail::is_normalized_registry ( )
static

Definition at line 742 of file algos.cc.

Referenced by vcsn::dyn::is_normalized().

template<Automaton Aut>
bool vcsn::dyn::detail::is_out_sorted ( const automaton &  aut)

Bridge.

Definition at line 75 of file sort.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_out_sorted_register ( const signature &  sig,
is_out_sorted_t  fn 
)

Definition at line 751 of file algos.cc.

static Registry< is_out_sorted_t>& vcsn::dyn::detail::is_out_sorted_registry ( )
static

Definition at line 751 of file algos.cc.

Referenced by vcsn::dyn::is_out_sorted().

template<Automaton Aut>
bool vcsn::dyn::detail::is_partial_identity ( const automaton &  aut)

Bridge.

Definition at line 80 of file is-partial-identity.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_partial_identity_register ( const signature &  sig,
is_partial_identity_t  fn 
)

Definition at line 760 of file algos.cc.

static Registry< is_partial_identity_t>& vcsn::dyn::detail::is_partial_identity_registry ( )
static

Definition at line 760 of file algos.cc.

Referenced by vcsn::dyn::is_partial_identity().

template<Automaton Aut>
bool vcsn::dyn::detail::is_proper ( const automaton &  aut)

Bridge.

Definition at line 58 of file is-proper.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_proper_register ( const signature &  sig,
is_proper_t  fn 
)

Definition at line 769 of file algos.cc.

static Registry< is_proper_t>& vcsn::dyn::detail::is_proper_registry ( )
static

Definition at line 769 of file algos.cc.

Referenced by vcsn::dyn::is_proper().

template<Automaton Aut>
bool vcsn::dyn::detail::is_realtime ( const automaton &  aut)

Bridge.

Definition at line 259 of file letterize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_realtime_register ( const signature &  sig,
is_realtime_t  fn 
)

Definition at line 778 of file algos.cc.

static Registry< is_realtime_t>& vcsn::dyn::detail::is_realtime_registry ( )
static

Definition at line 778 of file algos.cc.

Referenced by vcsn::dyn::is_realtime().

template<Automaton Aut>
bool vcsn::dyn::detail::is_standard ( const automaton &  aut)

Bridge.

Definition at line 54 of file standard.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_standard_register ( const signature &  sig,
is_standard_t  fn 
)

Definition at line 787 of file algos.cc.

static Registry< is_standard_t>& vcsn::dyn::detail::is_standard_registry ( )
static

Definition at line 787 of file algos.cc.

Referenced by vcsn::dyn::is_standard().

template<Automaton Aut>
bool vcsn::dyn::detail::is_synchronized ( const automaton &  aut)

Bridge.

Definition at line 320 of file is-synchronized.hh.

template<Automaton Aut, typename LabelSet >
bool vcsn::dyn::detail::is_synchronized_by ( const automaton &  aut,
const label &  word 
)

Bridge.

Definition at line 72 of file synchronizing-word.hh.

References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), and vcsn::is_synchronized_by().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_synchronized_by_register ( const signature &  sig,
is_synchronized_by_t  fn 
)

Definition at line 805 of file algos.cc.

static Registry< is_synchronized_by_t>& vcsn::dyn::detail::is_synchronized_by_registry ( )
static

Definition at line 805 of file algos.cc.

Referenced by vcsn::dyn::is_synchronized_by().

bool vcsn::dyn::detail::is_synchronized_register ( const signature &  sig,
is_synchronized_t  fn 
)

Definition at line 796 of file algos.cc.

static Registry< is_synchronized_t>& vcsn::dyn::detail::is_synchronized_registry ( )
static

Definition at line 796 of file algos.cc.

Referenced by vcsn::dyn::is_synchronized().

template<Automaton Aut>
bool vcsn::dyn::detail::is_synchronizing ( const automaton &  aut)

Bridge.

Definition at line 402 of file synchronizing-word.hh.

References vcsn::dyn::automaton::as(), and vcsn::is_synchronizing().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_synchronizing_register ( const signature &  sig,
is_synchronizing_t  fn 
)

Definition at line 814 of file algos.cc.

static Registry< is_synchronizing_t>& vcsn::dyn::detail::is_synchronizing_registry ( )
static

Definition at line 814 of file algos.cc.

Referenced by vcsn::dyn::is_synchronizing().

template<Automaton Aut>
bool vcsn::dyn::detail::is_trim ( const automaton &  aut)

Bridge.

Definition at line 251 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_trim_register ( const signature &  sig,
is_trim_t  fn 
)

Definition at line 823 of file algos.cc.

static Registry< is_trim_t>& vcsn::dyn::detail::is_trim_registry ( )
static

Definition at line 823 of file algos.cc.

Referenced by vcsn::dyn::is_trim().

template<Automaton Aut>
bool vcsn::dyn::detail::is_useless ( const automaton &  aut)

Bridge.

Definition at line 260 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_useless_register ( const signature &  sig,
is_useless_t  fn 
)

Definition at line 832 of file algos.cc.

static Registry< is_useless_t>& vcsn::dyn::detail::is_useless_registry ( )
static

Definition at line 832 of file algos.cc.

Referenced by vcsn::dyn::is_useless().

template<Automaton Aut>
bool vcsn::dyn::detail::is_valid ( const automaton &  aut)

Bridge.

Definition at line 150 of file is-valid.hh.

References vcsn::dyn::automaton::as(), and strip().

Here is the call graph for this function:

template<typename ExpSet >
bool vcsn::dyn::detail::is_valid_expression ( const expression &  exp)

Bridge (is_valid).

Definition at line 48 of file is-valid-expression.hh.

References vcsn::is_valid().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::is_valid_expression_register ( const signature &  sig,
is_valid_expression_t  fn 
)

Definition at line 850 of file algos.cc.

static Registry< is_valid_expression_t>& vcsn::dyn::detail::is_valid_expression_registry ( )
static

Definition at line 850 of file algos.cc.

Referenced by vcsn::dyn::is_valid().

bool vcsn::dyn::detail::is_valid_register ( const signature &  sig,
is_valid_t  fn 
)

Definition at line 841 of file algos.cc.

static Registry< is_valid_t>& vcsn::dyn::detail::is_valid_registry ( )
static

Definition at line 841 of file algos.cc.

Referenced by vcsn::dyn::is_valid().

template<typename Ctx1 , typename Ctx2 >
context vcsn::dyn::detail::join ( const context &  c1,
const context &  c2 
)

Bridge.

Definition at line 110 of file make-context.hh.

References vcsn::dyn::context::as().

Referenced by vcsn::detail::tupleset_impl< ValueSets >::generators_(), lweight(), and rweight().

Here is the call graph for this function:

bool vcsn::dyn::detail::join_register ( const signature &  sig,
join_t  fn 
)

Definition at line 859 of file algos.cc.

static Registry< join_t>& vcsn::dyn::detail::join_registry ( )
static

Definition at line 859 of file algos.cc.

Referenced by vcsn::dyn::join().

template<typename Ctx , typename Unsigned >
automaton vcsn::dyn::detail::ladybird ( const dyn::context &  ctx,
unsigned  n 
)

Bridge.

Definition at line 54 of file ladybird.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::ladybird_register ( const signature &  sig,
ladybird_t  fn 
)

Definition at line 868 of file algos.cc.

static Registry< ladybird_t>& vcsn::dyn::detail::ladybird_registry ( )
static

Definition at line 868 of file algos.cc.

Referenced by vcsn::dyn::ladybird().

template<Automaton Aut1, Automaton Aut2>
automaton vcsn::dyn::detail::ldivide ( const automaton &  aut1,
const automaton &  aut2 
)

Bridge (ldivide).

Definition at line 732 of file conjunction.hh.

References vcsn::dyn::automaton::as().

Referenced by ldivide_expansion(), ldivide_expression(), ldivide_label(), ldivide_polynomial(), and ldivide_weight().

Here is the call graph for this function:

template<typename ExpansionSetLhs , typename ExpansionSetRhs >
expansion vcsn::dyn::detail::ldivide_expansion ( const expansion &  lhs,
const expansion &  rhs 
)

Bridge (ldivide).

Definition at line 30 of file divide.hh.

References ldivide().

Here is the call graph for this function:

bool vcsn::dyn::detail::ldivide_expansion_register ( const signature &  sig,
ldivide_expansion_t  fn 
)

Definition at line 886 of file algos.cc.

static Registry< ldivide_expansion_t>& vcsn::dyn::detail::ldivide_expansion_registry ( )
static

Definition at line 886 of file algos.cc.

Referenced by vcsn::dyn::ldivide().

template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression vcsn::dyn::detail::ldivide_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (ldivide).

Definition at line 41 of file divide.hh.

References ldivide().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::ldivide_expression_register ( const signature &  sig,
ldivide_expression_t  fn 
)

Definition at line 895 of file algos.cc.

static Registry< ldivide_expression_t>& vcsn::dyn::detail::ldivide_expression_registry ( )
static

Definition at line 895 of file algos.cc.

template<typename LabelSetLhs , typename LabelSetRhs >
label vcsn::dyn::detail::ldivide_label ( const label &  lhs,
const label &  rhs 
)

Bridge (ldivide).

Definition at line 52 of file divide.hh.

References ldivide().

Here is the call graph for this function:

bool vcsn::dyn::detail::ldivide_label_register ( const signature &  sig,
ldivide_label_t  fn 
)

Definition at line 904 of file algos.cc.

static Registry< ldivide_label_t>& vcsn::dyn::detail::ldivide_label_registry ( )
static

Definition at line 904 of file algos.cc.

template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::ldivide_polynomial ( const polynomial &  lhs,
const polynomial &  rhs 
)

Bridge (ldivide).

Definition at line 63 of file divide.hh.

References ldivide().

Here is the call graph for this function:

bool vcsn::dyn::detail::ldivide_polynomial_register ( const signature &  sig,
ldivide_polynomial_t  fn 
)

Definition at line 913 of file algos.cc.

static Registry< ldivide_polynomial_t>& vcsn::dyn::detail::ldivide_polynomial_registry ( )
static

Definition at line 913 of file algos.cc.

bool vcsn::dyn::detail::ldivide_register ( const signature &  sig,
ldivide_t  fn 
)

Definition at line 877 of file algos.cc.

static Registry< ldivide_t>& vcsn::dyn::detail::ldivide_registry ( )
static

Definition at line 877 of file algos.cc.

Referenced by vcsn::dyn::ldivide().

template<typename WeightSetLhs , typename WeightSetRhs >
weight vcsn::dyn::detail::ldivide_weight ( const weight &  lhs,
const weight &  rhs 
)

Bridge (ldivide).

Definition at line 74 of file divide.hh.

References ldivide().

Here is the call graph for this function:

bool vcsn::dyn::detail::ldivide_weight_register ( const signature &  sig,
ldivide_weight_t  fn 
)

Definition at line 922 of file algos.cc.

static Registry< ldivide_weight_t>& vcsn::dyn::detail::ldivide_weight_registry ( )
static

Definition at line 922 of file algos.cc.

template<typename ExpSet1 , typename ExpSet2 >
bool vcsn::dyn::detail::less_than_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (less_than).

Definition at line 31 of file less-than.hh.

References vcsn::less_than().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::less_than_expression_register ( const signature &  sig,
less_than_expression_t  fn 
)

Definition at line 931 of file algos.cc.

static Registry< less_than_expression_t>& vcsn::dyn::detail::less_than_expression_registry ( )
static

Definition at line 931 of file algos.cc.

Referenced by vcsn::dyn::less_than().

template<Automaton Aut>
automaton vcsn::dyn::detail::letterize ( const automaton &  aut)

Bridge.

Definition at line 146 of file letterize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::letterize_register ( const signature &  sig,
letterize_t  fn 
)

Definition at line 940 of file algos.cc.

static Registry< letterize_t>& vcsn::dyn::detail::letterize_registry ( )
static

Definition at line 940 of file algos.cc.

Referenced by vcsn::dyn::letterize().

template<typename Context >
automaton vcsn::dyn::detail::levenshtein ( const dyn::context &  ctx)

Bridge.

Definition at line 63 of file levenshtein.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::levenshtein_register ( const signature &  sig,
levenshtein_t  fn 
)

Definition at line 949 of file algos.cc.

static Registry< levenshtein_t>& vcsn::dyn::detail::levenshtein_registry ( )
static

Definition at line 949 of file algos.cc.

Referenced by vcsn::dyn::levenshtein().

template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::lgcd_polynomial ( const polynomial &  lhs,
const polynomial &  rhs 
)

Bridge (lgcd).

Definition at line 106 of file divide.hh.

References vcsn::dyn::lgcd().

Here is the call graph for this function:

bool vcsn::dyn::detail::lgcd_polynomial_register ( const signature &  sig,
lgcd_polynomial_t  fn 
)

Definition at line 958 of file algos.cc.

static Registry< lgcd_polynomial_t>& vcsn::dyn::detail::lgcd_polynomial_registry ( )
static

Definition at line 958 of file algos.cc.

Referenced by vcsn::dyn::lgcd().

template<Automaton Aut, typename Ids , typename... Tapes>
automaton vcsn::dyn::detail::lift_automaton ( const automaton &  aut,
identities  ids,
integral_constant   
)

Bridge.

Definition at line 260 of file lift.hh.

References vcsn::dyn::automaton::as(), vcsn::rat::ids(), and vcsn::lift().

Here is the call graph for this function:

bool vcsn::dyn::detail::lift_automaton_register ( const signature &  sig,
lift_automaton_t  fn 
)
template<typename ExpSet >
expression vcsn::dyn::detail::lift_expression ( const expression &  exp)

Bridge (lift).

Definition at line 307 of file lift.hh.

References vcsn::lift(), and vcsn::detail::lift_expressionset().

Here is the call graph for this function:

bool vcsn::dyn::detail::lift_expression_register ( const signature &  sig,
lift_expression_t  fn 
)

Definition at line 967 of file algos.cc.

static Registry< lift_expression_t>& vcsn::dyn::detail::lift_expression_registry ( )
static

Definition at line 967 of file algos.cc.

Referenced by vcsn::dyn::lift().

template<Automaton Aut, typename Num , typename String >
polynomial vcsn::dyn::detail::lightest ( const automaton &  aut,
unsigned  num,
const std::string &  algo 
)

Bridge.

Definition at line 227 of file lightest.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::make_word_polynomialset().

Here is the call graph for this function:

template<Automaton Aut, typename Num , typename String >
automaton vcsn::dyn::detail::lightest_automaton ( const automaton &  aut,
unsigned  k,
const std::string &  algo 
)

Bridge.

Definition at line 54 of file lightest-automaton.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::lightest_automaton_register ( const signature &  sig,
lightest_automaton_t  fn 
)

Definition at line 985 of file algos.cc.

static Registry< lightest_automaton_t>& vcsn::dyn::detail::lightest_automaton_registry ( )
static

Definition at line 985 of file algos.cc.

Referenced by vcsn::dyn::lightest_automaton().

bool vcsn::dyn::detail::lightest_register ( const signature &  sig,
lightest_t  fn 
)

Definition at line 976 of file algos.cc.

static Registry< lightest_t>& vcsn::dyn::detail::lightest_registry ( )
static

Definition at line 976 of file algos.cc.

Referenced by vcsn::dyn::lightest().

template<typename PolynomialSet , typename Ostream >
std::ostream& vcsn::dyn::detail::list_polynomial ( const polynomial &  polynomial,
std::ostream &  o 
)

Bridge (list).

Definition at line 269 of file print.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::list().

Referenced by vcsn::ctx::detail::register_functions(), and vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

bool vcsn::dyn::detail::list_polynomial_register ( const signature &  sig,
list_polynomial_t  fn 
)
template<typename WeightSet , Automaton Aut, typename String >
automaton vcsn::dyn::detail::lweight ( const weight &  weight,
const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 149 of file weight.hh.

References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::copy_into(), vcsn::detail::ctx, join(), make_context(), and vcsn::make_mutable_automaton().

Here is the call graph for this function:

template<typename WeightSet , typename ExpansionSet >
expansion vcsn::dyn::detail::lweight_expansion ( const weight &  weight,
const expansion &  exp 
)

Bridge (lweight).

Definition at line 215 of file weight.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expansionset(), vcsn::lweight(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::lweight_expansion_register ( const signature &  sig,
lweight_expansion_t  fn 
)

Definition at line 1003 of file algos.cc.

static Registry< lweight_expansion_t>& vcsn::dyn::detail::lweight_expansion_registry ( )
static

Definition at line 1003 of file algos.cc.

Referenced by vcsn::dyn::lweight().

template<typename WeightSet , typename ExpSet >
expression vcsn::dyn::detail::lweight_expression ( const weight &  weight,
const expression &  exp 
)

Bridge (lweight).

Definition at line 269 of file weight.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expressionset(), vcsn::lweight(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::lweight_expression_register ( const signature &  sig,
lweight_expression_t  fn 
)

Definition at line 1012 of file algos.cc.

static Registry< lweight_expression_t>& vcsn::dyn::detail::lweight_expression_registry ( )
static

Definition at line 1012 of file algos.cc.

template<typename WeightSet , typename PolynomialSet >
polynomial vcsn::dyn::detail::lweight_polynomial ( const weight &  weight,
const polynomial &  poly 
)

Bridge (lweight).

Definition at line 301 of file weight.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_polynomialset(), and vcsn::lweight().

Here is the call graph for this function:

bool vcsn::dyn::detail::lweight_polynomial_register ( const signature &  sig,
lweight_polynomial_t  fn 
)

Definition at line 1021 of file algos.cc.

static Registry< lweight_polynomial_t>& vcsn::dyn::detail::lweight_polynomial_registry ( )
static

Definition at line 1021 of file algos.cc.

bool vcsn::dyn::detail::lweight_register ( const signature &  sig,
lweight_t  fn 
)

Definition at line 994 of file algos.cc.

static Registry< lweight_t>& vcsn::dyn::detail::lweight_registry ( )
static

Definition at line 994 of file algos.cc.

Referenced by vcsn::dyn::lweight().

template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::lweight_tag ( const weight_t_of< Aut > &  w,
Aut &  aut 
)

Left-product.

Definition at line 141 of file weight.hh.

References vcsn::lweight_here().

Here is the call graph for this function:

template<typename Ctx >
automaton_editor* vcsn::dyn::detail::make_automaton_editor ( const context &  ctx)

Bridge.

Definition at line 349 of file edit-automaton.hh.

References vcsn::dyn::context::as().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::make_automaton_editor_register ( const signature &  sig,
make_automaton_editor_t  fn 
)

Definition at line 1030 of file algos.cc.

static Registry< make_automaton_editor_t>& vcsn::dyn::detail::make_automaton_editor_registry ( )
static

Definition at line 1030 of file algos.cc.

Referenced by vcsn::dyn::make_automaton_editor().

template<typename Ctx >
context vcsn::dyn::detail::make_context ( const std::string &  name)

Bridge.

Definition at line 44 of file make-context.hh.

Referenced by lweight(), and rweight().

bool vcsn::dyn::detail::make_context_register ( const signature &  sig,
make_context_t  fn 
)
template<typename Ctx >
context vcsn::dyn::detail::make_word_context ( const context &  ctx)

Bridge.

Definition at line 130 of file make-context.hh.

References vcsn::dyn::context::as().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::make_word_context_register ( const signature &  sig,
make_word_context_t  fn 
)

Definition at line 1039 of file algos.cc.

static Registry< make_word_context_t>& vcsn::dyn::detail::make_word_context_registry ( )
static

Definition at line 1039 of file algos.cc.

Referenced by vcsn::dyn::make_word_context().

template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean<Aut>), Aut> vcsn::dyn::detail::minimize ( const Aut &  ,
brzozowski_tag   
)

Handling of errors for dyn::minimize.

Definition at line 46 of file minimize-brzozowski.hh.

Referenced by cominimize_tag_(), and minimize_tag_().

template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean<Aut>), quotient_t<Aut> > vcsn::dyn::detail::minimize ( const Aut &  ,
hopcroft_tag   
)

Definition at line 110 of file minimize-hopcroft.hh.

template<Automaton Aut, typename String >
automaton vcsn::dyn::detail::minimize ( const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 158 of file minimize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean<Aut>), quotient_t<Aut> > vcsn::dyn::detail::minimize ( const Aut &  ,
moore_tag   
)

Definition at line 203 of file minimize-moore.hh.

template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!std::is_same<weightset_t_of<Aut>, b>::value, quotient_t<Aut> > vcsn::dyn::detail::minimize ( const Aut &  ,
signature_tag   
)

Definition at line 293 of file minimize-signature.hh.

bool vcsn::dyn::detail::minimize_register ( const signature &  sig,
minimize_t  fn 
)

Definition at line 1048 of file algos.cc.

static Registry< minimize_t>& vcsn::dyn::detail::minimize_registry ( )
static

Definition at line 1048 of file algos.cc.

Referenced by vcsn::dyn::minimize().

template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::minimize_tag_ ( const Aut &  aut)

Helper function to facilitate dispatch below.

Definition at line 142 of file minimize.hh.

References minimize().

Here is the call graph for this function:

template<Automaton Lhs, Automaton Rhs, typename String >
automaton vcsn::dyn::detail::multiply ( const automaton &  lhs,
const automaton &  rhs,
const std::string &  algo 
)

Bridge.

Definition at line 169 of file multiply.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::multiply().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::multiply_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (multiply).

Definition at line 294 of file multiply.hh.

References vcsn::multiply().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_expression_register ( const signature &  sig,
multiply_expression_t  fn 
)

Definition at line 1066 of file algos.cc.

static Registry< multiply_expression_t>& vcsn::dyn::detail::multiply_expression_registry ( )
static

Definition at line 1066 of file algos.cc.

Referenced by vcsn::dyn::multiply().

template<typename ExpSet , typename Int1 , typename Int2 >
expression vcsn::dyn::detail::multiply_expression_repeated ( const expression &  re,
int  min,
int  max 
)

Bridge (multiply).

Definition at line 408 of file multiply.hh.

References vcsn::min, and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_expression_repeated_register ( const signature &  sig,
multiply_expression_repeated_t  fn 
)

Definition at line 1075 of file algos.cc.

static Registry< multiply_expression_repeated_t>& vcsn::dyn::detail::multiply_expression_repeated_registry ( )
static

Definition at line 1075 of file algos.cc.

Referenced by vcsn::dyn::multiply().

template<typename LabelSetLhs , typename LabelSetRhs >
label vcsn::dyn::detail::multiply_label ( const label &  lhs,
const label &  rhs 
)

Bridge (multiply).

Definition at line 429 of file multiply.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::dyn::join(), vcsn::dyn::multiply(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_label_register ( const signature &  sig,
multiply_label_t  fn 
)

Definition at line 1084 of file algos.cc.

static Registry< multiply_label_t>& vcsn::dyn::detail::multiply_label_registry ( )
static

Definition at line 1084 of file algos.cc.

template<typename LabelSet , typename Int >
label vcsn::dyn::detail::multiply_label_repeated ( const label &  re,
int  exp 
)

Bridge (multiply).

Definition at line 442 of file multiply.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::multiply().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_label_repeated_register ( const signature &  sig,
multiply_label_repeated_t  fn 
)

Definition at line 1093 of file algos.cc.

static Registry< multiply_label_repeated_t>& vcsn::dyn::detail::multiply_label_repeated_registry ( )
static

Definition at line 1093 of file algos.cc.

Referenced by vcsn::dyn::multiply().

template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::multiply_polynomial ( const polynomial &  lhs,
const polynomial &  rhs 
)

Bridge (multiply).

Definition at line 463 of file multiply.hh.

References vcsn::dyn::multiply().

Referenced by vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_polynomial_register ( const signature &  sig,
multiply_polynomial_t  fn 
)

Definition at line 1102 of file algos.cc.

static Registry< multiply_polynomial_t>& vcsn::dyn::detail::multiply_polynomial_registry ( )
static

Definition at line 1102 of file algos.cc.

bool vcsn::dyn::detail::multiply_register ( const signature &  sig,
multiply_t  fn 
)

Definition at line 1057 of file algos.cc.

static Registry< multiply_t>& vcsn::dyn::detail::multiply_registry ( )
static

Definition at line 1057 of file algos.cc.

Referenced by vcsn::dyn::multiply().

template<Automaton Aut, typename Int1 , typename Int2 , typename String >
automaton vcsn::dyn::detail::multiply_repeated ( const automaton &  a,
int  min,
int  max,
const std::string &  algo 
)

Bridge (multiply).

Definition at line 258 of file multiply.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), vcsn::min, and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_repeated_register ( const signature &  sig,
multiply_repeated_t  fn 
)

Definition at line 1111 of file algos.cc.

static Registry< multiply_repeated_t>& vcsn::dyn::detail::multiply_repeated_registry ( )
static

Definition at line 1111 of file algos.cc.

Referenced by vcsn::dyn::multiply().

template<typename WeightSetLhs , typename WeightSetRhs >
weight vcsn::dyn::detail::multiply_weight ( const weight &  lhs,
const weight &  rhs 
)

Bridge (multiply).

Definition at line 484 of file multiply.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::dyn::join(), and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_weight_register ( const signature &  sig,
multiply_weight_t  fn 
)

Definition at line 1120 of file algos.cc.

static Registry< multiply_weight_t>& vcsn::dyn::detail::multiply_weight_registry ( )
static

Definition at line 1120 of file algos.cc.

template<typename WeightSet , typename Int1 , typename Int2 >
weight vcsn::dyn::detail::multiply_weight_repeated ( const weight &  wgt,
int  min,
int  max 
)

Bridge (multiply).

Definition at line 497 of file multiply.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::min, and vcsn::multiply().

Here is the call graph for this function:

bool vcsn::dyn::detail::multiply_weight_repeated_register ( const signature &  sig,
multiply_weight_repeated_t  fn 
)

Definition at line 1129 of file algos.cc.

static Registry< multiply_weight_repeated_t>& vcsn::dyn::detail::multiply_weight_repeated_registry ( )
static

Definition at line 1129 of file algos.cc.

template<Automaton Aut>
automaton vcsn::dyn::detail::normalize ( const automaton &  aut)

Bridge.

Definition at line 41 of file normalize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::normalize_register ( const signature &  sig,
normalize_t  fn 
)

Definition at line 1138 of file algos.cc.

static Registry< normalize_t>& vcsn::dyn::detail::normalize_registry ( )
static

Definition at line 1138 of file algos.cc.

Referenced by vcsn::dyn::normalize().

template<Automaton Aut>
std::size_t vcsn::dyn::detail::num_components ( const automaton &  aut)

Bridge.

Definition at line 735 of file scc.hh.

bool vcsn::dyn::detail::num_components_register ( const signature &  sig,
num_components_t  fn 
)

Definition at line 1147 of file algos.cc.

static Registry< num_components_t>& vcsn::dyn::detail::num_components_registry ( )
static

Definition at line 1147 of file algos.cc.

Referenced by vcsn::dyn::num_components().

template<typename Ctx >
size_t vcsn::dyn::detail::num_tapes ( const context &  ctx)

Bridge.

Definition at line 166 of file make-context.hh.

References vcsn::dyn::context::as(), and vcsn::num_tapes().

Here is the call graph for this function:

bool vcsn::dyn::detail::num_tapes_register ( const signature &  sig,
num_tapes_t  fn 
)

Definition at line 1156 of file algos.cc.

static Registry< num_tapes_t>& vcsn::dyn::detail::num_tapes_registry ( )
static

Definition at line 1156 of file algos.cc.

Referenced by vcsn::dyn::num_tapes().

template<Automaton Aut, typename >
automaton vcsn::dyn::detail::pair ( const automaton &  aut,
bool  keep_initials 
)

Bridge.

Definition at line 264 of file pair.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::pair_register ( const signature &  sig,
pair_t  fn 
)

Definition at line 1165 of file algos.cc.

static Registry< pair_t>& vcsn::dyn::detail::pair_registry ( )
static

Definition at line 1165 of file algos.cc.

Referenced by vcsn::dyn::pair().

template<Automaton Aut>
automaton vcsn::dyn::detail::partial_identity ( const automaton &  aut)

Bridge.

Definition at line 81 of file partial-identity.hh.

References vcsn::dyn::automaton::as(), and vcsn::rat::partial_identity().

Referenced by partial_identity_expression().

Here is the call graph for this function:

template<typename ExpressionSet >
expression vcsn::dyn::detail::partial_identity_expression ( const expression &  exp)

Bridge (partial_identity).

Definition at line 21 of file partial-identity-expression.hh.

References partial_identity(), vcsn::detail::rs, and vcsn::tuple_expressionset().

Here is the call graph for this function:

bool vcsn::dyn::detail::partial_identity_expression_register ( const signature &  sig,
partial_identity_expression_t  fn 
)

Definition at line 1183 of file algos.cc.

static Registry< partial_identity_expression_t>& vcsn::dyn::detail::partial_identity_expression_registry ( )
static

Definition at line 1183 of file algos.cc.

Referenced by vcsn::dyn::partial_identity().

bool vcsn::dyn::detail::partial_identity_register ( const signature &  sig,
partial_identity_t  fn 
)

Definition at line 1174 of file algos.cc.

static Registry< partial_identity_t>& vcsn::dyn::detail::partial_identity_registry ( )
static

Definition at line 1174 of file algos.cc.

Referenced by vcsn::dyn::partial_identity().

template<Automaton Aut>
automaton vcsn::dyn::detail::prefix ( const automaton &  aut)

Bridge.

Definition at line 84 of file prefix.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::prefix_register ( const signature &  sig,
prefix_t  fn 
)

Definition at line 1192 of file algos.cc.

static Registry< prefix_t>& vcsn::dyn::detail::prefix_registry ( )
static

Definition at line 1192 of file algos.cc.

Referenced by vcsn::dyn::prefix().

template<Automaton Aut, typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print ( const automaton &  aut,
std::ostream &  o,
const std::string &  fmt 
)

Bridge.

Definition at line 121 of file print.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

template<typename Context , typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print_context ( const context &  ctx,
std::ostream &  o,
const std::string &  fmt 
)

Bridge (print).

Definition at line 140 of file print.hh.

References vcsn::dyn::context::as().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::print_context_register ( const signature &  sig,
print_context_t  fn 
)

Definition at line 1210 of file algos.cc.

static Registry< print_context_t>& vcsn::dyn::detail::print_context_registry ( )
static

Definition at line 1210 of file algos.cc.

Referenced by vcsn::dyn::print().

template<typename ExpansionSet , typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print_expansion ( const expansion &  expansion,
std::ostream &  o,
const std::string &  fmt 
)

Bridge (print).

Definition at line 172 of file print.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::print_expansion_register ( const signature &  sig,
print_expansion_t  fn 
)
template<typename ExpSet , typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print_expression ( const expression &  exp,
std::ostream &  o,
const std::string &  fmt 
)

Bridge (print).

Definition at line 214 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::print_expression_register ( const signature &  sig,
print_expression_t  fn 
)
template<typename LabelSet , typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print_label ( const label &  label,
std::ostream &  o,
const std::string &  fmt 
)

Bridge (print).

Definition at line 233 of file print.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::format::for_labels(), and vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::print_label_register ( const signature &  sig,
print_label_t  fn 
)
template<typename PolynomialSet , typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print_polynomial ( const polynomial &  polynomial,
std::ostream &  o,
const std::string &  fmt 
)

Bridge (print).

Definition at line 288 of file print.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::print().

Referenced by vcsn::ctx::detail::register_functions(), and vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

bool vcsn::dyn::detail::print_polynomial_register ( const signature &  sig,
print_polynomial_t  fn 
)
bool vcsn::dyn::detail::print_register ( const signature &  sig,
print_t  fn 
)

Definition at line 1201 of file algos.cc.

static Registry< print_t>& vcsn::dyn::detail::print_registry ( )
static

Definition at line 1201 of file algos.cc.

Referenced by vcsn::dyn::print().

template<typename WeightSet , typename Ostream , typename String >
std::ostream& vcsn::dyn::detail::print_weight ( const weight &  weight,
std::ostream &  o,
const std::string &  fmt 
)

Bridge (print).

Definition at line 308 of file print.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::print_weight_register ( const signature &  sig,
print_weight_t  fn 
)
template<Automaton Aut, typename Tape >
automaton vcsn::dyn::detail::project ( const automaton &  aut,
integral_constant   
)

Bridge.

Definition at line 35 of file project-automaton.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

template<typename Context , typename Tape >
context vcsn::dyn::detail::project_context ( const context &  ctx,
integral_constant   
)

Bridge (project).

Definition at line 23 of file project.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::project_context_register ( const signature &  sig,
project_context_t  fn 
)
template<typename ExpansionSet , typename Tape >
expansion vcsn::dyn::detail::project_expansion ( const expansion &  exp,
integral_constant   
)

Bridge (project).

Definition at line 75 of file project.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::project_expansion_register ( const signature &  sig,
project_expansion_t  fn 
)
template<typename ExpressionSet , typename Tape >
expression vcsn::dyn::detail::project_expression ( const expression &  exp,
integral_constant   
)

Bridge (project).

Definition at line 97 of file project.hh.

bool vcsn::dyn::detail::project_expression_register ( const signature &  sig,
project_expression_t  fn 
)
template<typename Label , typename Tape >
label vcsn::dyn::detail::project_label ( const label &  lbl,
integral_constant   
)

Bridge (project).

Definition at line 154 of file project.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::project_label_register ( const signature &  sig,
project_label_t  fn 
)
template<typename PolynomialSet , typename Tape >
polynomial vcsn::dyn::detail::project_polynomial ( const polynomial &  poly,
integral_constant   
)

Bridge (project).

Definition at line 132 of file project.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::project_polynomial_register ( const signature &  sig,
project_polynomial_t  fn 
)
bool vcsn::dyn::detail::project_register ( const signature &  sig,
project_t  fn 
)
template<Automaton Aut, typename Dir , typename Bool , typename String >
automaton vcsn::dyn::detail::proper ( const automaton &  aut,
direction  dir,
bool  prune,
const std::string &  algo 
)

Bridge.

Definition at line 299 of file proper.hh.

References vcsn::dyn::automaton::as(), and vcsn::proper_lazy().

Here is the call graph for this function:

bool vcsn::dyn::detail::proper_register ( const signature &  sig,
proper_t  fn 
)

Definition at line 1219 of file algos.cc.

static Registry< proper_t>& vcsn::dyn::detail::proper_registry ( )
static

Definition at line 1219 of file algos.cc.

Referenced by vcsn::dyn::proper().

template<Automaton Aut>
automaton vcsn::dyn::detail::push_weights ( const automaton &  aut)

Bridge.

Definition at line 71 of file push-weights.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::push_weights_register ( const signature &  sig,
push_weights_t  fn 
)

Definition at line 1228 of file algos.cc.

static Registry< push_weights_t>& vcsn::dyn::detail::push_weights_registry ( )
static

Definition at line 1228 of file algos.cc.

Referenced by vcsn::dyn::push_weights().

template<typename Ctx , typename Unsigned1 , typename Unsigned2 >
automaton vcsn::dyn::detail::quotkbaseb ( const context &  ctx,
unsigned  divisor,
unsigned  base 
)

Bridge.

Definition at line 76 of file quotkbaseb.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::quotkbaseb_register ( const signature &  sig,
quotkbaseb_t  fn 
)

Definition at line 1237 of file algos.cc.

static Registry< quotkbaseb_t>& vcsn::dyn::detail::quotkbaseb_registry ( )
static

Definition at line 1237 of file algos.cc.

Referenced by vcsn::dyn::quotkbaseb().

template<typename Ctx , typename NumStates , typename Density , typename NumInitial , typename NumFinal , typename MaxLabels , typename LoopChance , typename String >
automaton vcsn::dyn::detail::random_automaton ( const context &  ctx,
unsigned  num_states,
float  density,
unsigned  num_initial,
unsigned  num_final,
boost::optional< unsigned >  max_labels,
float  loop_chance,
const std::string &  weights 
)

Bridge.

Definition at line 217 of file random-automaton.hh.

References vcsn::dyn::context::as(), and vcsn::random_automaton().

Here is the call graph for this function:

template<typename Ctx , typename >
automaton vcsn::dyn::detail::random_automaton_deterministic ( const context &  ctx,
unsigned  num_states 
)

Bridge.

Definition at line 276 of file random-automaton.hh.

References vcsn::dyn::context::as(), and vcsn::random_automaton_deterministic().

Here is the call graph for this function:

bool vcsn::dyn::detail::random_automaton_deterministic_register ( const signature &  sig,
random_automaton_deterministic_t  fn 
)

Definition at line 1255 of file algos.cc.

static Registry< random_automaton_deterministic_t>& vcsn::dyn::detail::random_automaton_deterministic_registry ( )
static

Definition at line 1255 of file algos.cc.

Referenced by vcsn::dyn::random_automaton_deterministic().

bool vcsn::dyn::detail::random_automaton_register ( const signature &  sig,
random_automaton_t  fn 
)

Definition at line 1246 of file algos.cc.

static Registry< random_automaton_t>& vcsn::dyn::detail::random_automaton_registry ( )
static

Definition at line 1246 of file algos.cc.

Referenced by vcsn::dyn::random_automaton().

template<typename Context , typename String , typename Identities >
expression vcsn::dyn::detail::random_expression ( const context &  ctx,
const std::string &  param,
identities  ids 
)

Bridge.

Definition at line 287 of file random-expression.hh.

References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::random_expression_register ( const signature &  sig,
random_expression_t  fn 
)

Definition at line 1264 of file algos.cc.

static Registry< random_expression_t>& vcsn::dyn::detail::random_expression_registry ( )
static

Definition at line 1264 of file algos.cc.

Referenced by vcsn::dyn::random_expression().

template<typename Context , typename String >
weight vcsn::dyn::detail::random_weight ( const context &  ctx,
const std::string &  param 
)

Bridge.

Definition at line 31 of file random-weight.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::random_weight_register ( const signature &  sig,
random_weight_t  fn 
)

Definition at line 1273 of file algos.cc.

static Registry< random_weight_t>& vcsn::dyn::detail::random_weight_registry ( )
static

Definition at line 1273 of file algos.cc.

Referenced by vcsn::dyn::random_weight().

template<Automaton Aut1, Automaton Aut2>
automaton vcsn::dyn::detail::rdivide ( const automaton &  aut1,
const automaton &  aut2 
)

Bridge.

Definition at line 767 of file conjunction.hh.

References vcsn::dyn::automaton::as(), and vcsn::rdivide().

Referenced by rdivide_expression(), rdivide_label(), and rdivide_weight().

Here is the call graph for this function:

template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression vcsn::dyn::detail::rdivide_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (rdivide).

Definition at line 148 of file divide.hh.

References rdivide().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::rdivide_expression_register ( const signature &  sig,
rdivide_expression_t  fn 
)

Definition at line 1291 of file algos.cc.

static Registry< rdivide_expression_t>& vcsn::dyn::detail::rdivide_expression_registry ( )
static

Definition at line 1291 of file algos.cc.

Referenced by vcsn::dyn::rdivide().

template<typename LabelSetLhs , typename LabelSetRhs >
label vcsn::dyn::detail::rdivide_label ( const label &  lhs,
const label &  rhs 
)

Bridge (rdivide).

Definition at line 137 of file divide.hh.

References rdivide().

Here is the call graph for this function:

bool vcsn::dyn::detail::rdivide_label_register ( const signature &  sig,
rdivide_label_t  fn 
)

Definition at line 1300 of file algos.cc.

static Registry< rdivide_label_t>& vcsn::dyn::detail::rdivide_label_registry ( )
static

Definition at line 1300 of file algos.cc.

bool vcsn::dyn::detail::rdivide_register ( const signature &  sig,
rdivide_t  fn 
)

Definition at line 1282 of file algos.cc.

static Registry< rdivide_t>& vcsn::dyn::detail::rdivide_registry ( )
static

Definition at line 1282 of file algos.cc.

Referenced by vcsn::dyn::rdivide().

template<typename WeightSetLhs , typename WeightSetRhs >
weight vcsn::dyn::detail::rdivide_weight ( const weight &  lhs,
const weight &  rhs 
)

Bridge (rdivide).

Definition at line 159 of file divide.hh.

References rdivide().

Here is the call graph for this function:

bool vcsn::dyn::detail::rdivide_weight_register ( const signature &  sig,
rdivide_weight_t  fn 
)

Definition at line 1309 of file algos.cc.

static Registry< rdivide_weight_t>& vcsn::dyn::detail::rdivide_weight_registry ( )
static

Definition at line 1309 of file algos.cc.

template<typename Context , typename Istream , typename Bool >
label vcsn::dyn::detail::read_label ( const context &  ctx,
std::istream &  is,
bool  quoted 
)

Bridge.

Definition at line 31 of file read.hh.

References vcsn::dyn::context::as(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::read_label_register ( const signature &  sig,
read_label_t  fn 
)
template<typename Context , typename Istream >
polynomial vcsn::dyn::detail::read_polynomial ( const context &  ctx,
std::istream &  is 
)

Bridge.

Definition at line 60 of file read.hh.

References vcsn::dyn::context::as(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::read_polynomial_register ( const signature &  sig,
read_polynomial_t  fn 
)

Definition at line 1318 of file algos.cc.

static Registry< read_polynomial_t>& vcsn::dyn::detail::read_polynomial_registry ( )
static

Definition at line 1318 of file algos.cc.

Referenced by vcsn::dyn::read_polynomial().

template<typename Context , typename Istream >
weight vcsn::dyn::detail::read_weight ( const context &  ctx,
std::istream &  is 
)

Bridge.

Definition at line 90 of file read.hh.

References vcsn::dyn::context::as(), and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::read_weight_register ( const signature &  sig,
read_weight_t  fn 
)

Definition at line 1327 of file algos.cc.

static Registry< read_weight_t>& vcsn::dyn::detail::read_weight_registry ( )
static

Definition at line 1327 of file algos.cc.

Referenced by vcsn::dyn::read_weight().

template<Automaton Aut>
automaton vcsn::dyn::detail::realtime ( const automaton &  aut)

Bridge.

Definition at line 231 of file letterize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::realtime_register ( const signature &  sig,
realtime_t  fn 
)

Definition at line 1336 of file algos.cc.

static Registry< realtime_t>& vcsn::dyn::detail::realtime_registry ( )
static

Definition at line 1336 of file algos.cc.

Referenced by vcsn::dyn::realtime().

template<Automaton Aut>
automaton vcsn::dyn::detail::reduce ( const automaton &  aut)

Bridge.

Definition at line 621 of file reduce.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::reduce_register ( const signature &  sig,
reduce_t  fn 
)

Definition at line 1345 of file algos.cc.

static Registry< reduce_t>& vcsn::dyn::detail::reduce_registry ( )
static

Definition at line 1345 of file algos.cc.

Referenced by vcsn::dyn::reduce().

template<Automaton Aut, typename WeightSet , typename String >
automaton vcsn::dyn::detail::rweight ( const automaton &  aut,
const weight &  weight,
const std::string &  algo 
)

Bridge.

Definition at line 351 of file weight.hh.

References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::copy_into(), vcsn::detail::ctx, join(), make_context(), and vcsn::make_mutable_automaton().

Here is the call graph for this function:

template<typename ExpansionSet , typename WeightSet >
expansion vcsn::dyn::detail::rweight_expansion ( const expansion &  exp,
const weight &  weight 
)

Bridge (rweight).

Definition at line 406 of file weight.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expansionset(), vcsn::detail::rs, and vcsn::rweight().

Here is the call graph for this function:

bool vcsn::dyn::detail::rweight_expansion_register ( const signature &  sig,
rweight_expansion_t  fn 
)

Definition at line 1363 of file algos.cc.

static Registry< rweight_expansion_t>& vcsn::dyn::detail::rweight_expansion_registry ( )
static

Definition at line 1363 of file algos.cc.

Referenced by vcsn::dyn::rweight().

template<typename ExpSet , typename WeightSet >
expression vcsn::dyn::detail::rweight_expression ( const expression &  exp,
const weight &  weight 
)

Bridge (rweight).

Definition at line 430 of file weight.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expressionset(), vcsn::detail::rs, and vcsn::rweight().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::rweight_expression_register ( const signature &  sig,
rweight_expression_t  fn 
)

Definition at line 1372 of file algos.cc.

static Registry< rweight_expression_t>& vcsn::dyn::detail::rweight_expression_registry ( )
static

Definition at line 1372 of file algos.cc.

template<typename PolynomialSet , typename WeightSet >
polynomial vcsn::dyn::detail::rweight_polynomial ( const polynomial &  poly,
const weight &  weight 
)

Bridge (rweight).

Definition at line 453 of file weight.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_polynomialset(), and vcsn::rweight().

Here is the call graph for this function:

bool vcsn::dyn::detail::rweight_polynomial_register ( const signature &  sig,
rweight_polynomial_t  fn 
)

Definition at line 1381 of file algos.cc.

static Registry< rweight_polynomial_t>& vcsn::dyn::detail::rweight_polynomial_registry ( )
static

Definition at line 1381 of file algos.cc.

bool vcsn::dyn::detail::rweight_register ( const signature &  sig,
rweight_t  fn 
)

Definition at line 1354 of file algos.cc.

static Registry< rweight_t>& vcsn::dyn::detail::rweight_registry ( )
static

Definition at line 1354 of file algos.cc.

Referenced by vcsn::dyn::rweight().

template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::rweight_tag ( Aut &  aut,
const weight_t_of< Aut > &  w 
)

Right-product.

Definition at line 343 of file weight.hh.

References vcsn::rweight_here().

Here is the call graph for this function:

template<Automaton Aut, typename String >
automaton vcsn::dyn::detail::scc ( const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 704 of file scc.hh.

bool vcsn::dyn::detail::scc_register ( const signature &  sig,
scc_t  fn 
)

Definition at line 1390 of file algos.cc.

static Registry< scc_t>& vcsn::dyn::detail::scc_registry ( )
static

Definition at line 1390 of file algos.cc.

Referenced by vcsn::dyn::scc().

template<Automaton Aut, typename Num , typename Len >
polynomial vcsn::dyn::detail::shortest ( const automaton &  aut,
boost::optional< unsigned >  num,
boost::optional< unsigned >  len 
)

Bridge.

Definition at line 318 of file shortest.hh.

References vcsn::dyn::automaton::as(), and vcsn::detail::make_word_polynomialset().

Here is the call graph for this function:

bool vcsn::dyn::detail::shortest_register ( const signature &  sig,
shortest_t  fn 
)

Definition at line 1399 of file algos.cc.

static Registry< shortest_t>& vcsn::dyn::detail::shortest_registry ( )
static

Definition at line 1399 of file algos.cc.

Referenced by vcsn::dyn::shortest().

template<typename Auts >
automaton vcsn::dyn::detail::shuffle ( const std::vector< automaton > &  as)

Bridge (shuffle).

Definition at line 811 of file conjunction.hh.

template<typename Auts , size_t... I>
automaton vcsn::dyn::detail::shuffle_ ( const std::vector< automaton > &  as,
vcsn::detail::index_sequence< I...>   
)

Variadic bridge helper.

Definition at line 802 of file conjunction.hh.

References vcsn::shuffle().

Referenced by vcsn::rat::printer< ExpSet >::format(), vcsn::rat::expansionset< expressionset_t >::infiltrate(), and vcsn::rat::expansionset< expressionset_t >::shuffle().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::shuffle_expression ( const expression &  lhs,
const expression &  rhs 
)

Bridge (shuffle).

Definition at line 842 of file conjunction.hh.

References vcsn::shuffle().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::shuffle_expression_register ( const signature &  sig,
shuffle_expression_t  fn 
)

Definition at line 1417 of file algos.cc.

static Registry< shuffle_expression_t>& vcsn::dyn::detail::shuffle_expression_registry ( )
static

Definition at line 1417 of file algos.cc.

Referenced by vcsn::dyn::shuffle().

bool vcsn::dyn::detail::shuffle_register ( const signature &  sig,
shuffle_t  fn 
)

Definition at line 1408 of file algos.cc.

static Registry< shuffle_t>& vcsn::dyn::detail::shuffle_registry ( )
static

Definition at line 1408 of file algos.cc.

Referenced by vcsn::dyn::shuffle().

template<Automaton Aut>
automaton vcsn::dyn::detail::sort ( const automaton &  aut)

Bridge.

Definition at line 176 of file sort.hh.

References vcsn::dyn::automaton::as().

Referenced by vcsn::detail::sorter< Aut >::visit_successors_of_().

Here is the call graph for this function:

bool vcsn::dyn::detail::sort_register ( const signature &  sig,
sort_t  fn 
)

Definition at line 1426 of file algos.cc.

static Registry< sort_t>& vcsn::dyn::detail::sort_registry ( )
static

Definition at line 1426 of file algos.cc.

Referenced by vcsn::dyn::sort().

template<typename ExpSet >
polynomial vcsn::dyn::detail::split ( const expression &  exp)

Bridge.

Definition at line 275 of file split.hh.

References vcsn::dyn::value_impl< Tag >::as(), vcsn::rat::make_expression_polynomialset(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename PolynomialSet >
polynomial vcsn::dyn::detail::split_polynomial ( const polynomial &  poly)

Bridge (split).

Definition at line 315 of file split.hh.

References vcsn::dyn::value_impl< Tag >::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::split_polynomial_register ( const signature &  sig,
split_polynomial_t  fn 
)

Definition at line 1444 of file algos.cc.

static Registry< split_polynomial_t>& vcsn::dyn::detail::split_polynomial_registry ( )
static

Definition at line 1444 of file algos.cc.

bool vcsn::dyn::detail::split_register ( const signature &  sig,
split_t  fn 
)

Definition at line 1435 of file algos.cc.

static Registry< split_t>& vcsn::dyn::detail::split_registry ( )
static

Definition at line 1435 of file algos.cc.

Referenced by vcsn::dyn::split().

template<Automaton Aut>
automaton vcsn::dyn::detail::standard ( const automaton &  aut)

Bridge.

Definition at line 139 of file standard.hh.

References vcsn::dyn::automaton::as(), and vcsn::standard().

Here is the call graph for this function:

template<typename ExpSet >
automaton vcsn::dyn::detail::standard_expression ( const expression &  exp)

Bridge (standard).

Definition at line 400 of file standard.hh.

References vcsn::dyn::automaton::as().

Referenced by vcsn::ctx::detail::register_expression_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::standard_expression_register ( const signature &  sig,
standard_expression_t  fn 
)

Definition at line 1462 of file algos.cc.

static Registry< standard_expression_t>& vcsn::dyn::detail::standard_expression_registry ( )
static

Definition at line 1462 of file algos.cc.

Referenced by vcsn::dyn::standard().

bool vcsn::dyn::detail::standard_register ( const signature &  sig,
standard_t  fn 
)

Definition at line 1453 of file algos.cc.

static Registry< standard_t>& vcsn::dyn::detail::standard_registry ( )
static

Definition at line 1453 of file algos.cc.

Referenced by vcsn::dyn::standard().

template<Automaton Aut, typename String >
automaton vcsn::dyn::detail::star ( const automaton &  a,
const std::string &  algo 
)

Bridge.

Definition at line 124 of file star.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::star().

Here is the call graph for this function:

template<typename ExpSet >
unsigned vcsn::dyn::detail::star_height ( const expression &  exp)

Bridge.

Definition at line 158 of file star-height.hh.

bool vcsn::dyn::detail::star_height_register ( const signature &  sig,
star_height_t  fn 
)

Definition at line 1480 of file algos.cc.

static Registry< star_height_t>& vcsn::dyn::detail::star_height_registry ( )
static

Definition at line 1480 of file algos.cc.

Referenced by vcsn::dyn::star_height().

template<typename ExpSet >
expression vcsn::dyn::detail::star_normal_form ( const expression &  exp)

Bridge.

Definition at line 198 of file star-normal-form.hh.

bool vcsn::dyn::detail::star_normal_form_register ( const signature &  sig,
star_normal_form_t  fn 
)

Definition at line 1489 of file algos.cc.

static Registry< star_normal_form_t>& vcsn::dyn::detail::star_normal_form_registry ( )
static

Definition at line 1489 of file algos.cc.

Referenced by vcsn::dyn::star_normal_form().

bool vcsn::dyn::detail::star_register ( const signature &  sig,
star_t  fn 
)

Definition at line 1471 of file algos.cc.

static Registry< star_t>& vcsn::dyn::detail::star_registry ( )
static

Definition at line 1471 of file algos.cc.

Referenced by vcsn::dyn::star().

template<Automaton Aut>
automaton vcsn::dyn::detail::strip ( const automaton &  aut)

Bridge.

Definition at line 46 of file strip.hh.

References vcsn::dyn::automaton::as().

Referenced by is_valid().

Here is the call graph for this function:

bool vcsn::dyn::detail::strip_register ( const signature &  sig,
strip_t  fn 
)

Definition at line 1498 of file algos.cc.

static Registry< strip_t>& vcsn::dyn::detail::strip_registry ( )
static

Definition at line 1498 of file algos.cc.

Referenced by vcsn::dyn::strip().

template<Automaton Aut>
automaton vcsn::dyn::detail::subword ( const automaton &  aut)

Bridge.

Definition at line 174 of file prefix.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::subword_register ( const signature &  sig,
subword_t  fn 
)

Definition at line 1507 of file algos.cc.

static Registry< subword_t>& vcsn::dyn::detail::subword_registry ( )
static

Definition at line 1507 of file algos.cc.

Referenced by vcsn::dyn::subword().

template<Automaton Aut>
automaton vcsn::dyn::detail::suffix ( const automaton &  aut)

Bridge.

Definition at line 44 of file prefix.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::suffix_register ( const signature &  sig,
suffix_t  fn 
)

Definition at line 1516 of file algos.cc.

static Registry< suffix_t>& vcsn::dyn::detail::suffix_registry ( )
static

Definition at line 1516 of file algos.cc.

Referenced by vcsn::dyn::suffix().

template<Automaton Aut>
automaton vcsn::dyn::detail::synchronize ( const automaton &  aut)

Bridge.

Definition at line 362 of file synchronize.hh.

References vcsn::dyn::automaton::as().

Referenced by vcsn::synchronize().

Here is the call graph for this function:

bool vcsn::dyn::detail::synchronize_register ( const signature &  sig,
synchronize_t  fn 
)

Definition at line 1525 of file algos.cc.

static Registry< synchronize_t>& vcsn::dyn::detail::synchronize_registry ( )
static

Definition at line 1525 of file algos.cc.

Referenced by vcsn::dyn::synchronize().

template<Automaton Aut, typename String >
label vcsn::dyn::detail::synchronizing_word ( const automaton &  aut,
const std::string &  algo 
)

Bridge.

Definition at line 442 of file synchronizing-word.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::make_wordset(), and vcsn::synchronizing_word().

Here is the call graph for this function:

bool vcsn::dyn::detail::synchronizing_word_register ( const signature &  sig,
synchronizing_word_t  fn 
)

Definition at line 1534 of file algos.cc.

static Registry< synchronizing_word_t>& vcsn::dyn::detail::synchronizing_word_registry ( )
static

Definition at line 1534 of file algos.cc.

Referenced by vcsn::dyn::synchronizing_word().

template<typename ExpSet >
automaton vcsn::dyn::detail::thompson ( const expression &  exp)

Bridge.

Definition at line 215 of file thompson.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::detail::make_nullableset_context().

Here is the call graph for this function:

bool vcsn::dyn::detail::thompson_register ( const signature &  sig,
thompson_t  fn 
)

Definition at line 1543 of file algos.cc.

static Registry< thompson_t>& vcsn::dyn::detail::thompson_registry ( )
static

Definition at line 1543 of file algos.cc.

Referenced by vcsn::dyn::thompson().

template<typename ExpSet >
expansion vcsn::dyn::detail::to_expansion ( const expression &  exp)

Bridge.

Definition at line 427 of file to-expansion.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::to_expansion_register ( const signature &  sig,
to_expansion_t  fn 
)

Definition at line 1552 of file algos.cc.

static Registry< to_expansion_t>& vcsn::dyn::detail::to_expansion_registry ( )
static

Definition at line 1552 of file algos.cc.

Referenced by vcsn::dyn::to_expansion().

template<Automaton Aut, typename Identities , typename String >
expression vcsn::dyn::detail::to_expression ( const automaton &  aut,
identities  ids,
const std::string &  algo 
)

Bridge.

Definition at line 616 of file to-expression.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::rs, and vcsn::to_expression().

Here is the call graph for this function:

template<typename Context , typename Identities , typename Letters , typename Bool >
expression vcsn::dyn::detail::to_expression_class ( const context &  ctx,
identities  ids,
const letter_class_t &  letters,
bool  accept 
)

Bridge (to_expression).

Definition at line 729 of file to-expression.hh.

References vcsn::dyn::context::as(), vcsn::make_expressionset(), vcsn::detail::rs, and vcsn::dyn::to_expression().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::to_expression_class_register ( const signature &  sig,
to_expression_class_t  fn 
)

Definition at line 1570 of file algos.cc.

static Registry< to_expression_class_t>& vcsn::dyn::detail::to_expression_class_registry ( )
static

Definition at line 1570 of file algos.cc.

Referenced by vcsn::dyn::to_expression().

template<typename Context , typename Identities , typename Label >
expression vcsn::dyn::detail::to_expression_label ( const context &  ctx,
identities  ids,
const label &  lbl 
)

Bridge (to_expression).

Definition at line 640 of file to-expression.hh.

References vcsn::dyn::context::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::make_expressionset(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

bool vcsn::dyn::detail::to_expression_label_register ( const signature &  sig,
to_expression_label_t  fn 
)

Definition at line 1579 of file algos.cc.

static Registry< to_expression_label_t>& vcsn::dyn::detail::to_expression_label_registry ( )
static

Definition at line 1579 of file algos.cc.

Referenced by vcsn::dyn::to_expression().

bool vcsn::dyn::detail::to_expression_register ( const signature &  sig,
to_expression_t  fn 
)

Definition at line 1561 of file algos.cc.

static Registry< to_expression_t>& vcsn::dyn::detail::to_expression_registry ( )
static

Definition at line 1561 of file algos.cc.

Referenced by vcsn::dyn::to_expression().

template<Automaton Aut>
automaton vcsn::dyn::detail::transpose ( automaton &  aut)

Bridge.

Definition at line 273 of file transpose.hh.

Referenced by cominimize_tag_().

template<typename ExpSet >
expression vcsn::dyn::detail::transpose_expression ( const expression &  exp)

Bridge (transpose).

Definition at line 292 of file transpose.hh.

Referenced by vcsn::ctx::detail::register_expression_functions().

bool vcsn::dyn::detail::transpose_expression_register ( const signature &  sig,
transpose_expression_t  fn 
)

Definition at line 1597 of file algos.cc.

static Registry< transpose_expression_t>& vcsn::dyn::detail::transpose_expression_registry ( )
static

Definition at line 1597 of file algos.cc.

Referenced by vcsn::dyn::transpose().

bool vcsn::dyn::detail::transpose_register ( const signature &  sig,
transpose_t  fn 
)

Definition at line 1588 of file algos.cc.

static Registry< transpose_t>& vcsn::dyn::detail::transpose_registry ( )
static

Definition at line 1588 of file algos.cc.

Referenced by vcsn::dyn::transpose().

template<typename ExpSet >
expression vcsn::dyn::detail::transposition_expression ( const expression &  exp)

Bridge (transposition).

Definition at line 310 of file transpose.hh.

Referenced by vcsn::ctx::detail::register_expression_functions().

bool vcsn::dyn::detail::transposition_expression_register ( const signature &  sig,
transposition_expression_t  fn 
)

Definition at line 1606 of file algos.cc.

static Registry< transposition_expression_t>& vcsn::dyn::detail::transposition_expression_registry ( )
static

Definition at line 1606 of file algos.cc.

Referenced by vcsn::dyn::transposition().

template<typename PolynomialSet >
automaton vcsn::dyn::detail::trie ( const polynomial &  poly)

Bridge.

Definition at line 242 of file trie.hh.

References vcsn::dyn::value_impl< Tag >::as(), and vcsn::trie().

Here is the call graph for this function:

bool vcsn::dyn::detail::trie_register ( const signature &  sig,
trie_t  fn 
)

Definition at line 1615 of file algos.cc.

static Registry< trie_t>& vcsn::dyn::detail::trie_registry ( )
static

Definition at line 1615 of file algos.cc.

Referenced by vcsn::dyn::trie().

template<typename Context , typename Istream , typename String >
automaton vcsn::dyn::detail::trie_stream ( const context &  ctx,
std::istream &  is,
const std::string &  format 
)

Bridge (trie).

Definition at line 302 of file trie.hh.

References vcsn::dyn::context::as(), vcsn::detail::make_word_polynomialset(), and vcsn::trie().

Here is the call graph for this function:

bool vcsn::dyn::detail::trie_stream_register ( const signature &  sig,
trie_stream_t  fn 
)

Definition at line 1624 of file algos.cc.

static Registry< trie_stream_t>& vcsn::dyn::detail::trie_stream_registry ( )
static

Definition at line 1624 of file algos.cc.

Referenced by vcsn::dyn::trie().

template<Automaton Aut>
automaton vcsn::dyn::detail::trim ( const automaton &  aut)

Bridge.

Definition at line 224 of file accessible.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::trim_register ( const signature &  sig,
trim_t  fn 
)

Definition at line 1633 of file algos.cc.

static Registry< trim_t>& vcsn::dyn::detail::trim_registry ( )
static

Definition at line 1633 of file algos.cc.

Referenced by vcsn::dyn::trim().

template<typename Auts >
automaton vcsn::dyn::detail::tuple ( const std::vector< automaton > &  as)

Bridge.

Definition at line 210 of file tuple-automaton.hh.

Referenced by tuple_().

template<typename Contexts , size_t... I>
context vcsn::dyn::detail::tuple_ ( const std::vector< context > &  cs,
vcsn::detail::index_sequence< I...>   
)

Bridge helper.

Definition at line 36 of file tuple.hh.

References tuple_context().

Here is the call graph for this function:

template<typename ExpansionSets , size_t... I>
expansion vcsn::dyn::detail::tuple_ ( const std::vector< expansion > &  es,
vcsn::detail::index_sequence< I...>   
)

Bridge helper.

Definition at line 104 of file tuple.hh.

References vcsn::tuple_expansionset().

Here is the call graph for this function:

template<typename ExpSets , size_t... I>
expression vcsn::dyn::detail::tuple_ ( const std::vector< expression > &  es,
vcsn::detail::index_sequence< I...>   
)

Bridge helper.

Definition at line 143 of file tuple.hh.

References vcsn::detail::rs, and vcsn::tuple_expressionset().

Here is the call graph for this function:

template<typename PolynomialSet , size_t... I>
polynomial vcsn::dyn::detail::tuple_ ( const std::vector< polynomial > &  polys,
vcsn::detail::index_sequence< I...>   
)

Bridge helper.

Definition at line 195 of file tuple.hh.

References vcsn::tuple_polynomialset().

Here is the call graph for this function:

template<typename Auts , size_t... I>
automaton vcsn::dyn::detail::tuple_ ( const std::vector< automaton > &  as,
vcsn::detail::index_sequence< I...>   
)

Bridge helper.

Definition at line 201 of file tuple-automaton.hh.

References tuple().

Here is the call graph for this function:

template<typename Contexts >
context vcsn::dyn::detail::tuple_context ( const std::vector< context > &  cs)

Bridge (tuple).

Definition at line 46 of file tuple.hh.

Referenced by tuple_().

bool vcsn::dyn::detail::tuple_context_register ( const signature &  sig,
tuple_context_t  fn 
)

Definition at line 1651 of file algos.cc.

static Registry< tuple_context_t>& vcsn::dyn::detail::tuple_context_registry ( )
static

Definition at line 1651 of file algos.cc.

Referenced by vcsn::dyn::tuple().

template<typename ExpansionSets >
expansion vcsn::dyn::detail::tuple_expansion ( const std::vector< expansion > &  es)

Bridge (tuple).

Definition at line 123 of file tuple.hh.

bool vcsn::dyn::detail::tuple_expansion_register ( const signature &  sig,
tuple_expansion_t  fn 
)

Definition at line 1660 of file algos.cc.

static Registry< tuple_expansion_t>& vcsn::dyn::detail::tuple_expansion_registry ( )
static

Definition at line 1660 of file algos.cc.

Referenced by vcsn::dyn::tuple().

template<typename ExpSets >
expression vcsn::dyn::detail::tuple_expression ( const std::vector< expression > &  es)

Bridge (tuple).

Definition at line 160 of file tuple.hh.

bool vcsn::dyn::detail::tuple_expression_register ( const signature &  sig,
tuple_expression_t  fn 
)

Definition at line 1669 of file algos.cc.

static Registry< tuple_expression_t>& vcsn::dyn::detail::tuple_expression_registry ( )
static

Definition at line 1669 of file algos.cc.

template<typename PolynomialSets >
polynomial vcsn::dyn::detail::tuple_polynomial ( const std::vector< polynomial > &  ps)

Bridge (tuple).

Definition at line 212 of file tuple.hh.

bool vcsn::dyn::detail::tuple_polynomial_register ( const signature &  sig,
tuple_polynomial_t  fn 
)

Definition at line 1678 of file algos.cc.

static Registry< tuple_polynomial_t>& vcsn::dyn::detail::tuple_polynomial_registry ( )
static

Definition at line 1678 of file algos.cc.

bool vcsn::dyn::detail::tuple_register ( const signature &  sig,
tuple_t  fn 
)

Definition at line 1642 of file algos.cc.

static Registry< tuple_t>& vcsn::dyn::detail::tuple_registry ( )
static

Definition at line 1642 of file algos.cc.

Referenced by vcsn::dyn::tuple().

template<typename Ctx , typename Unsigned >
automaton vcsn::dyn::detail::u ( const context &  ctx,
unsigned  n 
)

Bridge.

Definition at line 68 of file u.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::u_register ( const signature &  sig,
u_t  fn 
)

Definition at line 1687 of file algos.cc.

static Registry< u_t>& vcsn::dyn::detail::u_registry ( )
static

Definition at line 1687 of file algos.cc.

Referenced by vcsn::dyn::u().

template<Automaton Aut>
automaton vcsn::dyn::detail::universal ( const automaton &  aut)

Bridge.

Definition at line 148 of file universal.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::universal_register ( const signature &  sig,
universal_t  fn 
)

Definition at line 1696 of file algos.cc.

static Registry< universal_t>& vcsn::dyn::detail::universal_registry ( )
static

Definition at line 1696 of file algos.cc.

Referenced by vcsn::dyn::universal().

template<typename Context >
weight vcsn::dyn::detail::weight_one ( const context &  ctx)

Bridge.

Definition at line 33 of file constant.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::weight_one_register ( const signature &  sig,
weight_one_t  fn 
)

Definition at line 1705 of file algos.cc.

static Registry< weight_one_t>& vcsn::dyn::detail::weight_one_registry ( )
static

Definition at line 1705 of file algos.cc.

Referenced by vcsn::dyn::weight_one().

template<Automaton Aut>
weight vcsn::dyn::detail::weight_series ( const automaton &  aut)

Bridge.

Definition at line 55 of file weight-series.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::res.

Here is the call graph for this function:

bool vcsn::dyn::detail::weight_series_register ( const signature &  sig,
weight_series_t  fn 
)

Definition at line 1714 of file algos.cc.

static Registry< weight_series_t>& vcsn::dyn::detail::weight_series_registry ( )
static

Definition at line 1714 of file algos.cc.

Referenced by vcsn::dyn::weight_series().

template<typename Context >
weight vcsn::dyn::detail::weight_zero ( const context &  ctx)

Bridge.

Definition at line 42 of file constant.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

bool vcsn::dyn::detail::weight_zero_register ( const signature &  sig,
weight_zero_t  fn 
)

Definition at line 1723 of file algos.cc.

static Registry< weight_zero_t>& vcsn::dyn::detail::weight_zero_registry ( )
static

Definition at line 1723 of file algos.cc.

Referenced by vcsn::dyn::weight_zero().

template<typename ExpSet , typename String >
automaton vcsn::dyn::detail::zpc ( const expression &  exp,
const std::string &  algo 
)

Bridge.

Definition at line 376 of file zpc.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::detail::make_nullableset_context().

Here is the call graph for this function:

bool vcsn::dyn::detail::zpc_register ( const signature &  sig,
zpc_t  fn 
)

Definition at line 1732 of file algos.cc.

static Registry< zpc_t>& vcsn::dyn::detail::zpc_registry ( )
static

Definition at line 1732 of file algos.cc.

Referenced by vcsn::dyn::zpc().