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

Classes

class  automaton_base
 Base class for automata. More...
 
singleton  automaton_wrapper
 A wrapped typed automaton. More...
 
class  context_base
 Template-less root for contexts. More...
 
singleton  context_wrapper
 A wrapped typed context. More...
 
class  expansion_base
 An abstract expansion. More...
 
singleton  expansion_wrapper
 Aggregate an expansion and its expansionset. More...
 
class  expression_base
 An abstract expression. More...
 
singleton  expression_wrapper
 Aggregate an expression and its expressionset. More...
 
class  label_base
 An abstract label. More...
 
class  label_wrapper
 Aggregate a label and its labelset. More...
 
class  polynomial_base
 An abstract polynomial. More...
 
class  polynomial_wrapper
 Aggregate a polynomial and its polynomialset. More...
 
class  Registry
 
class  weight_base
 An abstract weight. More...
 
class  weight_wrapper
 Aggregate a weight and its 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 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(automaton &lhs, automaton &rhs, bool lazy) -> automaton
 
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_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 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, rat::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_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, rat::identities ids) -> expression
 
using expression_zero_t = auto(const context &ctx, rat::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_t = auto(const expression &exp) -> rat::identities
 
using infiltration_t = auto(const std::vector< automaton > &as) -> automaton
 
using infiltration_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using info_t = auto(const automaton &aut, std::ostream &out, bool detailed) -> 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 ldiv_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using ldiv_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using left_mult_t = auto(const weight &weight, const automaton &aut, const std::string &algo) -> automaton
 
using left_mult_expansion_t = auto(const weight &weight, const expansion &exp) -> expansion
 
using left_mult_expression_t = auto(const weight &weight, const expression &exp) -> expression
 
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, vcsn::rat::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, const std::string &algo) -> automaton
 
using list_polynomial_t = auto(const polynomial &polynomial, std::ostream &o) -> std::ostream &
 
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_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 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_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 random_automaton_t = auto(const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, float loop_chance) -> automaton
 
using random_automaton_deterministic_t = auto(const context &ctx, unsigned num_states) -> automaton
 
using rdiv_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
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 right_mult_t = auto(const automaton &aut, const weight &weight, const std::string &algo) -> automaton
 
using right_mult_expansion_t = auto(const expansion &exp, const weight &weight) -> expansion
 
using right_mult_expression_t = auto(const expression &exp, const weight &weight) -> expression
 
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 sum_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton
 
using sum_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion
 
using sum_expression_t = auto(const expression &lhs, const expression &rhs) -> expression
 
using sum_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial
 
using sum_weight_t = auto(const weight &lhs, const weight &rhs) -> weight
 
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, vcsn::rat::identities ids, const std::string &algo) -> expression
 
using to_expression_class_t = auto(const context &ctx, rat::identities ids, const letter_class_t &letters, bool accept) -> expression
 
using to_expression_label_t = auto(const context &ctx, rat::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_expansion_t = auto(const std::vector< expansion > &es) -> expansion
 
using tuple_expression_t = auto(const std::vector< expression > &es) -> expression
 
using u_t = auto(const context &ctx, unsigned n) -> automaton
 
using universal_t = auto(const automaton &aut) -> automaton
 
using weight_series_t = auto(const automaton &aut) -> 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 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<Automaton Lhs, Automaton Rhs, typename Bool >
automaton compose (automaton &lhs, automaton &rhs, bool lazy)
 Bridge. More...
 
template<Automaton Aut>
automaton conjugate (const automaton &a)
 Bridge. More...
 
template<std::size_t I, Automaton Aut>
auto do_insplit (Aut &aut) -> std::enable_if_t< labelset_t_of< Aut >::has_one()&&I!=0
 
template<std::size_t I, Automaton Aut>
autodecltype(insplit(aut))
std::enable_if_t
<!labelset_t_of< Aut >
::has_one()||I==0, Aut & > 
do_insplit (Aut &aut)
 
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<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 infiltration_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
 Variadic bridge helper. More...
 
template<typename Auts >
automaton infiltration (const std::vector< automaton > &as)
 Bridge (infiltration). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression infiltration_expression (const expression &lhs, const expression &rhs)
 Bridge (infiltration). 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 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, rat::identities ids)
 Bridge. More...
 
template<typename Context , typename Identities >
expression expression_zero (const context &ctx, rat::identities ids)
 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, rat::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)
 
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 ExpressionSetLhs , typename ExpressionSetRhs >
expression ldiv_expression (const expression &lhs, const expression &rhs)
 Bridge (ldiv). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial ldiv_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (ldiv). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial lgcd_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (lgcd). More...
 
template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression rdiv_expression (const expression &lhs, const expression &rhs)
 Bridge (rdiv). 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 eval (const automaton &aut, const label &lbl)
 Bridge. 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 >
rat::identities identities (const expression &exp)
 Bridge. More...
 
template<Automaton Aut, typename Ostream , typename Bool >
std::ostream & info (const automaton &aut, std::ostream &out, bool detailed)
 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_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_eps_acyclic (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<Automaton Aut, typename Tag >
automaton left_mult_tag (const weight_t_of< Aut > &w, Aut &aut)
 Left-product. More...
 
template<typename WeightSet , Automaton Aut, typename String >
automaton left_mult (const weight &weight, const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<typename WeightSet , typename ExpansionSet >
expansion left_mult_expansion (const weight &weight, const expansion &exp)
 Bridge (left_mult). More...
 
template<typename WeightSet , typename ExpSet >
expression left_mult_expression (const weight &weight, const expression &exp)
 Bridge (left_mult). More...
 
template<Automaton Aut, typename Tag >
automaton right_mult_tag (Aut &aut, const weight_t_of< Aut > &w)
 Right-product. More...
 
template<Automaton Aut, typename WeightSet , typename String >
automaton right_mult (const automaton &aut, const weight &weight, const std::string &algo)
 Bridge. More...
 
template<typename ExpansionSet , typename WeightSet >
expansion right_mult_expansion (const expansion &exp, const weight &weight)
 Bridge (right_mult). More...
 
template<typename ExpSet , typename WeightSet >
expression right_mult_expression (const expression &exp, const weight &weight)
 Bridge (right_mult). 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, vcsn::rat::identities ids, integral_constant)
 Bridge. More...
 
template<typename ExpSet >
expression lift_expression (const expression &exp)
 Bridge (lift). More...
 
template<Automaton Aut, typename String >
automaton lightest_automaton (const automaton &aut, 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 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)
 
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)
 
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 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<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 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 ExpSet , typename Ostream , typename String >
std::ostream & print_expression (const expression &exp, 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 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 , typename , typename , typename , typename >
automaton random_automaton (const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, float loop_chance)
 Bridge. More...
 
template<typename Ctx , typename >
automaton random_automaton_deterministic (const context &ctx, unsigned num_states)
 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 Lhs, Automaton Rhs, typename String >
automaton sum (const automaton &lhs, const automaton &rhs, const std::string &algo)
 Bridge. More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial sum_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (sum). More...
 
template<typename ExpansionSetLhs , typename ExpansionSetRhs >
expansion sum_expansion (const expansion &lhs, const expansion &rhs)
 Bridge (sum). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression sum_expression (const expression &lhs, const expression &rhs)
 Bridge (sum). More...
 
template<typename WeightSetLhs , typename WeightSetRhs >
weight sum_weight (const weight &lhs, const weight &rhs)
 Bridge (sum). 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, vcsn::rat::identities ids, const std::string &algo)
 Bridge. More...
 
template<typename Context , typename Identities , typename Label >
expression to_expression_label (const context &ctx, rat::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, rat::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 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 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<typename ExpSet , typename String >
automaton zpc (const expression &exp, const std::string &algo)
 Bridge. More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
auto join (const expression &lhs, const expression &rhs)
 Return the join of the expressionset of two expressions and their values in this new expressionset. More...
 
template<typename To , typename From >
To dyn_cast (From &&from)
 A dynamic_cast in debug mode, static_cast with NDEBUG. More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
auto join (const polynomial &lhs, const polynomial &rhs)
 Return the join of the polynomialset of two polynomials and their values in this new polynomialset. More...
 
bool accessible_register (const signature &sig, accessible_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 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_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 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_register (const signature &sig, eval_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_register (const signature &sig, identities_t fn)
 
bool infiltration_register (const signature &sig, infiltration_t fn)
 
bool infiltration_expression_register (const signature &sig, infiltration_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 ldiv_expression_register (const signature &sig, ldiv_expression_t fn)
 
bool ldiv_polynomial_register (const signature &sig, ldiv_polynomial_t fn)
 
bool left_mult_register (const signature &sig, left_mult_t fn)
 
bool left_mult_expansion_register (const signature &sig, left_mult_expansion_t fn)
 
bool left_mult_expression_register (const signature &sig, left_mult_expression_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 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_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 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_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 random_automaton_register (const signature &sig, random_automaton_t fn)
 
bool random_automaton_deterministic_register (const signature &sig, random_automaton_deterministic_t fn)
 
bool rdiv_expression_register (const signature &sig, rdiv_expression_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 right_mult_register (const signature &sig, right_mult_t fn)
 
bool right_mult_expansion_register (const signature &sig, right_mult_expansion_t fn)
 
bool right_mult_expression_register (const signature &sig, right_mult_expression_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 sum_register (const signature &sig, sum_t fn)
 
bool sum_expansion_register (const signature &sig, sum_expansion_t fn)
 
bool sum_expression_register (const signature &sig, sum_expression_t fn)
 
bool sum_polynomial_register (const signature &sig, sum_polynomial_t fn)
 
bool sum_weight_register (const signature &sig, sum_weight_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_expansion_register (const signature &sig, tuple_expansion_t fn)
 
bool tuple_expression_register (const signature &sig, tuple_expression_t fn)
 
bool u_register (const signature &sig, u_t fn)
 
bool universal_register (const signature &sig, universal_t fn)
 
bool weight_series_register (const signature &sig, weight_series_t fn)
 
bool zpc_register (const signature &sig, zpc_t fn)
 
static Registry< accessible_t > & accessible_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
< 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_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< 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_t > & eval_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_t > & identities_registry ()
 
static Registry< infiltration_t > & infiltration_registry ()
 
static Registry
< infiltration_expression_t > & 
infiltration_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
< ldiv_expression_t > & 
ldiv_expression_registry ()
 
static Registry
< ldiv_polynomial_t > & 
ldiv_polynomial_registry ()
 
static Registry< left_mult_t > & left_mult_registry ()
 
static Registry
< left_mult_expansion_t > & 
left_mult_expansion_registry ()
 
static Registry
< left_mult_expression_t > & 
left_mult_expression_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
< 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_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< 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
< random_automaton_t > & 
random_automaton_registry ()
 
static Registry
< random_automaton_deterministic_t > & 
random_automaton_deterministic_registry ()
 
static Registry
< rdiv_expression_t > & 
rdiv_expression_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< right_mult_t > & right_mult_registry ()
 
static Registry
< right_mult_expansion_t > & 
right_mult_expansion_registry ()
 
static Registry
< right_mult_expression_t > & 
right_mult_expression_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< sum_t > & sum_registry ()
 
static Registry
< sum_expansion_t > & 
sum_expansion_registry ()
 
static Registry
< sum_expression_t > & 
sum_expression_registry ()
 
static Registry
< sum_polynomial_t > & 
sum_polynomial_registry ()
 
static Registry< sum_weight_t > & sum_weight_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_expansion_t > & 
tuple_expansion_registry ()
 
static Registry
< tuple_expression_t > & 
tuple_expression_registry ()
 
static Registry< u_t > & u_registry ()
 
static Registry< universal_t > & universal_registry ()
 
static Registry
< weight_series_t > & 
weight_series_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::ambiguous_word_t = typedef auto (const automaton& aut) -> label

Definition at line 32 of file registries.hh.

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

Definition at line 40 of file registries.hh.

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

Definition at line 36 of file registries.hh.

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

Definition at line 44 of file registries.hh.

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

Definition at line 48 of file registries.hh.

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

Definition at line 52 of file registries.hh.

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

Definition at line 56 of file registries.hh.

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

Definition at line 60 of file registries.hh.

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

Definition at line 68 of file registries.hh.

Definition at line 72 of file registries.hh.

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

Definition at line 64 of file registries.hh.

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

Definition at line 76 of file registries.hh.

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

Definition at line 80 of file registries.hh.

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

Definition at line 84 of file registries.hh.

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

Definition at line 88 of file registries.hh.

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

Definition at line 92 of file registries.hh.

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

Definition at line 96 of file registries.hh.

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

Definition at line 104 of file registries.hh.

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

Definition at line 108 of file registries.hh.

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

Definition at line 112 of file registries.hh.

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

Definition at line 100 of file registries.hh.

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

Definition at line 116 of file registries.hh.

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

Definition at line 124 of file registries.hh.

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

Definition at line 128 of file registries.hh.

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

Definition at line 120 of file registries.hh.

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

Definition at line 136 of file registries.hh.

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

Definition at line 140 of file registries.hh.

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

Definition at line 132 of file registries.hh.

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

Definition at line 144 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 152 of file registries.hh.

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

Definition at line 148 of file registries.hh.

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

Definition at line 156 of file registries.hh.

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

Definition at line 160 of file registries.hh.

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

Definition at line 164 of file registries.hh.

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

Definition at line 168 of file registries.hh.

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

Definition at line 172 of file registries.hh.

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

Definition at line 180 of file registries.hh.

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

Definition at line 176 of file registries.hh.

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

Definition at line 184 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 188 of file registries.hh.

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

Definition at line 192 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 290 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 295 of file determinize.hh.

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

Definition at line 196 of file registries.hh.

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

Definition at line 200 of file registries.hh.

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

Definition at line 204 of file registries.hh.

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

Definition at line 208 of file registries.hh.

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

Definition at line 212 of file registries.hh.

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

Definition at line 216 of file registries.hh.

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

Definition at line 220 of file registries.hh.

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

Definition at line 224 of file registries.hh.

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

Definition at line 228 of file registries.hh.

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

Definition at line 232 of file registries.hh.

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

Definition at line 236 of file registries.hh.

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

Definition at line 244 of file registries.hh.

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

Definition at line 240 of file registries.hh.

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

Definition at line 252 of file registries.hh.

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

Definition at line 248 of file registries.hh.

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

Definition at line 256 of file registries.hh.

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

Definition at line 260 of file registries.hh.

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

Definition at line 264 of file registries.hh.

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

Definition at line 268 of file registries.hh.

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

Definition at line 272 of file registries.hh.

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

Definition at line 276 of file registries.hh.

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

Definition at line 280 of file registries.hh.

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

Definition at line 284 of file registries.hh.

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

Definition at line 288 of file registries.hh.

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

Definition at line 292 of file registries.hh.

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

Definition at line 296 of file registries.hh.

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

Definition at line 300 of file registries.hh.

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

Definition at line 304 of file registries.hh.

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

Definition at line 308 of file registries.hh.

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

Definition at line 312 of file registries.hh.

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

Definition at line 316 of file registries.hh.

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

Definition at line 320 of file registries.hh.

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

Definition at line 324 of file registries.hh.

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

Definition at line 328 of file registries.hh.

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

Definition at line 336 of file registries.hh.

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

Definition at line 332 of file registries.hh.

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

Definition at line 340 of file registries.hh.

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

Definition at line 344 of file registries.hh.

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

Definition at line 348 of file registries.hh.

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

Definition at line 356 of file registries.hh.

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

Definition at line 352 of file registries.hh.

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

Definition at line 360 of file registries.hh.

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

Definition at line 364 of file registries.hh.

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

Definition at line 368 of file registries.hh.

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

Definition at line 372 of file registries.hh.

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

Definition at line 380 of file registries.hh.

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

Definition at line 384 of file registries.hh.

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

Definition at line 376 of file registries.hh.

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

Definition at line 388 of file registries.hh.

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

Definition at line 392 of file registries.hh.

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

Definition at line 396 of file registries.hh.

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

Definition at line 400 of file registries.hh.

Definition at line 404 of file registries.hh.

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

Definition at line 408 of file registries.hh.

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

Definition at line 416 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 412 of file registries.hh.

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

Definition at line 420 of file registries.hh.

Definition at line 424 of file registries.hh.

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

Definition at line 428 of file registries.hh.

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

Definition at line 432 of file registries.hh.

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

Definition at line 436 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 448 of file registries.hh.

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

Definition at line 444 of file registries.hh.

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

Definition at line 452 of file registries.hh.

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

Definition at line 456 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 460 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 440 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 468 of file registries.hh.

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

Definition at line 464 of file registries.hh.

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

Definition at line 472 of file registries.hh.

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

Definition at line 476 of file registries.hh.

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

Definition at line 480 of file registries.hh.

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

Definition at line 484 of file registries.hh.

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

Definition at line 488 of file registries.hh.

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

Definition at line 492 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 500 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 504 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 508 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 512 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 516 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 496 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 520 of file registries.hh.

Definition at line 528 of file registries.hh.

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

Definition at line 532 of file registries.hh.

Definition at line 536 of file registries.hh.

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

Definition at line 524 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 540 of file registries.hh.

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

Definition at line 544 of file registries.hh.

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

Definition at line 552 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, float loop_chance) -> automaton

Definition at line 548 of file registries.hh.

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

Definition at line 556 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 560 of file registries.hh.

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

Definition at line 564 of file registries.hh.

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

Definition at line 568 of file registries.hh.

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

Definition at line 572 of file registries.hh.

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

Definition at line 576 of file registries.hh.

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

Definition at line 584 of file registries.hh.

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

Definition at line 588 of file registries.hh.

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

Definition at line 580 of file registries.hh.

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

Definition at line 592 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 596 of file registries.hh.

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

Definition at line 604 of file registries.hh.

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

Definition at line 600 of file registries.hh.

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

Definition at line 608 of file registries.hh.

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

Definition at line 616 of file registries.hh.

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

Definition at line 612 of file registries.hh.

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

Definition at line 624 of file registries.hh.

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

Definition at line 620 of file registries.hh.

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

Definition at line 632 of file registries.hh.

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

Definition at line 636 of file registries.hh.

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

Definition at line 628 of file registries.hh.

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

Definition at line 640 of file registries.hh.

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

Definition at line 644 of file registries.hh.

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

Definition at line 648 of file registries.hh.

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

Definition at line 656 of file registries.hh.

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

Definition at line 660 of file registries.hh.

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

Definition at line 664 of file registries.hh.

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

Definition at line 652 of file registries.hh.

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

Definition at line 668 of file registries.hh.

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

Definition at line 672 of file registries.hh.

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

Definition at line 676 of file registries.hh.

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

Definition at line 680 of file registries.hh.

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

Definition at line 684 of file registries.hh.

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

Definition at line 692 of file registries.hh.

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

Definition at line 696 of file registries.hh.

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

Definition at line 688 of file registries.hh.

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

Definition at line 704 of file registries.hh.

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

Definition at line 700 of file registries.hh.

Definition at line 708 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 716 of file registries.hh.

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

Definition at line 712 of file registries.hh.

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

Definition at line 720 of file registries.hh.

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

Definition at line 724 of file registries.hh.

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

Definition at line 728 of file registries.hh.

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

Definition at line 732 of file registries.hh.

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

Definition at line 736 of file registries.hh.

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

Definition at line 740 of file registries.hh.

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

Definition at line 744 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::accessible(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 17 of file algos.cc.

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

Definition at line 17 of file algos.cc.

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

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

Bridge.

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

References vcsn::ambiguous_word(), vcsn::dyn::make_label(), 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 26 of file algos.cc.

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

Definition at line 26 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().

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 44 of file algos.cc.

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

Definition at line 44 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 35 of file algos.cc.

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

Definition at line 35 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 700 of file are-isomorphic.hh.

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

Definition at line 53 of file algos.cc.

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

Definition at line 53 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::cerny(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 62 of file algos.cc.

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

Definition at line 62 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::coaccessible(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 71 of file algos.cc.

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

Definition at line 71 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 423 of file determinize.hh.

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 387 of file determinize.hh.

References 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 404 of file determinize.hh.

References 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 80 of file algos.cc.

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

Definition at line 80 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 379 of file determinize.hh.

References vcsn::codeterminize(), and vcsn::dyn::make_automaton().

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 195 of file minimize.hh.

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

Definition at line 89 of file algos.cc.

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

Definition at line 89 of file algos.cc.

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

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

Definition at line 186 of file minimize.hh.

References vcsn::dyn::make_automaton(), 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::complement(), and vcsn::dyn::make_automaton().

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::make_expansion().

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 107 of file algos.cc.

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

Definition at line 107 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 103 of file complement.hh.

References vcsn::dyn::make_expression().

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

Here is the call graph for this function:

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

Definition at line 116 of file algos.cc.

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

Definition at line 116 of file algos.cc.

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

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

Definition at line 98 of file algos.cc.

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

Definition at line 98 of file algos.cc.

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

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

Bridge.

Definition at line 76 of file complete.hh.

References vcsn::complete(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 125 of file algos.cc.

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

Definition at line 125 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 134 of file algos.cc.

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

Definition at line 134 of file algos.cc.

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

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

Bridge.

Definition at line 429 of file compose.hh.

References vcsn::compose(), vcsn::compose_lazy(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 143 of file algos.cc.

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

Definition at line 143 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 313 of file multiply.hh.

References vcsn::dyn::make_expression().

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

Here is the call graph for this function:

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

Definition at line 152 of file algos.cc.

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

Definition at line 152 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 161 of file algos.cc.

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

Definition at line 161 of file algos.cc.

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

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

Bridge.

Definition at line 58 of file conjugate.hh.

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 170 of file algos.cc.

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

Definition at line 170 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 510 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 494 of file conjunction.hh.

References vcsn::conjunction(), vcsn::conjunction_lazy(), and vcsn::dyn::make_automaton().

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

Here is the call graph for this function:

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

Bridge (conjunction).

Definition at line 766 of file conjunction.hh.

References vcsn::conjunction(), and vcsn::dyn::make_expression().

Referenced by vcsn::ctx::detail::register_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 188 of file algos.cc.

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

Definition at line 188 of file algos.cc.

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

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

Bridge (conjunction).

Definition at line 788 of file conjunction.hh.

References vcsn::conjunction(), and vcsn::dyn::make_polynomial().

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 197 of file algos.cc.

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

Definition at line 197 of file algos.cc.

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

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

Definition at line 179 of file algos.cc.

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

Definition at line 179 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 733 of file conjunction.hh.

References vcsn::conjunction(), and vcsn::dyn::make_automaton().

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 206 of file algos.cc.

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

Definition at line 206 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 204 of file constant-term.hh.

References vcsn::dyn::make_weight().

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 215 of file algos.cc.

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

Definition at line 215 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 64 of file make-context.hh.

References vcsn::dyn::make_context().

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 82 of file make-context.hh.

References vcsn::dyn::make_context().

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 233 of file algos.cc.

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

Definition at line 233 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 73 of file make-context.hh.

References vcsn::dyn::make_context().

Referenced by vcsn::ctx::detail::register_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 242 of file algos.cc.

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

Definition at line 242 of file algos.cc.

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

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

Definition at line 224 of file algos.cc.

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

Definition at line 224 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 421 of file copy.hh.

References vcsn::copy(), and vcsn::dyn::make_automaton().

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 409 of file copy.hh.

References vcsn::copy_into(), vcsn::dyn::make_automaton(), and vcsn::make_mutable_automaton().

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 260 of file algos.cc.

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

Definition at line 260 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,
rat::identities  ids 
)

Bridge (copy).

Definition at line 440 of file copy.hh.

References vcsn::rat::copy(), vcsn::dyn::make_expression(), 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 269 of file algos.cc.

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

Definition at line 269 of file algos.cc.

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

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

Definition at line 251 of file algos.cc.

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

Definition at line 251 of file algos.cc.

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

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

Bridge.

Definition at line 147 of file standard.hh.

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 278 of file algos.cc.

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

Definition at line 278 of file algos.cc.

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

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

Bridge.

Definition at line 250 of file trie.hh.

References vcsn::cotrie(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 287 of file algos.cc.

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

Definition at line 287 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 312 of file trie.hh.

References vcsn::cotrie(), vcsn::dyn::make_automaton(), 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 296 of file algos.cc.

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

Definition at line 296 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 59 of file de-bruijn.hh.

References vcsn::de_bruijn(), and vcsn::dyn::make_automaton().

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 305 of file algos.cc.

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

Definition at line 305 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 350 of file is-synchronized.hh.

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

Definition at line 314 of file algos.cc.

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

Definition at line 314 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 337 of file derivation.hh.

References vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), 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 323 of file algos.cc.

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

Definition at line 323 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 364 of file derived-term.hh.

References vcsn::derived_term(), vcsn::detail::derived_term_algo::expansion, vcsn::dyn::make_automaton(), vcsn::make_derived_term_automaton(), and vcsn::require().

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 332 of file algos.cc.

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

Definition at line 332 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 350 of file determinize.hh.

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 308 of file determinize.hh.

References 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 328 of file determinize.hh.

References 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 341 of file algos.cc.

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

Definition at line 341 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)

Definition at line 299 of file determinize.hh.

References vcsn::determinize(), and vcsn::dyn::make_automaton().

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::difference(), and vcsn::dyn::make_automaton().

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 171 of file are-equivalent.hh.

References vcsn::difference(), and vcsn::dyn::make_expression().

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 359 of file algos.cc.

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

Definition at line 359 of file algos.cc.

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

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

Definition at line 350 of file algos.cc.

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

Definition at line 350 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 71 of file divkbaseb.hh.

References vcsn::divkbaseb(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 368 of file algos.cc.

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

Definition at line 368 of file algos.cc.

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

template<std::size_t I, Automaton Aut>
auto vcsn::dyn::detail::do_insplit ( Aut &  aut) -> std::enable_if_t<labelset_t_of<Aut>::has_one() && I !
pure virtual
template<std::size_t I, Automaton Aut>
autodecltype(insplit(aut)) std::enable_if_t<!labelset_t_of<Aut>::has_one() || I == 0, Aut&> vcsn::dyn::detail::do_insplit ( Aut &  aut)

Definition at line 486 of file conjunction.hh.

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 77 of file double-ring.hh.

References vcsn::double_ring(), and vcsn::dyn::make_automaton().

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 377 of file algos.cc.

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

Definition at line 377 of file algos.cc.

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

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

Bridge.

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

References vcsn::eliminate_state(), and vcsn::dyn::make_automaton().

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 386 of file algos.cc.

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

Definition at line 386 of file algos.cc.

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

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

Bridge.

Definition at line 142 of file eval.hh.

References vcsn::rat::ctx(), and vcsn::dyn::make_weight().

Here is the call graph for this function:

bool vcsn::dyn::detail::eval_register ( const signature &  sig,
eval_t  fn 
)

Definition at line 395 of file algos.cc.

static Registry< eval_t>& vcsn::dyn::detail::eval_registry ( )
static

Definition at line 395 of file algos.cc.

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

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

Bridge.

Definition at line 165 of file expand.hh.

References vcsn::dyn::make_expression().

Here is the call graph for this function:

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

Definition at line 404 of file algos.cc.

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

Definition at line 404 of file algos.cc.

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

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

Bridge.

Definition at line 15 of file constant.hh.

References vcsn::dyn::make_expression(), 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::expression_one_register ( const signature &  sig,
expression_one_t  fn 
)

Definition at line 413 of file algos.cc.

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

Definition at line 413 of file algos.cc.

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

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

Bridge.

Definition at line 24 of file constant.hh.

References vcsn::dyn::make_expression(), 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::expression_zero_register ( const signature &  sig,
expression_zero_t  fn 
)

Definition at line 422 of file algos.cc.

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

Definition at line 422 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::factor(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 431 of file algos.cc.

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

Definition at line 431 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 184 of file filter.hh.

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

Definition at line 440 of file algos.cc.

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

Definition at line 440 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 332 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 160 of file has-bounded-lag.hh.

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

Definition at line 449 of file algos.cc.

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

Definition at line 449 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.

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

Definition at line 458 of file algos.cc.

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

Definition at line 458 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.

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

Definition at line 467 of file algos.cc.

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

Definition at line 467 of file algos.cc.

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

template<typename ExpSet >
rat::identities vcsn::dyn::detail::identities ( const expression &  exp)
bool vcsn::dyn::detail::identities_register ( const signature &  sig,
identities_t  fn 
)

Definition at line 476 of file algos.cc.

static Registry< identities_t>& vcsn::dyn::detail::identities_registry ( )
static

Definition at line 476 of file algos.cc.

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

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

Bridge (infiltration).

Definition at line 639 of file conjunction.hh.

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

Variadic bridge helper.

Definition at line 628 of file conjunction.hh.

References vcsn::infiltration(), and vcsn::dyn::make_automaton().

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

Here is the call graph for this function:

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

Bridge (infiltration).

Definition at line 669 of file conjunction.hh.

References vcsn::infiltration(), and vcsn::dyn::make_expression().

Here is the call graph for this function:

bool vcsn::dyn::detail::infiltration_expression_register ( const signature &  sig,
infiltration_expression_t  fn 
)

Definition at line 494 of file algos.cc.

static Registry< infiltration_expression_t>& vcsn::dyn::detail::infiltration_expression_registry ( )
static

Definition at line 494 of file algos.cc.

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

bool vcsn::dyn::detail::infiltration_register ( const signature &  sig,
infiltration_t  fn 
)

Definition at line 485 of file algos.cc.

static Registry< infiltration_t>& vcsn::dyn::detail::infiltration_registry ( )
static

Definition at line 485 of file algos.cc.

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

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

Bridge.

Definition at line 130 of file info.hh.

References 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 183 of file info.hh.

References vcsn::info().

Referenced by vcsn::ctx::detail::register_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 512 of file algos.cc.

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

Definition at line 512 of file algos.cc.

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

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

Definition at line 503 of file algos.cc.

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

Definition at line 503 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 349 of file insplit.hh.

References vcsn::insplit(), vcsn::insplit_lazy(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 521 of file algos.cc.

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

Definition at line 521 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.

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

Definition at line 530 of file algos.cc.

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

Definition at line 530 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 53 of file is-ambiguous.hh.

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

Definition at line 539 of file algos.cc.

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

Definition at line 539 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.

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

Definition at line 548 of file algos.cc.

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

Definition at line 548 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.

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

Definition at line 557 of file algos.cc.

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

Definition at line 557 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 48 of file is-complete.hh.

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

Definition at line 566 of file algos.cc.

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

Definition at line 566 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.

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

Definition at line 575 of file algos.cc.

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

Definition at line 575 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 173 of file is-ambiguous.hh.

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

Definition at line 584 of file algos.cc.

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

Definition at line 584 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.

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

Definition at line 593 of file algos.cc.

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

Definition at line 593 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.

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

Definition at line 602 of file algos.cc.

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

Definition at line 602 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 123 of file is-eps-acyclic.hh.

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

Definition at line 611 of file algos.cc.

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

Definition at line 611 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.

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

Definition at line 620 of file algos.cc.

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

Definition at line 620 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 202 of file letterize.hh.

Referenced by vcsn::is_realtime().

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

Definition at line 629 of file algos.cc.

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

Definition at line 629 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.

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

Definition at line 638 of file algos.cc.

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

Definition at line 638 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 76 of file sort.hh.

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

Definition at line 647 of file algos.cc.

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

Definition at line 647 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.

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

Definition at line 656 of file algos.cc.

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

Definition at line 656 of file algos.cc.

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

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

Bridge.

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

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

Definition at line 665 of file algos.cc.

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

Definition at line 665 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 260 of file letterize.hh.

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

Definition at line 674 of file algos.cc.

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

Definition at line 674 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.

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

Definition at line 683 of file algos.cc.

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

Definition at line 683 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 321 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::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 701 of file algos.cc.

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

Definition at line 701 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 692 of file algos.cc.

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

Definition at line 692 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::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 710 of file algos.cc.

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

Definition at line 710 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.

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

Definition at line 719 of file algos.cc.

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

Definition at line 719 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.

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

Definition at line 728 of file algos.cc.

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

Definition at line 728 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 152 of file is-valid.hh.

References 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 37 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 746 of file algos.cc.

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

Definition at line 746 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 737 of file algos.cc.

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

Definition at line 737 of file algos.cc.

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

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

Return the join of the expressionset of two expressions and their values in this new expressionset.

Definition at line 80 of file expression.hh.

References join(), and vcsn::detail::rs.

Here is the call graph for this function:

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

Return the join of the polynomialset of two polynomials and their values in this new polynomialset.

Definition at line 86 of file polynomial.hh.

References join(), and vcsn::detail::rs.

Here is the call graph for this function:

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

Bridge.

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

References vcsn::dyn::make_context().

Referenced by join(), left_mult(), multiply_label(), multiply_weight(), right_mult(), sum_expansion(), and sum_weight().

Here is the call graph for this function:

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

Definition at line 755 of file algos.cc.

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

Definition at line 755 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 56 of file ladybird.hh.

References vcsn::ladybird(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 764 of file algos.cc.

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

Definition at line 764 of file algos.cc.

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

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

Bridge (ldiv).

Definition at line 32 of file divide.hh.

References vcsn::dyn::make_expression().

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

Here is the call graph for this function:

bool vcsn::dyn::detail::ldiv_expression_register ( const signature &  sig,
ldiv_expression_t  fn 
)

Definition at line 773 of file algos.cc.

static Registry< ldiv_expression_t>& vcsn::dyn::detail::ldiv_expression_registry ( )
static

Definition at line 773 of file algos.cc.

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

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

Bridge (ldiv).

Definition at line 43 of file divide.hh.

References vcsn::dyn::make_polynomial().

Here is the call graph for this function:

bool vcsn::dyn::detail::ldiv_polynomial_register ( const signature &  sig,
ldiv_polynomial_t  fn 
)

Definition at line 782 of file algos.cc.

static Registry< ldiv_polynomial_t>& vcsn::dyn::detail::ldiv_polynomial_registry ( )
static

Definition at line 782 of file algos.cc.

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

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

Bridge.

Definition at line 151 of file left-mult.hh.

References vcsn::copy_into(), vcsn::rat::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::left_mult_expansion ( const weight &  weight,
const expansion &  exp 
)

Bridge (left_mult).

Definition at line 217 of file left-mult.hh.

References vcsn::join_weightset_expansionset(), vcsn::left_mult(), vcsn::dyn::make_expansion(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::left_mult_expansion_register ( const signature &  sig,
left_mult_expansion_t  fn 
)

Definition at line 800 of file algos.cc.

static Registry< left_mult_expansion_t>& vcsn::dyn::detail::left_mult_expansion_registry ( )
static

Definition at line 800 of file algos.cc.

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

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

Bridge (left_mult).

Definition at line 272 of file left-mult.hh.

References vcsn::join_weightset_expressionset(), vcsn::left_mult(), vcsn::dyn::make_expression(), and vcsn::detail::rs.

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

Here is the call graph for this function:

bool vcsn::dyn::detail::left_mult_expression_register ( const signature &  sig,
left_mult_expression_t  fn 
)

Definition at line 809 of file algos.cc.

static Registry< left_mult_expression_t>& vcsn::dyn::detail::left_mult_expression_registry ( )
static

Definition at line 809 of file algos.cc.

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

bool vcsn::dyn::detail::left_mult_register ( const signature &  sig,
left_mult_t  fn 
)

Definition at line 791 of file algos.cc.

static Registry< left_mult_t>& vcsn::dyn::detail::left_mult_registry ( )
static

Definition at line 791 of file algos.cc.

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

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

Left-product.

Definition at line 143 of file left-mult.hh.

References vcsn::left_mult_here(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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_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 818 of file algos.cc.

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

Definition at line 818 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 147 of file letterize.hh.

References vcsn::letterize(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 827 of file algos.cc.

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

Definition at line 827 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 66 of file levenshtein.hh.

References vcsn::levenshtein(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

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

Definition at line 836 of file algos.cc.

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

Definition at line 836 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 76 of file divide.hh.

References vcsn::dyn::lgcd(), and vcsn::dyn::make_polynomial().

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 845 of file algos.cc.

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

Definition at line 845 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,
vcsn::rat::identities  ids,
integral_constant   
)

Bridge.

Definition at line 260 of file lift.hh.

References vcsn::dyn::make_automaton().

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 308 of file lift.hh.

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

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 854 of file algos.cc.

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

Definition at line 854 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 215 of file lightest.hh.

References vcsn::dyn::make_polynomial(), and vcsn::detail::make_word_polynomialset().

Here is the call graph for this function:

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

Bridge.

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

References vcsn::lightest_automaton(), and vcsn::dyn::make_automaton().

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 872 of file algos.cc.

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

Definition at line 872 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 863 of file algos.cc.

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

Definition at line 863 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 213 of file print.hh.

References 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 Ctx >
automaton_editor* vcsn::dyn::detail::make_automaton_editor ( const context &  ctx)

Bridge.

Definition at line 349 of file edit-automaton.hh.

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

bool vcsn::dyn::detail::make_automaton_editor_register ( const signature &  sig,
make_automaton_editor_t  fn 
)

Definition at line 881 of file algos.cc.

static Registry< make_automaton_editor_t>& vcsn::dyn::detail::make_automaton_editor_registry ( )
static

Definition at line 881 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 45 of file make-context.hh.

References vcsn::dyn::make_context().

Referenced by left_mult(), make_word_context(), project_context(), and right_mult().

Here is the call graph for this function:

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 122 of file make-context.hh.

References make_context(), and vcsn::detail::make_word_context().

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 890 of file algos.cc.

static Registry< make_word_context_t>& vcsn::dyn::detail::make_word_context_registry ( )
static

Definition at line 890 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 109 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 157 of file minimize.hh.

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 201 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 899 of file algos.cc.

static Registry< minimize_t>& vcsn::dyn::detail::minimize_registry ( )
static

Definition at line 899 of file algos.cc.

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

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

Definition at line 141 of file minimize.hh.

References vcsn::dyn::make_automaton(), and 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 168 of file multiply.hh.

References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), and vcsn::multiply().

Referenced by multiply_label(), and multiply_polynomial().

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 295 of file multiply.hh.

References vcsn::dyn::make_expression(), and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_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 917 of file algos.cc.

static Registry< multiply_expression_t>& vcsn::dyn::detail::multiply_expression_registry ( )
static

Definition at line 917 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 365 of file multiply.hh.

References vcsn::dyn::make_expression(), and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_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 926 of file algos.cc.

static Registry< multiply_expression_repeated_t>& vcsn::dyn::detail::multiply_expression_repeated_registry ( )
static

Definition at line 926 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 388 of file multiply.hh.

References join(), vcsn::dyn::make_label(), 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 935 of file algos.cc.

static Registry< multiply_label_t>& vcsn::dyn::detail::multiply_label_registry ( )
static

Definition at line 935 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 412 of file multiply.hh.

References vcsn::dyn::make_polynomial(), and 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 944 of file algos.cc.

static Registry< multiply_polynomial_t>& vcsn::dyn::detail::multiply_polynomial_registry ( )
static

Definition at line 944 of file algos.cc.

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

bool vcsn::dyn::detail::multiply_register ( const signature &  sig,
multiply_t  fn 
)

Definition at line 908 of file algos.cc.

static Registry< multiply_t>& vcsn::dyn::detail::multiply_registry ( )
static

Definition at line 908 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 259 of file multiply.hh.

References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), 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 953 of file algos.cc.

static Registry< multiply_repeated_t>& vcsn::dyn::detail::multiply_repeated_registry ( )
static

Definition at line 953 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 434 of file multiply.hh.

References join(), vcsn::dyn::make_weight(), 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 962 of file algos.cc.

static Registry< multiply_weight_t>& vcsn::dyn::detail::multiply_weight_registry ( )
static

Definition at line 962 of file algos.cc.

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

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 447 of file multiply.hh.

References vcsn::dyn::make_weight(), 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 971 of file algos.cc.

static Registry< multiply_weight_repeated_t>& vcsn::dyn::detail::multiply_weight_repeated_registry ( )
static

Definition at line 971 of file algos.cc.

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

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

Bridge.

Definition at line 41 of file normalize.hh.

References vcsn::dyn::make_automaton(), and vcsn::normalize().

Here is the call graph for this function:

bool vcsn::dyn::detail::normalize_register ( const signature &  sig,
normalize_t  fn 
)

Definition at line 980 of file algos.cc.

static Registry< normalize_t>& vcsn::dyn::detail::normalize_registry ( )
static

Definition at line 980 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 989 of file algos.cc.

static Registry< num_components_t>& vcsn::dyn::detail::num_components_registry ( )
static

Definition at line 989 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 158 of file make-context.hh.

References 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 998 of file algos.cc.

static Registry< num_tapes_t>& vcsn::dyn::detail::num_tapes_registry ( )
static

Definition at line 998 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 263 of file pair.hh.

References vcsn::dyn::make_automaton(), and vcsn::pair().

Here is the call graph for this function:

bool vcsn::dyn::detail::pair_register ( const signature &  sig,
pair_t  fn 
)

Definition at line 1007 of file algos.cc.

static Registry< pair_t>& vcsn::dyn::detail::pair_registry ( )
static

Definition at line 1007 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 79 of file partial-identity.hh.

References vcsn::dyn::make_automaton(), and vcsn::partial_identity().

Here is the call graph for this function:

bool vcsn::dyn::detail::partial_identity_register ( const signature &  sig,
partial_identity_t  fn 
)

Definition at line 1016 of file algos.cc.

static Registry< partial_identity_t>& vcsn::dyn::detail::partial_identity_registry ( )
static

Definition at line 1016 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::make_automaton(), and vcsn::prefix().

Here is the call graph for this function:

bool vcsn::dyn::detail::prefix_register ( const signature &  sig,
prefix_t  fn 
)

Definition at line 1025 of file algos.cc.

static Registry< prefix_t>& vcsn::dyn::detail::prefix_registry ( )
static

Definition at line 1025 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 109 of file print.hh.

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 128 of file print.hh.

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

bool vcsn::dyn::detail::print_context_register ( const signature &  sig,
print_context_t  fn 
)

Definition at line 1043 of file algos.cc.

static Registry< print_context_t>& vcsn::dyn::detail::print_context_registry ( )
static

Definition at line 1043 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 158 of file print.hh.

References 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 264 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_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 177 of file print.hh.

References 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 232 of file print.hh.

References 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 1034 of file algos.cc.

static Registry< print_t>& vcsn::dyn::detail::print_registry ( )
static

Definition at line 1034 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 295 of file print.hh.

References 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::make_automaton().

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 make_context().

Here is the call graph for this function:

bool vcsn::dyn::detail::project_context_register ( const signature &  sig,
project_context_t  fn 
)
template<typename Label , typename Tape >
label vcsn::dyn::detail::project_label ( const label &  lbl,
integral_constant   
)

Bridge (project).

Definition at line 106 of file project.hh.

References vcsn::dyn::make_label().

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 82 of file project.hh.

References vcsn::dyn::make_polynomial().

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 291 of file proper.hh.

References vcsn::dyn::make_automaton(), vcsn::proper(), 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 1052 of file algos.cc.

static Registry< proper_t>& vcsn::dyn::detail::proper_registry ( )
static

Definition at line 1052 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::make_automaton(), and vcsn::push_weights().

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 1061 of file algos.cc.

static Registry< push_weights_t>& vcsn::dyn::detail::push_weights_registry ( )
static

Definition at line 1061 of file algos.cc.

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

template<typename Ctx , typename , typename , typename , typename , typename >
automaton vcsn::dyn::detail::random_automaton ( const context &  ctx,
unsigned  num_states,
float  density,
unsigned  num_initial,
unsigned  num_final,
float  loop_chance 
)

Bridge.

Definition at line 259 of file random.hh.

References vcsn::dyn::make_automaton(), 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 318 of file random.hh.

References vcsn::dyn::make_automaton(), 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 1079 of file algos.cc.

static Registry< random_automaton_deterministic_t>& vcsn::dyn::detail::random_automaton_deterministic_registry ( )
static

Definition at line 1079 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 1070 of file algos.cc.

static Registry< random_automaton_t>& vcsn::dyn::detail::random_automaton_registry ( )
static

Definition at line 1070 of file algos.cc.

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

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

Bridge (rdiv).

Definition at line 108 of file divide.hh.

References vcsn::dyn::make_expression(), and vcsn::dyn::rdiv().

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

Here is the call graph for this function:

bool vcsn::dyn::detail::rdiv_expression_register ( const signature &  sig,
rdiv_expression_t  fn 
)

Definition at line 1088 of file algos.cc.

static Registry< rdiv_expression_t>& vcsn::dyn::detail::rdiv_expression_registry ( )
static

Definition at line 1088 of file algos.cc.

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

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 34 of file read.hh.

References vcsn::dyn::make_label().

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 64 of file read.hh.

References vcsn::dyn::make_polynomial().

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 1097 of file algos.cc.

static Registry< read_polynomial_t>& vcsn::dyn::detail::read_polynomial_registry ( )
static

Definition at line 1097 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 95 of file read.hh.

References vcsn::dyn::make_weight().

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 1106 of file algos.cc.

static Registry< read_weight_t>& vcsn::dyn::detail::read_weight_registry ( )
static

Definition at line 1106 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 232 of file letterize.hh.

References vcsn::dyn::make_automaton(), and vcsn::realtime().

Here is the call graph for this function:

bool vcsn::dyn::detail::realtime_register ( const signature &  sig,
realtime_t  fn 
)

Definition at line 1115 of file algos.cc.

static Registry< realtime_t>& vcsn::dyn::detail::realtime_registry ( )
static

Definition at line 1115 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::make_automaton().

Here is the call graph for this function:

bool vcsn::dyn::detail::reduce_register ( const signature &  sig,
reduce_t  fn 
)

Definition at line 1124 of file algos.cc.

static Registry< reduce_t>& vcsn::dyn::detail::reduce_registry ( )
static

Definition at line 1124 of file algos.cc.

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

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

Bridge.

Definition at line 323 of file left-mult.hh.

References vcsn::copy_into(), vcsn::rat::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::right_mult_expansion ( const expansion &  exp,
const weight &  weight 
)

Bridge (right_mult).

Definition at line 378 of file left-mult.hh.

References vcsn::join_weightset_expansionset(), vcsn::dyn::make_expansion(), vcsn::right_mult(), and vcsn::detail::rs.

Here is the call graph for this function:

bool vcsn::dyn::detail::right_mult_expansion_register ( const signature &  sig,
right_mult_expansion_t  fn 
)

Definition at line 1142 of file algos.cc.

static Registry< right_mult_expansion_t>& vcsn::dyn::detail::right_mult_expansion_registry ( )
static

Definition at line 1142 of file algos.cc.

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

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

Bridge (right_mult).

Definition at line 403 of file left-mult.hh.

References vcsn::join_weightset_expressionset(), vcsn::dyn::make_expression(), vcsn::right_mult(), and vcsn::detail::rs.

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

Here is the call graph for this function:

bool vcsn::dyn::detail::right_mult_expression_register ( const signature &  sig,
right_mult_expression_t  fn 
)

Definition at line 1151 of file algos.cc.

static Registry< right_mult_expression_t>& vcsn::dyn::detail::right_mult_expression_registry ( )
static

Definition at line 1151 of file algos.cc.

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

bool vcsn::dyn::detail::right_mult_register ( const signature &  sig,
right_mult_t  fn 
)

Definition at line 1133 of file algos.cc.

static Registry< right_mult_t>& vcsn::dyn::detail::right_mult_registry ( )
static

Definition at line 1133 of file algos.cc.

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

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

Right-product.

Definition at line 315 of file left-mult.hh.

References vcsn::dyn::make_automaton(), and vcsn::right_mult_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 1160 of file algos.cc.

static Registry< scc_t>& vcsn::dyn::detail::scc_registry ( )
static

Definition at line 1160 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 295 of file shortest.hh.

References vcsn::dyn::make_polynomial(), 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 1169 of file algos.cc.

static Registry< shortest_t>& vcsn::dyn::detail::shortest_registry ( )
static

Definition at line 1169 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 553 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 543 of file conjunction.hh.

References vcsn::dyn::make_automaton(), and vcsn::shuffle().

Referenced by vcsn::rat::printer< ExpSet >::format(), vcsn::rat::expansionset< expressionset_t >::infiltration(), 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 584 of file conjunction.hh.

References vcsn::dyn::make_expression(), and vcsn::shuffle().

Referenced by vcsn::ctx::detail::register_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 1187 of file algos.cc.

static Registry< shuffle_expression_t>& vcsn::dyn::detail::shuffle_expression_registry ( )
static

Definition at line 1187 of file algos.cc.

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

bool vcsn::dyn::detail::shuffle_register ( const signature &  sig,
shuffle_t  fn 
)

Definition at line 1178 of file algos.cc.

static Registry< shuffle_t>& vcsn::dyn::detail::shuffle_registry ( )
static

Definition at line 1178 of file algos.cc.

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

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

Bridge.

Definition at line 178 of file sort.hh.

References vcsn::dyn::make_automaton(), and vcsn::sort().

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 1196 of file algos.cc.

static Registry< sort_t>& vcsn::dyn::detail::sort_registry ( )
static

Definition at line 1196 of file algos.cc.

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

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

Bridge.

Definition at line 277 of file split.hh.

References vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), 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 320 of file split.hh.

References vcsn::dyn::make_polynomial().

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 1214 of file algos.cc.

static Registry< split_polynomial_t>& vcsn::dyn::detail::split_polynomial_registry ( )
static

Definition at line 1214 of file algos.cc.

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

bool vcsn::dyn::detail::split_register ( const signature &  sig,
split_t  fn 
)

Definition at line 1205 of file algos.cc.

static Registry< split_t>& vcsn::dyn::detail::split_registry ( )
static

Definition at line 1205 of file algos.cc.

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

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

Bridge.

Definition at line 138 of file standard.hh.

References vcsn::dyn::make_automaton(), 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 388 of file standard.hh.

References vcsn::dyn::make_automaton().

Referenced by vcsn::ctx::detail::register_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 1232 of file algos.cc.

static Registry< standard_expression_t>& vcsn::dyn::detail::standard_expression_registry ( )
static

Definition at line 1232 of file algos.cc.

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

bool vcsn::dyn::detail::standard_register ( const signature &  sig,
standard_t  fn 
)

Definition at line 1223 of file algos.cc.

static Registry< standard_t>& vcsn::dyn::detail::standard_registry ( )
static

Definition at line 1223 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::detail::dispatch_tags(), vcsn::dyn::make_automaton(), 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 113 of file star-height.hh.

bool vcsn::dyn::detail::star_height_register ( const signature &  sig,
star_height_t  fn 
)

Definition at line 1250 of file algos.cc.

static Registry< star_height_t>& vcsn::dyn::detail::star_height_registry ( )
static

Definition at line 1250 of file algos.cc.

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

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

Bridge.

Definition at line 199 of file star-normal-form.hh.

References vcsn::dyn::make_expression().

Here is the call graph for this function:

bool vcsn::dyn::detail::star_normal_form_register ( const signature &  sig,
star_normal_form_t  fn 
)

Definition at line 1259 of file algos.cc.

static Registry< star_normal_form_t>& vcsn::dyn::detail::star_normal_form_registry ( )
static

Definition at line 1259 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 1241 of file algos.cc.

static Registry< star_t>& vcsn::dyn::detail::star_registry ( )
static

Definition at line 1241 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::make_automaton(), and vcsn::strip().

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 1268 of file algos.cc.

static Registry< strip_t>& vcsn::dyn::detail::strip_registry ( )
static

Definition at line 1268 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::make_automaton(), and vcsn::subword().

Here is the call graph for this function:

bool vcsn::dyn::detail::subword_register ( const signature &  sig,
subword_t  fn 
)

Definition at line 1277 of file algos.cc.

static Registry< subword_t>& vcsn::dyn::detail::subword_registry ( )
static

Definition at line 1277 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::make_automaton(), and vcsn::suffix().

Here is the call graph for this function:

bool vcsn::dyn::detail::suffix_register ( const signature &  sig,
suffix_t  fn 
)

Definition at line 1286 of file algos.cc.

static Registry< suffix_t>& vcsn::dyn::detail::suffix_registry ( )
static

Definition at line 1286 of file algos.cc.

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

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

Bridge.

Definition at line 111 of file sum.hh.

References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), and vcsn::sum().

Referenced by sum_polynomial(), and sum_weight().

Here is the call graph for this function:

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

Bridge (sum).

Definition at line 171 of file sum.hh.

References join(), vcsn::dyn::make_expansion(), vcsn::detail::rs, and vcsn::sum().

Here is the call graph for this function:

bool vcsn::dyn::detail::sum_expansion_register ( const signature &  sig,
sum_expansion_t  fn 
)

Definition at line 1304 of file algos.cc.

static Registry< sum_expansion_t>& vcsn::dyn::detail::sum_expansion_registry ( )
static

Definition at line 1304 of file algos.cc.

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

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

Bridge (sum).

Definition at line 194 of file sum.hh.

References vcsn::dyn::make_expression(), and vcsn::sum().

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

Here is the call graph for this function:

bool vcsn::dyn::detail::sum_expression_register ( const signature &  sig,
sum_expression_t  fn 
)

Definition at line 1313 of file algos.cc.

static Registry< sum_expression_t>& vcsn::dyn::detail::sum_expression_registry ( )
static

Definition at line 1313 of file algos.cc.

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

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

Bridge (sum).

Definition at line 148 of file sum.hh.

References vcsn::dyn::make_polynomial(), and sum().

Here is the call graph for this function:

bool vcsn::dyn::detail::sum_polynomial_register ( const signature &  sig,
sum_polynomial_t  fn 
)

Definition at line 1322 of file algos.cc.

static Registry< sum_polynomial_t>& vcsn::dyn::detail::sum_polynomial_registry ( )
static

Definition at line 1322 of file algos.cc.

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

bool vcsn::dyn::detail::sum_register ( const signature &  sig,
sum_t  fn 
)

Definition at line 1295 of file algos.cc.

static Registry< sum_t>& vcsn::dyn::detail::sum_registry ( )
static

Definition at line 1295 of file algos.cc.

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

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

Bridge (sum).

Definition at line 217 of file sum.hh.

References join(), vcsn::dyn::make_weight(), vcsn::detail::rs, and sum().

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

Here is the call graph for this function:

bool vcsn::dyn::detail::sum_weight_register ( const signature &  sig,
sum_weight_t  fn 
)

Definition at line 1331 of file algos.cc.

static Registry< sum_weight_t>& vcsn::dyn::detail::sum_weight_registry ( )
static

Definition at line 1331 of file algos.cc.

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

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

Bridge.

Definition at line 362 of file synchronize.hh.

References vcsn::dyn::make_automaton(), and vcsn::synchronize().

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 1340 of file algos.cc.

static Registry< synchronize_t>& vcsn::dyn::detail::synchronize_registry ( )
static

Definition at line 1340 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::make_label(), 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 1349 of file algos.cc.

static Registry< synchronizing_word_t>& vcsn::dyn::detail::synchronizing_word_registry ( )
static

Definition at line 1349 of file algos.cc.

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

template<typename ExpSet >
automaton vcsn::dyn::detail::thompson ( const expression &  exp)
inline

Bridge.

Definition at line 208 of file thompson.hh.

References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), 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 1358 of file algos.cc.

static Registry< thompson_t>& vcsn::dyn::detail::thompson_registry ( )
static

Definition at line 1358 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 426 of file to-expansion.hh.

References vcsn::dyn::make_expansion(), 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 1367 of file algos.cc.

static Registry< to_expansion_t>& vcsn::dyn::detail::to_expansion_registry ( )
static

Definition at line 1367 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,
vcsn::rat::identities  ids,
const std::string &  algo 
)

Bridge.

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

References vcsn::dyn::make_expression(), vcsn::detail::rs, and vcsn::to_expression().

Referenced by to_expression_class().

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,
rat::identities  ids,
const letter_class_t &  letters,
bool  accept 
)

Bridge (to_expression).

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

References vcsn::dyn::make_expression(), vcsn::make_expressionset(), vcsn::detail::rs, and 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 1385 of file algos.cc.

static Registry< to_expression_class_t>& vcsn::dyn::detail::to_expression_class_registry ( )
static

Definition at line 1385 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,
rat::identities  ids,
const label &  lbl 
)

Bridge (to_expression).

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

References vcsn::dyn::make_expression(), 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 1394 of file algos.cc.

static Registry< to_expression_label_t>& vcsn::dyn::detail::to_expression_label_registry ( )
static

Definition at line 1394 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 1376 of file algos.cc.

static Registry< to_expression_t>& vcsn::dyn::detail::to_expression_registry ( )
static

Definition at line 1376 of file algos.cc.

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

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

Bridge.

Definition at line 247 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 266 of file transpose.hh.

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

bool vcsn::dyn::detail::transpose_expression_register ( const signature &  sig,
transpose_expression_t  fn 
)

Definition at line 1412 of file algos.cc.

static Registry< transpose_expression_t>& vcsn::dyn::detail::transpose_expression_registry ( )
static

Definition at line 1412 of file algos.cc.

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

bool vcsn::dyn::detail::transpose_register ( const signature &  sig,
transpose_t  fn 
)

Definition at line 1403 of file algos.cc.

static Registry< transpose_t>& vcsn::dyn::detail::transpose_registry ( )
static

Definition at line 1403 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 287 of file transpose.hh.

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

bool vcsn::dyn::detail::transposition_expression_register ( const signature &  sig,
transposition_expression_t  fn 
)

Definition at line 1421 of file algos.cc.

static Registry< transposition_expression_t>& vcsn::dyn::detail::transposition_expression_registry ( )
static

Definition at line 1421 of file algos.cc.

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

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

Bridge.

Definition at line 241 of file trie.hh.

References vcsn::dyn::make_automaton(), 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 1430 of file algos.cc.

static Registry< trie_t>& vcsn::dyn::detail::trie_registry ( )
static

Definition at line 1430 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 301 of file trie.hh.

References vcsn::dyn::make_automaton(), 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 1439 of file algos.cc.

static Registry< trie_stream_t>& vcsn::dyn::detail::trie_stream_registry ( )
static

Definition at line 1439 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::make_automaton(), and vcsn::trim().

Here is the call graph for this function:

bool vcsn::dyn::detail::trim_register ( const signature &  sig,
trim_t  fn 
)

Definition at line 1448 of file algos.cc.

static Registry< trim_t>& vcsn::dyn::detail::trim_registry ( )
static

Definition at line 1448 of file algos.cc.

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

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 74 of file tuple.hh.

References vcsn::dyn::make_expansion(), vcsn::tuple(), and 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 115 of file tuple.hh.

References vcsn::dyn::make_expression(), vcsn::detail::rs, vcsn::tuple(), and vcsn::tuple_expressionset().

Here is the call graph for this function:

template<typename ExpansionSets >
expansion vcsn::dyn::detail::tuple_expansion ( const std::vector< expansion > &  es)

Bridge (tuple).

Definition at line 95 of file tuple.hh.

bool vcsn::dyn::detail::tuple_expansion_register ( const signature &  sig,
tuple_expansion_t  fn 
)

Definition at line 1457 of file algos.cc.

static Registry< tuple_expansion_t>& vcsn::dyn::detail::tuple_expansion_registry ( )
static

Definition at line 1457 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 136 of file tuple.hh.

bool vcsn::dyn::detail::tuple_expression_register ( const signature &  sig,
tuple_expression_t  fn 
)

Definition at line 1466 of file algos.cc.

static Registry< tuple_expression_t>& vcsn::dyn::detail::tuple_expression_registry ( )
static

Definition at line 1466 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 70 of file u.hh.

References vcsn::dyn::make_automaton(), and vcsn::u().

Here is the call graph for this function:

bool vcsn::dyn::detail::u_register ( const signature &  sig,
u_t  fn 
)

Definition at line 1475 of file algos.cc.

static Registry< u_t>& vcsn::dyn::detail::u_registry ( )
static

Definition at line 1475 of file algos.cc.

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

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

Bridge.

Definition at line 149 of file universal.hh.

References vcsn::dyn::make_automaton(), and vcsn::universal().

Here is the call graph for this function:

bool vcsn::dyn::detail::universal_register ( const signature &  sig,
universal_t  fn 
)

Definition at line 1484 of file algos.cc.

static Registry< universal_t>& vcsn::dyn::detail::universal_registry ( )
static

Definition at line 1484 of file algos.cc.

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

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

Bridge.

Definition at line 43 of file weight-series.hh.

References vcsn::rat::ctx(), and vcsn::dyn::make_weight().

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 1493 of file algos.cc.

static Registry< weight_series_t>& vcsn::dyn::detail::weight_series_registry ( )
static

Definition at line 1493 of file algos.cc.

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

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

Bridge.

Definition at line 366 of file zpc.hh.

References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), 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 1502 of file algos.cc.

static Registry< zpc_t>& vcsn::dyn::detail::zpc_registry ( )
static

Definition at line 1502 of file algos.cc.

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