![]() |
Vcsn
2.4
Be Rational
|
Classes | |
struct | expansion_tag |
Tag for expansion/expansionset. More... | |
struct | expression_tag |
Tag for expression/expressionset. More... | |
struct | label_tag |
Tag for label/labelset. More... | |
struct | polynomial_tag |
Tag for polynomial/polynomialset. More... | |
class | Registry |
struct | weight_tag |
Tag for weight/weightset. More... | |
Typedefs | |
template<Automaton Aut, typename Type = void> | |
using | enable_if_boolean_t = std::enable_if_t< std::is_same< weight_t_of< Aut >, bool >::value, Type > |
Enable if Aut is over Booleans. More... | |
template<Automaton Aut, typename Type = void> | |
using | enable_if_not_boolean_t = std::enable_if_t<!std::is_same< weight_t_of< Aut >, bool >::value, Type > |
Enable if Aut is not over Booleans. More... | |
using | accessible_t = auto(const automaton &aut) -> automaton |
using | add_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton |
using | add_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion |
using | add_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | add_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | add_weight_t = auto(const weight &lhs, const weight &rhs) -> weight |
using | ambiguous_word_t = auto(const automaton &aut) -> label |
using | are_equivalent_t = auto(const automaton &aut1, const automaton &aut2) -> bool |
using | are_equivalent_expression_t = auto(const expression &r1, const expression &r2) -> bool |
using | are_isomorphic_t = auto(const automaton &aut1, const automaton &aut2) -> bool |
using | cerny_t = auto(const context &ctx, unsigned num_states) -> automaton |
using | coaccessible_t = auto(const automaton &aut) -> automaton |
using | codeterminize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | cominimize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | complement_t = auto(const automaton &aut) -> automaton |
using | complement_expansion_t = auto(const expansion &xpn) -> expansion |
using | complement_expression_t = auto(const expression &exp) -> expression |
using | complete_t = auto(const automaton &aut) -> automaton |
using | component_t = auto(const automaton &aut, unsigned num) -> automaton |
using | compose_t = auto(const automaton &lhs, const automaton &rhs, bool lazy) -> automaton |
using | compose_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion |
using | compose_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | compose_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | concatenate_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | condense_t = auto(const automaton &aut) -> automaton |
using | conjugate_t = auto(const automaton &a) -> automaton |
using | conjunction_t = auto(const std::vector< automaton > &as, bool lazy) -> automaton |
using | conjunction_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion |
using | conjunction_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | conjunction_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | conjunction_repeated_t = auto(const automaton &aut, unsigned n) -> automaton |
using | constant_term_t = auto(const expression &exp) -> weight |
using | context_of_t = auto(const automaton &aut) -> context |
using | context_of_expansion_t = auto(const expansion &exp) -> context |
using | context_of_expression_t = auto(const expression &exp) -> context |
using | context_of_polynomial_t = auto(const polynomial &poly) -> context |
using | copy_t = auto(const automaton &aut) -> automaton |
using | copy_convert_t = auto(const automaton &aut, const context &ctx) -> automaton |
using | copy_expression_t = auto(const expression &exp, const context &ctx, identities ids) -> expression |
using | costandard_t = auto(const automaton &aut) -> automaton |
using | cotrie_t = auto(const polynomial &poly) -> automaton |
using | cotrie_stream_t = auto(const context &ctx, std::istream &is, const std::string &format) -> automaton |
using | de_bruijn_t = auto(const dyn::context &ctx, unsigned n) -> automaton |
using | delay_automaton_t = auto(const automaton &aut) -> automaton |
using | derivation_t = auto(const expression &exp, const label &lbl, bool breaking) -> polynomial |
using | derived_term_t = auto(const expression &exp, const std::string &algo) -> automaton |
using | determinize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | difference_t = auto(const automaton &lhs, const automaton &rhs) -> automaton |
using | difference_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | divkbaseb_t = auto(const context &ctx, unsigned divisor, unsigned base) -> automaton |
using | double_ring_t = auto(const context &ctx, unsigned n, const std::vector< unsigned > &finals) -> automaton |
using | eliminate_state_t = auto(const automaton &aut, int state) -> automaton |
using | eval_polynomial_t = auto(const automaton &aut, const polynomial &poly) -> weight |
using | evaluate_t = auto(const automaton &aut, const label &lbl) -> weight |
using | expand_t = auto(const expression &exp) -> expression |
using | expression_one_t = auto(const context &ctx, identities ids) -> expression |
using | expression_zero_t = auto(const context &ctx, identities ids) -> expression |
using | factor_t = auto(const automaton &aut) -> automaton |
using | filter_t = auto(const automaton &aut, const std::vector< unsigned > &states) -> automaton |
using | focus_t = auto(const automaton &aut, integral_constant) -> automaton |
using | has_bounded_lag_t = auto(const automaton &aut) -> bool |
using | has_lightening_cycle_t = auto(const automaton &aut) -> bool |
using | has_twins_property_t = auto(const automaton &aut) -> bool |
using | identities_of_t = auto(const expression &exp) -> identities |
using | inductive_t = auto(const expression &exp, const std::string &algo) -> automaton |
using | infiltrate_t = auto(const std::vector< automaton > &as) -> automaton |
using | infiltrate_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | info_t = auto(const automaton &aut, std::ostream &out, unsigned details) -> std::ostream & |
using | info_expression_t = auto(const expression &exp, std::ostream &o) -> std::ostream & |
using | insplit_t = auto(const automaton &aut, bool lazy) -> automaton |
using | is_accessible_t = auto(const automaton &aut) -> bool |
using | is_ambiguous_t = auto(const automaton &aut) -> bool |
using | is_coaccessible_t = auto(const automaton &aut) -> bool |
using | is_codeterministic_t = auto(const automaton &aut) -> bool |
using | is_complete_t = auto(const automaton &aut) -> bool |
using | is_costandard_t = auto(const automaton &aut) -> bool |
using | is_cycle_ambiguous_t = auto(const automaton &aut) -> bool |
using | is_deterministic_t = auto(const automaton &aut) -> bool |
using | is_empty_t = auto(const automaton &aut) -> bool |
using | is_eps_acyclic_t = auto(const automaton &aut) -> bool |
using | is_functional_t = auto(const automaton &aut) -> bool |
using | is_letterized_t = auto(const automaton &aut) -> bool |
using | is_normalized_t = auto(const automaton &aut) -> bool |
using | is_out_sorted_t = auto(const automaton &aut) -> bool |
using | is_partial_identity_t = auto(const automaton &aut) -> bool |
using | is_proper_t = auto(const automaton &aut) -> bool |
using | is_realtime_t = auto(const automaton &aut) -> bool |
using | is_standard_t = auto(const automaton &aut) -> bool |
using | is_synchronized_t = auto(const automaton &aut) -> bool |
using | is_synchronized_by_t = auto(const automaton &aut, const label &word) -> bool |
using | is_synchronizing_t = auto(const automaton &aut) -> bool |
using | is_trim_t = auto(const automaton &aut) -> bool |
using | is_useless_t = auto(const automaton &aut) -> bool |
using | is_valid_t = auto(const automaton &aut) -> bool |
using | is_valid_expression_t = auto(const expression &exp) -> bool |
using | join_t = auto(const context &c1, const context &c2) -> context |
using | ladybird_t = auto(const dyn::context &ctx, unsigned n) -> automaton |
using | ldivide_t = auto(const automaton &aut1, const automaton &aut2) -> automaton |
using | ldivide_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion |
using | ldivide_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | ldivide_label_t = auto(const label &lhs, const label &rhs) -> label |
using | ldivide_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | ldivide_weight_t = auto(const weight &lhs, const weight &rhs) -> weight |
using | less_than_expression_t = auto(const expression &lhs, const expression &rhs) -> bool |
using | letterize_t = auto(const automaton &aut) -> automaton |
using | levenshtein_t = auto(const dyn::context &ctx) -> automaton |
using | lgcd_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | lift_automaton_t = auto(const automaton &aut, identities ids, integral_constant) -> automaton |
using | lift_expression_t = auto(const expression &exp) -> expression |
using | lightest_t = auto(const automaton &aut, unsigned num, const std::string &algo) -> polynomial |
using | lightest_automaton_t = auto(const automaton &aut, unsigned k, const std::string &algo) -> automaton |
using | list_polynomial_t = auto(const polynomial &polynomial, std::ostream &o) -> std::ostream & |
using | lweight_t = auto(const weight &weight, const automaton &aut, const std::string &algo) -> automaton |
using | lweight_expansion_t = auto(const weight &weight, const expansion &exp) -> expansion |
using | lweight_expression_t = auto(const weight &weight, const expression &exp) -> expression |
using | lweight_polynomial_t = auto(const weight &weight, const polynomial &poly) -> polynomial |
using | make_automaton_editor_t = auto(const context &ctx) -> automaton_editor * |
using | make_context_t = auto(const std::string &name) -> context |
using | make_word_context_t = auto(const context &ctx) -> context |
using | minimize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | multiply_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton |
using | multiply_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | multiply_expression_repeated_t = auto(const expression &re, int min, int max) -> expression |
using | multiply_label_t = auto(const label &lhs, const label &rhs) -> label |
using | multiply_label_repeated_t = auto(const label &re, int exp) -> label |
using | multiply_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | multiply_repeated_t = auto(const automaton &a, int min, int max, const std::string &algo) -> automaton |
using | multiply_weight_t = auto(const weight &lhs, const weight &rhs) -> weight |
using | multiply_weight_repeated_t = auto(const weight &wgt, int min, int max) -> weight |
using | normalize_t = auto(const automaton &aut) -> automaton |
using | num_components_t = auto(const automaton &aut) -> std::size_t |
using | num_tapes_t = auto(const context &ctx) -> size_t |
using | pair_t = auto(const automaton &aut, bool keep_initials) -> automaton |
using | partial_identity_t = auto(const automaton &aut) -> automaton |
using | partial_identity_expression_t = auto(const expression &exp) -> expression |
using | prefix_t = auto(const automaton &aut) -> automaton |
using | print_t = auto(const automaton &aut, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_context_t = auto(const context &ctx, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_expansion_t = auto(const expansion &expansion, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_expression_t = auto(const expression &exp, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_label_t = auto(const label &label, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_polynomial_t = auto(const polynomial &polynomial, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_weight_t = auto(const weight &weight, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | project_t = auto(const automaton &aut, integral_constant) -> automaton |
using | project_context_t = auto(const context &ctx, integral_constant) -> context |
using | project_expansion_t = auto(const expansion &exp, integral_constant) -> expansion |
using | project_expression_t = auto(const expression &exp, integral_constant) -> expression |
using | project_label_t = auto(const label &lbl, integral_constant) -> label |
using | project_polynomial_t = auto(const polynomial &poly, integral_constant) -> polynomial |
using | proper_t = auto(const automaton &aut, direction dir, bool prune, const std::string &algo) -> automaton |
using | push_weights_t = auto(const automaton &aut) -> automaton |
using | quotkbaseb_t = auto(const context &ctx, unsigned divisor, unsigned base) -> automaton |
using | random_automaton_t = auto(const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, boost::optional< unsigned > max_labels, float loop_chance, const std::string &weights) -> automaton |
using | random_automaton_deterministic_t = auto(const context &ctx, unsigned num_states) -> automaton |
using | random_expression_t = auto(const context &ctx, const std::string ¶m, identities ids) -> expression |
using | random_weight_t = auto(const context &ctx, const std::string ¶m) -> weight |
using | rdivide_t = auto(const automaton &aut1, const automaton &aut2) -> automaton |
using | rdivide_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | rdivide_label_t = auto(const label &lhs, const label &rhs) -> label |
using | rdivide_weight_t = auto(const weight &lhs, const weight &rhs) -> weight |
using | read_label_t = auto(const context &ctx, std::istream &is, bool quoted) -> label |
using | read_polynomial_t = auto(const context &ctx, std::istream &is) -> polynomial |
using | read_weight_t = auto(const context &ctx, std::istream &is) -> weight |
using | realtime_t = auto(const automaton &aut) -> automaton |
using | reduce_t = auto(const automaton &aut) -> automaton |
using | rweight_t = auto(const automaton &aut, const weight &weight, const std::string &algo) -> automaton |
using | rweight_expansion_t = auto(const expansion &exp, const weight &weight) -> expansion |
using | rweight_expression_t = auto(const expression &exp, const weight &weight) -> expression |
using | rweight_polynomial_t = auto(const polynomial &poly, const weight &weight) -> polynomial |
using | scc_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | shortest_t = auto(const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len) -> polynomial |
using | shuffle_t = auto(const std::vector< automaton > &as) -> automaton |
using | shuffle_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | sort_t = auto(const automaton &aut) -> automaton |
using | split_t = auto(const expression &exp) -> polynomial |
using | split_polynomial_t = auto(const polynomial &poly) -> polynomial |
using | standard_t = auto(const automaton &aut) -> automaton |
using | standard_expression_t = auto(const expression &exp) -> automaton |
using | star_t = auto(const automaton &a, const std::string &algo) -> automaton |
using | star_height_t = auto(const expression &exp) -> unsigned |
using | star_normal_form_t = auto(const expression &exp) -> expression |
using | strip_t = auto(const automaton &aut) -> automaton |
using | subword_t = auto(const automaton &aut) -> automaton |
using | suffix_t = auto(const automaton &aut) -> automaton |
using | synchronize_t = auto(const automaton &aut) -> automaton |
using | synchronizing_word_t = auto(const automaton &aut, const std::string &algo) -> label |
using | thompson_t = auto(const expression &exp) -> automaton |
using | to_expansion_t = auto(const expression &exp) -> expansion |
using | to_expression_t = auto(const automaton &aut, identities ids, const std::string &algo) -> expression |
using | to_expression_class_t = auto(const context &ctx, identities ids, const letter_class_t &letters, bool accept) -> expression |
using | to_expression_label_t = auto(const context &ctx, identities ids, const label &lbl) -> expression |
using | transpose_t = auto(automaton &aut) -> automaton |
using | transpose_expression_t = auto(const expression &exp) -> expression |
using | transposition_expression_t = auto(const expression &exp) -> expression |
using | trie_t = auto(const polynomial &poly) -> automaton |
using | trie_stream_t = auto(const context &ctx, std::istream &is, const std::string &format) -> automaton |
using | trim_t = auto(const automaton &aut) -> automaton |
using | tuple_t = auto(const std::vector< automaton > &as) -> automaton |
using | tuple_context_t = auto(const std::vector< context > &cs) -> context |
using | tuple_expansion_t = auto(const std::vector< expansion > &es) -> expansion |
using | tuple_expression_t = auto(const std::vector< expression > &es) -> expression |
using | tuple_polynomial_t = auto(const std::vector< polynomial > &ps) -> polynomial |
using | u_t = auto(const context &ctx, unsigned n) -> automaton |
using | universal_t = auto(const automaton &aut) -> automaton |
using | weight_one_t = auto(const context &ctx) -> weight |
using | weight_series_t = auto(const automaton &aut) -> weight |
using | weight_zero_t = auto(const context &ctx) -> weight |
using | zpc_t = auto(const expression &exp, const std::string &algo) -> automaton |
Functions | |
template<Automaton Aut> | |
automaton | accessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | coaccessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | trim (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_accessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_coaccessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_trim (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_useless (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_empty (const automaton &aut) |
Bridge. More... | |
template<Automaton Lhs, Automaton Rhs, typename String > | |
automaton | add (const automaton &lhs, const automaton &rhs, const std::string &algo) |
Bridge. More... | |
template<typename ExpansionSetLhs , typename ExpansionSetRhs > | |
expansion | add_expansion (const expansion &lhs, const expansion &rhs) |
Bridge (add). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | add_expression (const expression &lhs, const expression &rhs) |
Bridge (add). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | add_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (add). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | add_weight (const weight &lhs, const weight &rhs) |
Bridge (add). More... | |
template<Automaton Aut1, Automaton Aut2> | |
bool | are_equivalent (const automaton &aut1, const automaton &aut2) |
Bridge. More... | |
template<typename ExpSet1 , typename ExpSet2 > | |
bool | are_equivalent_expression (const expression &r1, const expression &r2) |
Bridge (are_equivalent). More... | |
template<Automaton Lhs, Automaton Rhs> | |
automaton | difference (const automaton &lhs, const automaton &rhs) |
Bridge. More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | difference_expression (const expression &lhs, const expression &rhs) |
Bridge (difference). More... | |
template<Automaton Aut1, Automaton Aut2> | |
bool | are_isomorphic (const automaton &aut1, const automaton &aut2) |
Bridge. More... | |
template<typename Ctx , typename > | |
automaton | cerny (const context &ctx, unsigned num_states) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | complement (const automaton &aut) |
Bridge. More... | |
template<typename ExpansionSet > | |
expansion | complement_expansion (const expansion &xpn) |
Bridge (complement). More... | |
template<typename ExpSet > | |
expression | complement_expression (const expression &exp) |
Bridge (complement). More... | |
template<Automaton Aut> | |
automaton | complete (const automaton &aut) |
Bridge. More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expansion | compose_expansion (const expansion &lhs, const expansion &rhs) |
Bridge (compose). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | compose_expression (const expression &lhs, const expression &rhs) |
Bridge (compose). More... | |
template<typename PolSetLhs , typename PolSetRhs > | |
polynomial | compose_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (compose). More... | |
template<Automaton Lhs, Automaton Rhs, typename Bool > | |
automaton | compose (const automaton &lhs, const automaton &rhs, bool lazy) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | conjugate (const automaton &a) |
Bridge. More... | |
template<typename Auts , size_t... I> | |
automaton | conjunction_ (const std::vector< automaton > &as, bool lazy, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename Auts , typename Bool > | |
automaton | conjunction (const std::vector< automaton > &as, bool lazy) |
Bridge (conjunction). More... | |
template<Automaton Aut1, Automaton Aut2> | |
automaton | ldivide (const automaton &aut1, const automaton &aut2) |
Bridge (ldivide). More... | |
template<Automaton Aut1, Automaton Aut2> | |
automaton | rdivide (const automaton &aut1, const automaton &aut2) |
Bridge. More... | |
template<typename Auts , size_t... I> | |
automaton | shuffle_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>) |
Variadic bridge helper. More... | |
template<typename Auts > | |
automaton | shuffle (const std::vector< automaton > &as) |
Bridge (shuffle). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | shuffle_expression (const expression &lhs, const expression &rhs) |
Bridge (shuffle). More... | |
template<typename Auts , size_t... I> | |
automaton | infiltrate_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>) |
Variadic bridge helper. More... | |
template<typename Auts > | |
automaton | infiltrate (const std::vector< automaton > &as) |
Bridge (infiltrate). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | infiltrate_expression (const expression &lhs, const expression &rhs) |
Bridge (infiltrate). More... | |
template<Automaton Aut, typename Unsigned > | |
automaton | conjunction_repeated (const automaton &aut, unsigned n) |
Bridge (conjunction). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | conjunction_expression (const expression &lhs, const expression &rhs) |
Bridge (conjunction). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expansion | conjunction_expansion (const expansion &lhs, const expansion &rhs) |
Bridge (conjunction). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | conjunction_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (conjunction). More... | |
template<typename ExpSet > | |
weight | constant_term (const expression &exp) |
Bridge. More... | |
template<typename Context , typename Identities > | |
expression | expression_one (const context &ctx, identities ids) |
Bridge. More... | |
template<typename Context , typename Identities > | |
expression | expression_zero (const context &ctx, identities ids) |
Bridge. More... | |
template<typename Context > | |
weight | weight_one (const context &ctx) |
Bridge. More... | |
template<typename Context > | |
weight | weight_zero (const context &ctx) |
Bridge. More... | |
template<Automaton Aut, typename Ctx > | |
automaton | copy_convert (const automaton &aut, const context &ctx) |
Bridge (copy). More... | |
template<Automaton Aut> | |
automaton | copy (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet , typename Context , typename Identities > | |
expression | copy_expression (const expression &exp, const context &ctx, identities ids) |
Bridge (copy). More... | |
template<typename Ctx , typename Unsigned > | |
automaton | de_bruijn (const dyn::context &ctx, unsigned n) |
Bridge. More... | |
template<typename ExpSet , typename Label , typename Bool > | |
polynomial | derivation (const expression &exp, const label &lbl, bool breaking) |
Bridge. More... | |
template<typename ExpSet , typename String > | |
automaton | derived_term (const expression &exp, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag , bool Lazy = false> | |
automaton | determinize_tag_ (const Aut &aut) |
Helper function to facilitate dispatch below. More... | |
template<Automaton Aut, typename String > | |
enable_if_boolean_t< Aut, automaton > | determinize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<Automaton Aut, typename String > | |
enable_if_not_boolean_t< Aut, automaton > | determinize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | determinize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag > | |
automaton | codeterminize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
enable_if_boolean_t< Aut, automaton > | codeterminize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<Automaton Aut, typename String > | |
enable_if_not_boolean_t< Aut, automaton > | codeterminize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | codeterminize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename ExpansionSetLhs , typename ExpansionSetRhs > | |
expansion | ldivide_expansion (const expansion &lhs, const expansion &rhs) |
Bridge (ldivide). More... | |
template<typename ExpressionSetLhs , typename ExpressionSetRhs > | |
expression | ldivide_expression (const expression &lhs, const expression &rhs) |
Bridge (ldivide). More... | |
template<typename LabelSetLhs , typename LabelSetRhs > | |
label | ldivide_label (const label &lhs, const label &rhs) |
Bridge (ldivide). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | ldivide_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (ldivide). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | ldivide_weight (const weight &lhs, const weight &rhs) |
Bridge (ldivide). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | lgcd_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (lgcd). More... | |
template<typename LabelSetLhs , typename LabelSetRhs > | |
label | rdivide_label (const label &lhs, const label &rhs) |
Bridge (rdivide). More... | |
template<typename ExpressionSetLhs , typename ExpressionSetRhs > | |
expression | rdivide_expression (const expression &lhs, const expression &rhs) |
Bridge (rdivide). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | rdivide_weight (const weight &lhs, const weight &rhs) |
Bridge (rdivide). More... | |
template<typename Ctx , typename Unsigned1 , typename Unsigned2 > | |
automaton | divkbaseb (const context &ctx, unsigned divisor, unsigned base) |
Bridge. More... | |
template<typename Ctx , typename , typename > | |
automaton | double_ring (const context &ctx, unsigned n, const std::vector< unsigned > &finals) |
Bridge. More... | |
template<typename Ctx > | |
automaton_editor * | make_automaton_editor (const context &ctx) |
Bridge. More... | |
template<Automaton Aut, typename LabelSet > | |
weight | evaluate (const automaton &aut, const label &lbl) |
Bridge. More... | |
template<Automaton Aut, typename PolynomialSet > | |
weight | eval_polynomial (const automaton &aut, const polynomial &poly) |
Bridge (evaluate). More... | |
template<typename ExpSet > | |
expression | expand (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename Unsigneds > | |
automaton | filter (const automaton &aut, const std::vector< unsigned > &states) |
Bridge. More... | |
template<Automaton Aut, typename Tape > | |
automaton | focus (const automaton &aut, integral_constant) |
Bridge. More... | |
template<Automaton Aut> | |
bool | has_bounded_lag (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | has_lightening_cycle (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | has_twins_property (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
identities | identities_of (const expression &exp) |
Bridge. More... | |
template<typename ExpSet , typename Tag > | |
automaton | inductive_tag_ (const ExpSet &rs, const typename ExpSet::value_t &r) |
Helper function to facilitate dispatch below. More... | |
template<typename ExpSet , typename String > | |
automaton | inductive (const expression &exp, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Ostream , typename Bool > | |
std::ostream & | info (const automaton &aut, std::ostream &out, unsigned details) |
Bridge. More... | |
template<typename ExpSet , typename Ostream > | |
std::ostream & | info_expression (const expression &exp, std::ostream &o) |
Bridge (info). More... | |
template<Automaton Aut, typename Bool > | |
automaton | insplit (const automaton &aut, bool lazy) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_eps_acyclic (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_ambiguous (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
label | ambiguous_word (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_cycle_ambiguous (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_complete (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_deterministic (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_codeterministic (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_functional (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_partial_identity (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_proper (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_synchronized (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | delay_automaton (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
bool | is_valid_expression (const expression &exp) |
Bridge (is_valid). More... | |
template<Automaton Aut> | |
bool | is_valid (const automaton &aut) |
Bridge. More... | |
template<typename Ctx , typename Unsigned > | |
automaton | ladybird (const dyn::context &ctx, unsigned n) |
Bridge. More... | |
template<typename ExpSet1 , typename ExpSet2 > | |
bool | less_than_expression (const expression &lhs, const expression &rhs) |
Bridge (less_than). More... | |
template<Automaton Aut> | |
automaton | letterize (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_letterized (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | realtime (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_realtime (const automaton &aut) |
Bridge. More... | |
template<typename Context > | |
automaton | levenshtein (const dyn::context &ctx) |
Bridge. More... | |
template<Automaton Aut, typename Ids , typename... Tapes> | |
automaton | lift_automaton (const automaton &aut, identities ids, integral_constant) |
Bridge. More... | |
template<typename ExpSet > | |
expression | lift_expression (const expression &exp) |
Bridge (lift). More... | |
template<Automaton Aut, typename Num , typename String > | |
automaton | lightest_automaton (const automaton &aut, unsigned k, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Num , typename String > | |
polynomial | lightest (const automaton &aut, unsigned num, const std::string &algo) |
Bridge. More... | |
template<typename Ctx > | |
context | make_context (const std::string &name) |
Bridge. More... | |
template<Automaton Aut> | |
context | context_of (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
context | context_of_expression (const expression &exp) |
Bridge (context_of). More... | |
template<typename ExpansionSet > | |
context | context_of_expansion (const expansion &exp) |
Bridge (context_of). More... | |
template<typename PolynomialSet > | |
context | context_of_polynomial (const polynomial &poly) |
Bridge (context_of). More... | |
template<typename Ctx1 , typename Ctx2 > | |
context | join (const context &c1, const context &c2) |
Bridge. More... | |
template<typename Ctx > | |
context | make_word_context (const context &ctx) |
Bridge. More... | |
template<typename Ctx > | |
size_t | num_tapes (const context &ctx) |
Bridge. More... | |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut >), Aut > | minimize (const Aut &, brzozowski_tag) |
Handling of errors for dyn::minimize. More... | |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut > ), quotient_t< Aut > > | minimize (const Aut &, hopcroft_tag) |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut > ), quotient_t< Aut > > | minimize (const Aut &, moore_tag) |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t<!std::is_same < weightset_t_of< Aut >, b > ::value, quotient_t< Aut > > | minimize (const Aut &, signature_tag) |
template<Automaton Aut, typename Tag > | |
automaton | minimize_tag_ (const Aut &aut) |
Helper function to facilitate dispatch below. More... | |
template<Automaton Aut, typename String > | |
automaton | minimize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag > | |
automaton | cominimize_tag_ (const Aut &aut) |
Helper function to facilitate dispatch below. More... | |
template<Automaton Aut, typename String > | |
automaton | cominimize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Lhs, Automaton Rhs, typename String > | |
automaton | multiply (const automaton &lhs, const automaton &rhs, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Int1 , typename Int2 , typename String > | |
automaton | multiply_repeated (const automaton &a, int min, int max, const std::string &algo) |
Bridge (multiply). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | multiply_expression (const expression &lhs, const expression &rhs) |
Bridge (multiply). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | concatenate_expression (const expression &lhs, const expression &rhs) |
Bridge (concatenate). More... | |
template<typename ExpSet , typename Int1 , typename Int2 > | |
expression | multiply_expression_repeated (const expression &re, int min, int max) |
Bridge (multiply). More... | |
template<typename LabelSetLhs , typename LabelSetRhs > | |
label | multiply_label (const label &lhs, const label &rhs) |
Bridge (multiply). More... | |
template<typename LabelSet , typename Int > | |
label | multiply_label_repeated (const label &re, int exp) |
Bridge (multiply). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | multiply_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (multiply). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | multiply_weight (const weight &lhs, const weight &rhs) |
Bridge (multiply). More... | |
template<typename WeightSet , typename Int1 , typename Int2 > | |
weight | multiply_weight_repeated (const weight &wgt, int min, int max) |
Bridge (multiply). More... | |
template<Automaton Aut> | |
bool | is_normalized (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | normalize (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename > | |
automaton | pair (const automaton &aut, bool keep_initials) |
Bridge. More... | |
template<typename ExpressionSet > | |
expression | partial_identity_expression (const expression &exp) |
Bridge (partial_identity). More... | |
template<Automaton Aut> | |
automaton | partial_identity (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | suffix (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | prefix (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | factor (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | subword (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Ostream , typename String > | |
std::ostream & | print (const automaton &aut, std::ostream &o, const std::string &fmt) |
Bridge. More... | |
template<typename Context , typename Ostream , typename String > | |
std::ostream & | print_context (const context &ctx, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename ExpansionSet , typename Ostream , typename String > | |
std::ostream & | print_expansion (const expansion &expansion, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename ExpSet , typename Ostream , typename String > | |
std::ostream & | print_expression (const expression &exp, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename LabelSet , typename Ostream , typename String > | |
std::ostream & | print_label (const label &label, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename PolynomialSet , typename Ostream > | |
std::ostream & | list_polynomial (const polynomial &polynomial, std::ostream &o) |
Bridge (list). More... | |
template<typename PolynomialSet , typename Ostream , typename String > | |
std::ostream & | print_polynomial (const polynomial &polynomial, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename WeightSet , typename Ostream , typename String > | |
std::ostream & | print_weight (const weight &weight, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<Automaton Aut, typename Tape > | |
automaton | project (const automaton &aut, integral_constant) |
Bridge. More... | |
template<typename Context , typename Tape > | |
context | project_context (const context &ctx, integral_constant) |
Bridge (project). More... | |
template<typename ExpansionSet , typename Tape > | |
expansion | project_expansion (const expansion &exp, integral_constant) |
Bridge (project). More... | |
template<typename ExpressionSet , typename Tape > | |
expression | project_expression (const expression &exp, integral_constant) |
Bridge (project). More... | |
template<typename PolynomialSet , typename Tape > | |
polynomial | project_polynomial (const polynomial &poly, integral_constant) |
Bridge (project). More... | |
template<typename Label , typename Tape > | |
label | project_label (const label &lbl, integral_constant) |
Bridge (project). More... | |
template<Automaton Aut, typename Dir , typename Bool , typename String > | |
automaton | proper (const automaton &aut, direction dir, bool prune, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | push_weights (const automaton &aut) |
Bridge. More... | |
template<typename Ctx , typename Unsigned1 , typename Unsigned2 > | |
automaton | quotkbaseb (const context &ctx, unsigned divisor, unsigned base) |
Bridge. More... | |
template<typename Ctx , typename NumStates , typename Density , typename NumInitial , typename NumFinal , typename MaxLabels , typename LoopChance , typename String > | |
automaton | random_automaton (const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, boost::optional< unsigned > max_labels, float loop_chance, const std::string &weights) |
Bridge. More... | |
template<typename Ctx , typename > | |
automaton | random_automaton_deterministic (const context &ctx, unsigned num_states) |
Bridge. More... | |
template<typename Context , typename String , typename Identities > | |
expression | random_expression (const context &ctx, const std::string ¶m, identities ids) |
Bridge. More... | |
template<typename Context , typename String > | |
weight | random_weight (const context &ctx, const std::string ¶m) |
Bridge. More... | |
template<typename Context , typename Istream , typename Bool > | |
label | read_label (const context &ctx, std::istream &is, bool quoted) |
Bridge. More... | |
template<typename Context , typename Istream > | |
polynomial | read_polynomial (const context &ctx, std::istream &is) |
Bridge. More... | |
template<typename Context , typename Istream > | |
weight | read_weight (const context &ctx, std::istream &is) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | reduce (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | scc (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut> | |
std::size_t | num_components (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Unsigned > | |
automaton | component (const automaton &aut, unsigned num) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | condense (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Num , typename Len > | |
polynomial | shortest (const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_out_sorted (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | sort (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
polynomial | split (const expression &exp) |
Bridge. More... | |
template<typename PolynomialSet > | |
polynomial | split_polynomial (const polynomial &poly) |
Bridge (split). More... | |
template<Automaton Aut> | |
bool | is_standard (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_costandard (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | standard (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | costandard (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
automaton | standard_expression (const expression &exp) |
Bridge (standard). More... | |
template<typename ExpSet > | |
unsigned | star_height (const expression &exp) |
Bridge. More... | |
template<typename ExpSet > | |
expression | star_normal_form (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | star (const automaton &a, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | strip (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | synchronize (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename LabelSet > | |
bool | is_synchronized_by (const automaton &aut, const label &word) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_synchronizing (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename String > | |
label | synchronizing_word (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename ExpSet > | |
automaton | thompson (const expression &exp) |
Bridge. More... | |
template<typename ExpSet > | |
expansion | to_expansion (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename Int > | |
automaton | eliminate_state (const automaton &aut, int state) |
Bridge. More... | |
template<Automaton Aut, typename Identities , typename String > | |
expression | to_expression (const automaton &aut, identities ids, const std::string &algo) |
Bridge. More... | |
template<typename Context , typename Identities , typename Label > | |
expression | to_expression_label (const context &ctx, identities ids, const label &lbl) |
Bridge (to_expression). More... | |
template<typename Context , typename Identities , typename Letters , typename Bool > | |
expression | to_expression_class (const context &ctx, identities ids, const letter_class_t &letters, bool accept) |
Bridge (to_expression). More... | |
template<Automaton Aut> | |
automaton | transpose (automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
expression | transpose_expression (const expression &exp) |
Bridge (transpose). More... | |
template<typename ExpSet > | |
expression | transposition_expression (const expression &exp) |
Bridge (transposition). More... | |
template<typename PolynomialSet > | |
automaton | trie (const polynomial &poly) |
Bridge. More... | |
template<typename PolynomialSet > | |
automaton | cotrie (const polynomial &poly) |
Bridge. More... | |
template<typename Context , typename Istream , typename String > | |
automaton | trie_stream (const context &ctx, std::istream &is, const std::string &format) |
Bridge (trie). More... | |
template<typename Context , typename Istream , typename String > | |
automaton | cotrie_stream (const context &ctx, std::istream &is, const std::string &format) |
Bridge (cotrie). More... | |
template<typename Auts , size_t... I> | |
automaton | tuple_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename Auts > | |
automaton | tuple (const std::vector< automaton > &as) |
Bridge. More... | |
template<typename Contexts , size_t... I> | |
context | tuple_ (const std::vector< context > &cs, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename Contexts > | |
context | tuple_context (const std::vector< context > &cs) |
Bridge (tuple). More... | |
template<typename ExpansionSets , size_t... I> | |
expansion | tuple_ (const std::vector< expansion > &es, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename ExpansionSets > | |
expansion | tuple_expansion (const std::vector< expansion > &es) |
Bridge (tuple). More... | |
template<typename ExpSets , size_t... I> | |
expression | tuple_ (const std::vector< expression > &es, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename ExpSets > | |
expression | tuple_expression (const std::vector< expression > &es) |
Bridge (tuple). More... | |
template<typename PolynomialSet , size_t... I> | |
polynomial | tuple_ (const std::vector< polynomial > &polys, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename PolynomialSets > | |
polynomial | tuple_polynomial (const std::vector< polynomial > &ps) |
Bridge (tuple). More... | |
template<typename Ctx , typename Unsigned > | |
automaton | u (const context &ctx, unsigned n) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | universal (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
weight | weight_series (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Tag > | |
automaton | lweight_tag (const weight_t_of< Aut > &w, Aut &aut) |
Left-product. More... | |
template<typename WeightSet , Automaton Aut, typename String > | |
automaton | lweight (const weight &weight, const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename WeightSet , typename ExpansionSet > | |
expansion | lweight_expansion (const weight &weight, const expansion &exp) |
Bridge (lweight). More... | |
template<typename WeightSet , typename ExpSet > | |
expression | lweight_expression (const weight &weight, const expression &exp) |
Bridge (lweight). More... | |
template<typename WeightSet , typename PolynomialSet > | |
polynomial | lweight_polynomial (const weight &weight, const polynomial &poly) |
Bridge (lweight). More... | |
template<Automaton Aut, typename Tag > | |
automaton | rweight_tag (Aut &aut, const weight_t_of< Aut > &w) |
Right-product. More... | |
template<Automaton Aut, typename WeightSet , typename String > | |
automaton | rweight (const automaton &aut, const weight &weight, const std::string &algo) |
Bridge. More... | |
template<typename ExpansionSet , typename WeightSet > | |
expansion | rweight_expansion (const expansion &exp, const weight &weight) |
Bridge (rweight). More... | |
template<typename ExpSet , typename WeightSet > | |
expression | rweight_expression (const expression &exp, const weight &weight) |
Bridge (rweight). More... | |
template<typename PolynomialSet , typename WeightSet > | |
polynomial | rweight_polynomial (const polynomial &poly, const weight &weight) |
Bridge (rweight). More... | |
template<typename ExpSet , typename String > | |
automaton | zpc (const expression &exp, const std::string &algo) |
Bridge. More... | |
template<typename To , typename From > | |
To | dyn_cast (From &&from) |
A dynamic_cast in debug mode, static_cast with NDEBUG. More... | |
bool | accessible_register (const signature &sig, accessible_t fn) |
bool | add_register (const signature &sig, add_t fn) |
bool | add_expansion_register (const signature &sig, add_expansion_t fn) |
bool | add_expression_register (const signature &sig, add_expression_t fn) |
bool | add_polynomial_register (const signature &sig, add_polynomial_t fn) |
bool | add_weight_register (const signature &sig, add_weight_t fn) |
bool | ambiguous_word_register (const signature &sig, ambiguous_word_t fn) |
bool | are_equivalent_register (const signature &sig, are_equivalent_t fn) |
bool | are_equivalent_expression_register (const signature &sig, are_equivalent_expression_t fn) |
bool | are_isomorphic_register (const signature &sig, are_isomorphic_t fn) |
bool | cerny_register (const signature &sig, cerny_t fn) |
bool | coaccessible_register (const signature &sig, coaccessible_t fn) |
bool | codeterminize_register (const signature &sig, codeterminize_t fn) |
bool | cominimize_register (const signature &sig, cominimize_t fn) |
bool | complement_register (const signature &sig, complement_t fn) |
bool | complement_expansion_register (const signature &sig, complement_expansion_t fn) |
bool | complement_expression_register (const signature &sig, complement_expression_t fn) |
bool | complete_register (const signature &sig, complete_t fn) |
bool | component_register (const signature &sig, component_t fn) |
bool | compose_register (const signature &sig, compose_t fn) |
bool | compose_expansion_register (const signature &sig, compose_expansion_t fn) |
bool | compose_expression_register (const signature &sig, compose_expression_t fn) |
bool | compose_polynomial_register (const signature &sig, compose_polynomial_t fn) |
bool | concatenate_expression_register (const signature &sig, concatenate_expression_t fn) |
bool | condense_register (const signature &sig, condense_t fn) |
bool | conjugate_register (const signature &sig, conjugate_t fn) |
bool | conjunction_register (const signature &sig, conjunction_t fn) |
bool | conjunction_expansion_register (const signature &sig, conjunction_expansion_t fn) |
bool | conjunction_expression_register (const signature &sig, conjunction_expression_t fn) |
bool | conjunction_polynomial_register (const signature &sig, conjunction_polynomial_t fn) |
bool | conjunction_repeated_register (const signature &sig, conjunction_repeated_t fn) |
bool | constant_term_register (const signature &sig, constant_term_t fn) |
bool | context_of_register (const signature &sig, context_of_t fn) |
bool | context_of_expansion_register (const signature &sig, context_of_expansion_t fn) |
bool | context_of_expression_register (const signature &sig, context_of_expression_t fn) |
bool | context_of_polynomial_register (const signature &sig, context_of_polynomial_t fn) |
bool | copy_register (const signature &sig, copy_t fn) |
bool | copy_convert_register (const signature &sig, copy_convert_t fn) |
bool | copy_expression_register (const signature &sig, copy_expression_t fn) |
bool | costandard_register (const signature &sig, costandard_t fn) |
bool | cotrie_register (const signature &sig, cotrie_t fn) |
bool | cotrie_stream_register (const signature &sig, cotrie_stream_t fn) |
bool | de_bruijn_register (const signature &sig, de_bruijn_t fn) |
bool | delay_automaton_register (const signature &sig, delay_automaton_t fn) |
bool | derivation_register (const signature &sig, derivation_t fn) |
bool | derived_term_register (const signature &sig, derived_term_t fn) |
bool | determinize_register (const signature &sig, determinize_t fn) |
bool | difference_register (const signature &sig, difference_t fn) |
bool | difference_expression_register (const signature &sig, difference_expression_t fn) |
bool | divkbaseb_register (const signature &sig, divkbaseb_t fn) |
bool | double_ring_register (const signature &sig, double_ring_t fn) |
bool | eliminate_state_register (const signature &sig, eliminate_state_t fn) |
bool | eval_polynomial_register (const signature &sig, eval_polynomial_t fn) |
bool | evaluate_register (const signature &sig, evaluate_t fn) |
bool | expand_register (const signature &sig, expand_t fn) |
bool | expression_one_register (const signature &sig, expression_one_t fn) |
bool | expression_zero_register (const signature &sig, expression_zero_t fn) |
bool | factor_register (const signature &sig, factor_t fn) |
bool | filter_register (const signature &sig, filter_t fn) |
bool | focus_register (const signature &sig, focus_t fn) |
bool | has_bounded_lag_register (const signature &sig, has_bounded_lag_t fn) |
bool | has_lightening_cycle_register (const signature &sig, has_lightening_cycle_t fn) |
bool | has_twins_property_register (const signature &sig, has_twins_property_t fn) |
bool | identities_of_register (const signature &sig, identities_of_t fn) |
bool | inductive_register (const signature &sig, inductive_t fn) |
bool | infiltrate_register (const signature &sig, infiltrate_t fn) |
bool | infiltrate_expression_register (const signature &sig, infiltrate_expression_t fn) |
bool | info_register (const signature &sig, info_t fn) |
bool | info_expression_register (const signature &sig, info_expression_t fn) |
bool | insplit_register (const signature &sig, insplit_t fn) |
bool | is_accessible_register (const signature &sig, is_accessible_t fn) |
bool | is_ambiguous_register (const signature &sig, is_ambiguous_t fn) |
bool | is_coaccessible_register (const signature &sig, is_coaccessible_t fn) |
bool | is_codeterministic_register (const signature &sig, is_codeterministic_t fn) |
bool | is_complete_register (const signature &sig, is_complete_t fn) |
bool | is_costandard_register (const signature &sig, is_costandard_t fn) |
bool | is_cycle_ambiguous_register (const signature &sig, is_cycle_ambiguous_t fn) |
bool | is_deterministic_register (const signature &sig, is_deterministic_t fn) |
bool | is_empty_register (const signature &sig, is_empty_t fn) |
bool | is_eps_acyclic_register (const signature &sig, is_eps_acyclic_t fn) |
bool | is_functional_register (const signature &sig, is_functional_t fn) |
bool | is_letterized_register (const signature &sig, is_letterized_t fn) |
bool | is_normalized_register (const signature &sig, is_normalized_t fn) |
bool | is_out_sorted_register (const signature &sig, is_out_sorted_t fn) |
bool | is_partial_identity_register (const signature &sig, is_partial_identity_t fn) |
bool | is_proper_register (const signature &sig, is_proper_t fn) |
bool | is_realtime_register (const signature &sig, is_realtime_t fn) |
bool | is_standard_register (const signature &sig, is_standard_t fn) |
bool | is_synchronized_register (const signature &sig, is_synchronized_t fn) |
bool | is_synchronized_by_register (const signature &sig, is_synchronized_by_t fn) |
bool | is_synchronizing_register (const signature &sig, is_synchronizing_t fn) |
bool | is_trim_register (const signature &sig, is_trim_t fn) |
bool | is_useless_register (const signature &sig, is_useless_t fn) |
bool | is_valid_register (const signature &sig, is_valid_t fn) |
bool | is_valid_expression_register (const signature &sig, is_valid_expression_t fn) |
bool | join_register (const signature &sig, join_t fn) |
bool | ladybird_register (const signature &sig, ladybird_t fn) |
bool | ldivide_register (const signature &sig, ldivide_t fn) |
bool | ldivide_expansion_register (const signature &sig, ldivide_expansion_t fn) |
bool | ldivide_expression_register (const signature &sig, ldivide_expression_t fn) |
bool | ldivide_label_register (const signature &sig, ldivide_label_t fn) |
bool | ldivide_polynomial_register (const signature &sig, ldivide_polynomial_t fn) |
bool | ldivide_weight_register (const signature &sig, ldivide_weight_t fn) |
bool | less_than_expression_register (const signature &sig, less_than_expression_t fn) |
bool | letterize_register (const signature &sig, letterize_t fn) |
bool | levenshtein_register (const signature &sig, levenshtein_t fn) |
bool | lgcd_polynomial_register (const signature &sig, lgcd_polynomial_t fn) |
bool | lift_automaton_register (const signature &sig, lift_automaton_t fn) |
bool | lift_expression_register (const signature &sig, lift_expression_t fn) |
bool | lightest_register (const signature &sig, lightest_t fn) |
bool | lightest_automaton_register (const signature &sig, lightest_automaton_t fn) |
bool | list_polynomial_register (const signature &sig, list_polynomial_t fn) |
bool | lweight_register (const signature &sig, lweight_t fn) |
bool | lweight_expansion_register (const signature &sig, lweight_expansion_t fn) |
bool | lweight_expression_register (const signature &sig, lweight_expression_t fn) |
bool | lweight_polynomial_register (const signature &sig, lweight_polynomial_t fn) |
bool | make_automaton_editor_register (const signature &sig, make_automaton_editor_t fn) |
bool | make_context_register (const signature &sig, make_context_t fn) |
bool | make_word_context_register (const signature &sig, make_word_context_t fn) |
bool | minimize_register (const signature &sig, minimize_t fn) |
bool | multiply_register (const signature &sig, multiply_t fn) |
bool | multiply_expression_register (const signature &sig, multiply_expression_t fn) |
bool | multiply_expression_repeated_register (const signature &sig, multiply_expression_repeated_t fn) |
bool | multiply_label_register (const signature &sig, multiply_label_t fn) |
bool | multiply_label_repeated_register (const signature &sig, multiply_label_repeated_t fn) |
bool | multiply_polynomial_register (const signature &sig, multiply_polynomial_t fn) |
bool | multiply_repeated_register (const signature &sig, multiply_repeated_t fn) |
bool | multiply_weight_register (const signature &sig, multiply_weight_t fn) |
bool | multiply_weight_repeated_register (const signature &sig, multiply_weight_repeated_t fn) |
bool | normalize_register (const signature &sig, normalize_t fn) |
bool | num_components_register (const signature &sig, num_components_t fn) |
bool | num_tapes_register (const signature &sig, num_tapes_t fn) |
bool | pair_register (const signature &sig, pair_t fn) |
bool | partial_identity_register (const signature &sig, partial_identity_t fn) |
bool | partial_identity_expression_register (const signature &sig, partial_identity_expression_t fn) |
bool | prefix_register (const signature &sig, prefix_t fn) |
bool | print_register (const signature &sig, print_t fn) |
bool | print_context_register (const signature &sig, print_context_t fn) |
bool | print_expansion_register (const signature &sig, print_expansion_t fn) |
bool | print_expression_register (const signature &sig, print_expression_t fn) |
bool | print_label_register (const signature &sig, print_label_t fn) |
bool | print_polynomial_register (const signature &sig, print_polynomial_t fn) |
bool | print_weight_register (const signature &sig, print_weight_t fn) |
bool | project_register (const signature &sig, project_t fn) |
bool | project_context_register (const signature &sig, project_context_t fn) |
bool | project_expansion_register (const signature &sig, project_expansion_t fn) |
bool | project_expression_register (const signature &sig, project_expression_t fn) |
bool | project_label_register (const signature &sig, project_label_t fn) |
bool | project_polynomial_register (const signature &sig, project_polynomial_t fn) |
bool | proper_register (const signature &sig, proper_t fn) |
bool | push_weights_register (const signature &sig, push_weights_t fn) |
bool | quotkbaseb_register (const signature &sig, quotkbaseb_t fn) |
bool | random_automaton_register (const signature &sig, random_automaton_t fn) |
bool | random_automaton_deterministic_register (const signature &sig, random_automaton_deterministic_t fn) |
bool | random_expression_register (const signature &sig, random_expression_t fn) |
bool | random_weight_register (const signature &sig, random_weight_t fn) |
bool | rdivide_register (const signature &sig, rdivide_t fn) |
bool | rdivide_expression_register (const signature &sig, rdivide_expression_t fn) |
bool | rdivide_label_register (const signature &sig, rdivide_label_t fn) |
bool | rdivide_weight_register (const signature &sig, rdivide_weight_t fn) |
bool | read_label_register (const signature &sig, read_label_t fn) |
bool | read_polynomial_register (const signature &sig, read_polynomial_t fn) |
bool | read_weight_register (const signature &sig, read_weight_t fn) |
bool | realtime_register (const signature &sig, realtime_t fn) |
bool | reduce_register (const signature &sig, reduce_t fn) |
bool | rweight_register (const signature &sig, rweight_t fn) |
bool | rweight_expansion_register (const signature &sig, rweight_expansion_t fn) |
bool | rweight_expression_register (const signature &sig, rweight_expression_t fn) |
bool | rweight_polynomial_register (const signature &sig, rweight_polynomial_t fn) |
bool | scc_register (const signature &sig, scc_t fn) |
bool | shortest_register (const signature &sig, shortest_t fn) |
bool | shuffle_register (const signature &sig, shuffle_t fn) |
bool | shuffle_expression_register (const signature &sig, shuffle_expression_t fn) |
bool | sort_register (const signature &sig, sort_t fn) |
bool | split_register (const signature &sig, split_t fn) |
bool | split_polynomial_register (const signature &sig, split_polynomial_t fn) |
bool | standard_register (const signature &sig, standard_t fn) |
bool | standard_expression_register (const signature &sig, standard_expression_t fn) |
bool | star_register (const signature &sig, star_t fn) |
bool | star_height_register (const signature &sig, star_height_t fn) |
bool | star_normal_form_register (const signature &sig, star_normal_form_t fn) |
bool | strip_register (const signature &sig, strip_t fn) |
bool | subword_register (const signature &sig, subword_t fn) |
bool | suffix_register (const signature &sig, suffix_t fn) |
bool | synchronize_register (const signature &sig, synchronize_t fn) |
bool | synchronizing_word_register (const signature &sig, synchronizing_word_t fn) |
bool | thompson_register (const signature &sig, thompson_t fn) |
bool | to_expansion_register (const signature &sig, to_expansion_t fn) |
bool | to_expression_register (const signature &sig, to_expression_t fn) |
bool | to_expression_class_register (const signature &sig, to_expression_class_t fn) |
bool | to_expression_label_register (const signature &sig, to_expression_label_t fn) |
bool | transpose_register (const signature &sig, transpose_t fn) |
bool | transpose_expression_register (const signature &sig, transpose_expression_t fn) |
bool | transposition_expression_register (const signature &sig, transposition_expression_t fn) |
bool | trie_register (const signature &sig, trie_t fn) |
bool | trie_stream_register (const signature &sig, trie_stream_t fn) |
bool | trim_register (const signature &sig, trim_t fn) |
bool | tuple_register (const signature &sig, tuple_t fn) |
bool | tuple_context_register (const signature &sig, tuple_context_t fn) |
bool | tuple_expansion_register (const signature &sig, tuple_expansion_t fn) |
bool | tuple_expression_register (const signature &sig, tuple_expression_t fn) |
bool | tuple_polynomial_register (const signature &sig, tuple_polynomial_t fn) |
bool | u_register (const signature &sig, u_t fn) |
bool | universal_register (const signature &sig, universal_t fn) |
bool | weight_one_register (const signature &sig, weight_one_t fn) |
bool | weight_series_register (const signature &sig, weight_series_t fn) |
bool | weight_zero_register (const signature &sig, weight_zero_t fn) |
bool | zpc_register (const signature &sig, zpc_t fn) |
static Registry< accessible_t > & | accessible_registry () |
static Registry< add_t > & | add_registry () |
static Registry < add_expansion_t > & | add_expansion_registry () |
static Registry < add_expression_t > & | add_expression_registry () |
static Registry < add_polynomial_t > & | add_polynomial_registry () |
static Registry< add_weight_t > & | add_weight_registry () |
static Registry < ambiguous_word_t > & | ambiguous_word_registry () |
static Registry < are_equivalent_t > & | are_equivalent_registry () |
static Registry < are_equivalent_expression_t > & | are_equivalent_expression_registry () |
static Registry < are_isomorphic_t > & | are_isomorphic_registry () |
static Registry< cerny_t > & | cerny_registry () |
static Registry< coaccessible_t > & | coaccessible_registry () |
static Registry < codeterminize_t > & | codeterminize_registry () |
static Registry< cominimize_t > & | cominimize_registry () |
static Registry< complement_t > & | complement_registry () |
static Registry < complement_expansion_t > & | complement_expansion_registry () |
static Registry < complement_expression_t > & | complement_expression_registry () |
static Registry< complete_t > & | complete_registry () |
static Registry< component_t > & | component_registry () |
static Registry< compose_t > & | compose_registry () |
static Registry < compose_expansion_t > & | compose_expansion_registry () |
static Registry < compose_expression_t > & | compose_expression_registry () |
static Registry < compose_polynomial_t > & | compose_polynomial_registry () |
static Registry < concatenate_expression_t > & | concatenate_expression_registry () |
static Registry< condense_t > & | condense_registry () |
static Registry< conjugate_t > & | conjugate_registry () |
static Registry< conjunction_t > & | conjunction_registry () |
static Registry < conjunction_expansion_t > & | conjunction_expansion_registry () |
static Registry < conjunction_expression_t > & | conjunction_expression_registry () |
static Registry < conjunction_polynomial_t > & | conjunction_polynomial_registry () |
static Registry < conjunction_repeated_t > & | conjunction_repeated_registry () |
static Registry < constant_term_t > & | constant_term_registry () |
static Registry< context_of_t > & | context_of_registry () |
static Registry < context_of_expansion_t > & | context_of_expansion_registry () |
static Registry < context_of_expression_t > & | context_of_expression_registry () |
static Registry < context_of_polynomial_t > & | context_of_polynomial_registry () |
static Registry< copy_t > & | copy_registry () |
static Registry< copy_convert_t > & | copy_convert_registry () |
static Registry < copy_expression_t > & | copy_expression_registry () |
static Registry< costandard_t > & | costandard_registry () |
static Registry< cotrie_t > & | cotrie_registry () |
static Registry < cotrie_stream_t > & | cotrie_stream_registry () |
static Registry< de_bruijn_t > & | de_bruijn_registry () |
static Registry < delay_automaton_t > & | delay_automaton_registry () |
static Registry< derivation_t > & | derivation_registry () |
static Registry< derived_term_t > & | derived_term_registry () |
static Registry< determinize_t > & | determinize_registry () |
static Registry< difference_t > & | difference_registry () |
static Registry < difference_expression_t > & | difference_expression_registry () |
static Registry< divkbaseb_t > & | divkbaseb_registry () |
static Registry< double_ring_t > & | double_ring_registry () |
static Registry < eliminate_state_t > & | eliminate_state_registry () |
static Registry < eval_polynomial_t > & | eval_polynomial_registry () |
static Registry< evaluate_t > & | evaluate_registry () |
static Registry< expand_t > & | expand_registry () |
static Registry < expression_one_t > & | expression_one_registry () |
static Registry < expression_zero_t > & | expression_zero_registry () |
static Registry< factor_t > & | factor_registry () |
static Registry< filter_t > & | filter_registry () |
static Registry < has_bounded_lag_t > & | has_bounded_lag_registry () |
static Registry < has_lightening_cycle_t > & | has_lightening_cycle_registry () |
static Registry < has_twins_property_t > & | has_twins_property_registry () |
static Registry < identities_of_t > & | identities_of_registry () |
static Registry< inductive_t > & | inductive_registry () |
static Registry< infiltrate_t > & | infiltrate_registry () |
static Registry < infiltrate_expression_t > & | infiltrate_expression_registry () |
static Registry< info_t > & | info_registry () |
static Registry < info_expression_t > & | info_expression_registry () |
static Registry< insplit_t > & | insplit_registry () |
static Registry < is_accessible_t > & | is_accessible_registry () |
static Registry< is_ambiguous_t > & | is_ambiguous_registry () |
static Registry < is_coaccessible_t > & | is_coaccessible_registry () |
static Registry < is_codeterministic_t > & | is_codeterministic_registry () |
static Registry< is_complete_t > & | is_complete_registry () |
static Registry < is_costandard_t > & | is_costandard_registry () |
static Registry < is_cycle_ambiguous_t > & | is_cycle_ambiguous_registry () |
static Registry < is_deterministic_t > & | is_deterministic_registry () |
static Registry< is_empty_t > & | is_empty_registry () |
static Registry < is_eps_acyclic_t > & | is_eps_acyclic_registry () |
static Registry < is_functional_t > & | is_functional_registry () |
static Registry < is_letterized_t > & | is_letterized_registry () |
static Registry < is_normalized_t > & | is_normalized_registry () |
static Registry < is_out_sorted_t > & | is_out_sorted_registry () |
static Registry < is_partial_identity_t > & | is_partial_identity_registry () |
static Registry< is_proper_t > & | is_proper_registry () |
static Registry< is_realtime_t > & | is_realtime_registry () |
static Registry< is_standard_t > & | is_standard_registry () |
static Registry < is_synchronized_t > & | is_synchronized_registry () |
static Registry < is_synchronized_by_t > & | is_synchronized_by_registry () |
static Registry < is_synchronizing_t > & | is_synchronizing_registry () |
static Registry< is_trim_t > & | is_trim_registry () |
static Registry< is_useless_t > & | is_useless_registry () |
static Registry< is_valid_t > & | is_valid_registry () |
static Registry < is_valid_expression_t > & | is_valid_expression_registry () |
static Registry< join_t > & | join_registry () |
static Registry< ladybird_t > & | ladybird_registry () |
static Registry< ldivide_t > & | ldivide_registry () |
static Registry < ldivide_expansion_t > & | ldivide_expansion_registry () |
static Registry < ldivide_expression_t > & | ldivide_expression_registry () |
static Registry < ldivide_label_t > & | ldivide_label_registry () |
static Registry < ldivide_polynomial_t > & | ldivide_polynomial_registry () |
static Registry < ldivide_weight_t > & | ldivide_weight_registry () |
static Registry < less_than_expression_t > & | less_than_expression_registry () |
static Registry< letterize_t > & | letterize_registry () |
static Registry< levenshtein_t > & | levenshtein_registry () |
static Registry < lgcd_polynomial_t > & | lgcd_polynomial_registry () |
static Registry < lift_expression_t > & | lift_expression_registry () |
static Registry< lightest_t > & | lightest_registry () |
static Registry < lightest_automaton_t > & | lightest_automaton_registry () |
static Registry< lweight_t > & | lweight_registry () |
static Registry < lweight_expansion_t > & | lweight_expansion_registry () |
static Registry < lweight_expression_t > & | lweight_expression_registry () |
static Registry < lweight_polynomial_t > & | lweight_polynomial_registry () |
static Registry < make_automaton_editor_t > & | make_automaton_editor_registry () |
static Registry < make_word_context_t > & | make_word_context_registry () |
static Registry< minimize_t > & | minimize_registry () |
static Registry< multiply_t > & | multiply_registry () |
static Registry < multiply_expression_t > & | multiply_expression_registry () |
static Registry < multiply_expression_repeated_t > & | multiply_expression_repeated_registry () |
static Registry < multiply_label_t > & | multiply_label_registry () |
static Registry < multiply_label_repeated_t > & | multiply_label_repeated_registry () |
static Registry < multiply_polynomial_t > & | multiply_polynomial_registry () |
static Registry < multiply_repeated_t > & | multiply_repeated_registry () |
static Registry < multiply_weight_t > & | multiply_weight_registry () |
static Registry < multiply_weight_repeated_t > & | multiply_weight_repeated_registry () |
static Registry< normalize_t > & | normalize_registry () |
static Registry < num_components_t > & | num_components_registry () |
static Registry< num_tapes_t > & | num_tapes_registry () |
static Registry< pair_t > & | pair_registry () |
static Registry < partial_identity_t > & | partial_identity_registry () |
static Registry < partial_identity_expression_t > & | partial_identity_expression_registry () |
static Registry< prefix_t > & | prefix_registry () |
static Registry< print_t > & | print_registry () |
static Registry < print_context_t > & | print_context_registry () |
static Registry< proper_t > & | proper_registry () |
static Registry< push_weights_t > & | push_weights_registry () |
static Registry< quotkbaseb_t > & | quotkbaseb_registry () |
static Registry < random_automaton_t > & | random_automaton_registry () |
static Registry < random_automaton_deterministic_t > & | random_automaton_deterministic_registry () |
static Registry < random_expression_t > & | random_expression_registry () |
static Registry < random_weight_t > & | random_weight_registry () |
static Registry< rdivide_t > & | rdivide_registry () |
static Registry < rdivide_expression_t > & | rdivide_expression_registry () |
static Registry < rdivide_label_t > & | rdivide_label_registry () |
static Registry < rdivide_weight_t > & | rdivide_weight_registry () |
static Registry < read_polynomial_t > & | read_polynomial_registry () |
static Registry< read_weight_t > & | read_weight_registry () |
static Registry< realtime_t > & | realtime_registry () |
static Registry< reduce_t > & | reduce_registry () |
static Registry< rweight_t > & | rweight_registry () |
static Registry < rweight_expansion_t > & | rweight_expansion_registry () |
static Registry < rweight_expression_t > & | rweight_expression_registry () |
static Registry < rweight_polynomial_t > & | rweight_polynomial_registry () |
static Registry< scc_t > & | scc_registry () |
static Registry< shortest_t > & | shortest_registry () |
static Registry< shuffle_t > & | shuffle_registry () |
static Registry < shuffle_expression_t > & | shuffle_expression_registry () |
static Registry< sort_t > & | sort_registry () |
static Registry< split_t > & | split_registry () |
static Registry < split_polynomial_t > & | split_polynomial_registry () |
static Registry< standard_t > & | standard_registry () |
static Registry < standard_expression_t > & | standard_expression_registry () |
static Registry< star_t > & | star_registry () |
static Registry< star_height_t > & | star_height_registry () |
static Registry < star_normal_form_t > & | star_normal_form_registry () |
static Registry< strip_t > & | strip_registry () |
static Registry< subword_t > & | subword_registry () |
static Registry< suffix_t > & | suffix_registry () |
static Registry< synchronize_t > & | synchronize_registry () |
static Registry < synchronizing_word_t > & | synchronizing_word_registry () |
static Registry< thompson_t > & | thompson_registry () |
static Registry< to_expansion_t > & | to_expansion_registry () |
static Registry < to_expression_t > & | to_expression_registry () |
static Registry < to_expression_class_t > & | to_expression_class_registry () |
static Registry < to_expression_label_t > & | to_expression_label_registry () |
static Registry< transpose_t > & | transpose_registry () |
static Registry < transpose_expression_t > & | transpose_expression_registry () |
static Registry < transposition_expression_t > & | transposition_expression_registry () |
static Registry< trie_t > & | trie_registry () |
static Registry< trie_stream_t > & | trie_stream_registry () |
static Registry< trim_t > & | trim_registry () |
static Registry< tuple_t > & | tuple_registry () |
static Registry < tuple_context_t > & | tuple_context_registry () |
static Registry < tuple_expansion_t > & | tuple_expansion_registry () |
static Registry < tuple_expression_t > & | tuple_expression_registry () |
static Registry < tuple_polynomial_t > & | tuple_polynomial_registry () |
static Registry< u_t > & | u_registry () |
static Registry< universal_t > & | universal_registry () |
static Registry< weight_one_t > & | weight_one_registry () |
static Registry < weight_series_t > & | weight_series_registry () |
static Registry< weight_zero_t > & | weight_zero_registry () |
static Registry< zpc_t > & | zpc_registry () |
using vcsn::dyn::detail::accessible_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 28 of file registries.hh.
using vcsn::dyn::detail::add_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion |
Definition at line 36 of file registries.hh.
using vcsn::dyn::detail::add_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 40 of file registries.hh.
using vcsn::dyn::detail::add_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 44 of file registries.hh.
using vcsn::dyn::detail::add_t = typedef auto (const automaton& lhs, const automaton& rhs, const std::string& algo) -> automaton |
Definition at line 32 of file registries.hh.
using vcsn::dyn::detail::add_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight |
Definition at line 48 of file registries.hh.
using vcsn::dyn::detail::ambiguous_word_t = typedef auto (const automaton& aut) -> label |
Definition at line 52 of file registries.hh.
using vcsn::dyn::detail::are_equivalent_expression_t = typedef auto (const expression& r1, const expression& r2) -> bool |
Definition at line 60 of file registries.hh.
using vcsn::dyn::detail::are_equivalent_t = typedef auto (const automaton& aut1, const automaton& aut2) -> bool |
Definition at line 56 of file registries.hh.
using vcsn::dyn::detail::are_isomorphic_t = typedef auto (const automaton& aut1, const automaton& aut2) -> bool |
Definition at line 64 of file registries.hh.
using vcsn::dyn::detail::cerny_t = typedef auto (const context& ctx, unsigned num_states) -> automaton |
Definition at line 68 of file registries.hh.
using vcsn::dyn::detail::coaccessible_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 72 of file registries.hh.
using vcsn::dyn::detail::codeterminize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 76 of file registries.hh.
using vcsn::dyn::detail::cominimize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 80 of file registries.hh.
using vcsn::dyn::detail::complement_expansion_t = typedef auto (const expansion& xpn) -> expansion |
Definition at line 88 of file registries.hh.
using vcsn::dyn::detail::complement_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 92 of file registries.hh.
using vcsn::dyn::detail::complement_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 84 of file registries.hh.
using vcsn::dyn::detail::complete_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 96 of file registries.hh.
using vcsn::dyn::detail::component_t = typedef auto (const automaton& aut, unsigned num) -> automaton |
Definition at line 100 of file registries.hh.
using vcsn::dyn::detail::compose_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion |
Definition at line 108 of file registries.hh.
using vcsn::dyn::detail::compose_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 112 of file registries.hh.
using vcsn::dyn::detail::compose_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 116 of file registries.hh.
using vcsn::dyn::detail::compose_t = typedef auto (const automaton& lhs, const automaton& rhs, bool lazy) -> automaton |
Definition at line 104 of file registries.hh.
using vcsn::dyn::detail::concatenate_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 120 of file registries.hh.
using vcsn::dyn::detail::condense_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 124 of file registries.hh.
using vcsn::dyn::detail::conjugate_t = typedef auto (const automaton& a) -> automaton |
Definition at line 128 of file registries.hh.
using vcsn::dyn::detail::conjunction_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion |
Definition at line 136 of file registries.hh.
using vcsn::dyn::detail::conjunction_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 140 of file registries.hh.
using vcsn::dyn::detail::conjunction_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 144 of file registries.hh.
using vcsn::dyn::detail::conjunction_repeated_t = typedef auto (const automaton& aut, unsigned n) -> automaton |
Definition at line 148 of file registries.hh.
using vcsn::dyn::detail::conjunction_t = typedef auto (const std::vector<automaton>& as, bool lazy) -> automaton |
Definition at line 132 of file registries.hh.
using vcsn::dyn::detail::constant_term_t = typedef auto (const expression& exp) -> weight |
Definition at line 152 of file registries.hh.
using vcsn::dyn::detail::context_of_expansion_t = typedef auto (const expansion& exp) -> context |
Definition at line 160 of file registries.hh.
using vcsn::dyn::detail::context_of_expression_t = typedef auto (const expression& exp) -> context |
Definition at line 164 of file registries.hh.
using vcsn::dyn::detail::context_of_polynomial_t = typedef auto (const polynomial& poly) -> context |
Definition at line 168 of file registries.hh.
using vcsn::dyn::detail::context_of_t = typedef auto (const automaton& aut) -> context |
Definition at line 156 of file registries.hh.
using vcsn::dyn::detail::copy_convert_t = typedef auto (const automaton& aut, const context& ctx) -> automaton |
Definition at line 176 of file registries.hh.
using vcsn::dyn::detail::copy_expression_t = typedef auto (const expression& exp, const context& ctx, identities ids) -> expression |
Definition at line 180 of file registries.hh.
using vcsn::dyn::detail::copy_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 172 of file registries.hh.
using vcsn::dyn::detail::costandard_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 184 of file registries.hh.
using vcsn::dyn::detail::cotrie_stream_t = typedef auto (const context& ctx, std::istream& is, const std::string& format) -> automaton |
Definition at line 192 of file registries.hh.
using vcsn::dyn::detail::cotrie_t = typedef auto (const polynomial& poly) -> automaton |
Definition at line 188 of file registries.hh.
using vcsn::dyn::detail::de_bruijn_t = typedef auto (const dyn::context& ctx, unsigned n) -> automaton |
Definition at line 196 of file registries.hh.
using vcsn::dyn::detail::delay_automaton_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 200 of file registries.hh.
using vcsn::dyn::detail::derivation_t = typedef auto (const expression& exp, const label& lbl, bool breaking) -> polynomial |
Definition at line 204 of file registries.hh.
using vcsn::dyn::detail::derived_term_t = typedef auto (const expression& exp, const std::string& algo) -> automaton |
Definition at line 208 of file registries.hh.
using vcsn::dyn::detail::determinize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 212 of file registries.hh.
using vcsn::dyn::detail::difference_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 220 of file registries.hh.
using vcsn::dyn::detail::difference_t = typedef auto (const automaton& lhs, const automaton& rhs) -> automaton |
Definition at line 216 of file registries.hh.
using vcsn::dyn::detail::divkbaseb_t = typedef auto (const context& ctx, unsigned divisor, unsigned base) -> automaton |
Definition at line 224 of file registries.hh.
using vcsn::dyn::detail::double_ring_t = typedef auto (const context& ctx, unsigned n, const std::vector<unsigned>& finals) -> automaton |
Definition at line 228 of file registries.hh.
using vcsn::dyn::detail::eliminate_state_t = typedef auto (const automaton& aut, int state) -> automaton |
Definition at line 232 of file registries.hh.
using vcsn::dyn::detail::enable_if_boolean_t = typedef std::enable_if_t<std::is_same<weight_t_of<Aut>, bool>::value, Type> |
Enable if Aut is over Booleans.
Definition at line 298 of file determinize.hh.
using vcsn::dyn::detail::enable_if_not_boolean_t = typedef std::enable_if_t<!std::is_same<weight_t_of<Aut>, bool>::value, Type> |
Enable if Aut is not over Booleans.
Definition at line 303 of file determinize.hh.
using vcsn::dyn::detail::eval_polynomial_t = typedef auto (const automaton& aut, const polynomial& poly) -> weight |
Definition at line 236 of file registries.hh.
using vcsn::dyn::detail::evaluate_t = typedef auto (const automaton& aut, const label& lbl) -> weight |
Definition at line 240 of file registries.hh.
using vcsn::dyn::detail::expand_t = typedef auto (const expression& exp) -> expression |
Definition at line 244 of file registries.hh.
using vcsn::dyn::detail::expression_one_t = typedef auto (const context& ctx, identities ids) -> expression |
Definition at line 248 of file registries.hh.
using vcsn::dyn::detail::expression_zero_t = typedef auto (const context& ctx, identities ids) -> expression |
Definition at line 252 of file registries.hh.
using vcsn::dyn::detail::factor_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 256 of file registries.hh.
using vcsn::dyn::detail::filter_t = typedef auto (const automaton& aut, const std::vector<unsigned>& states) -> automaton |
Definition at line 260 of file registries.hh.
using vcsn::dyn::detail::focus_t = typedef auto (const automaton& aut, integral_constant) -> automaton |
Definition at line 264 of file registries.hh.
using vcsn::dyn::detail::has_bounded_lag_t = typedef auto (const automaton& aut) -> bool |
Definition at line 268 of file registries.hh.
using vcsn::dyn::detail::has_lightening_cycle_t = typedef auto (const automaton& aut) -> bool |
Definition at line 272 of file registries.hh.
using vcsn::dyn::detail::has_twins_property_t = typedef auto (const automaton& aut) -> bool |
Definition at line 276 of file registries.hh.
using vcsn::dyn::detail::identities_of_t = typedef auto (const expression& exp) -> identities |
Definition at line 280 of file registries.hh.
using vcsn::dyn::detail::inductive_t = typedef auto (const expression& exp, const std::string& algo) -> automaton |
Definition at line 284 of file registries.hh.
using vcsn::dyn::detail::infiltrate_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 292 of file registries.hh.
using vcsn::dyn::detail::infiltrate_t = typedef auto (const std::vector<automaton>& as) -> automaton |
Definition at line 288 of file registries.hh.
using vcsn::dyn::detail::info_expression_t = typedef auto (const expression& exp, std::ostream& o) -> std::ostream& |
Definition at line 300 of file registries.hh.
using vcsn::dyn::detail::info_t = typedef auto (const automaton& aut, std::ostream& out, unsigned details) -> std::ostream& |
Definition at line 296 of file registries.hh.
using vcsn::dyn::detail::insplit_t = typedef auto (const automaton& aut, bool lazy) -> automaton |
Definition at line 304 of file registries.hh.
using vcsn::dyn::detail::is_accessible_t = typedef auto (const automaton& aut) -> bool |
Definition at line 308 of file registries.hh.
using vcsn::dyn::detail::is_ambiguous_t = typedef auto (const automaton& aut) -> bool |
Definition at line 312 of file registries.hh.
using vcsn::dyn::detail::is_coaccessible_t = typedef auto (const automaton& aut) -> bool |
Definition at line 316 of file registries.hh.
using vcsn::dyn::detail::is_codeterministic_t = typedef auto (const automaton& aut) -> bool |
Definition at line 320 of file registries.hh.
using vcsn::dyn::detail::is_complete_t = typedef auto (const automaton& aut) -> bool |
Definition at line 324 of file registries.hh.
using vcsn::dyn::detail::is_costandard_t = typedef auto (const automaton& aut) -> bool |
Definition at line 328 of file registries.hh.
using vcsn::dyn::detail::is_cycle_ambiguous_t = typedef auto (const automaton& aut) -> bool |
Definition at line 332 of file registries.hh.
using vcsn::dyn::detail::is_deterministic_t = typedef auto (const automaton& aut) -> bool |
Definition at line 336 of file registries.hh.
using vcsn::dyn::detail::is_empty_t = typedef auto (const automaton& aut) -> bool |
Definition at line 340 of file registries.hh.
using vcsn::dyn::detail::is_eps_acyclic_t = typedef auto (const automaton& aut) -> bool |
Definition at line 344 of file registries.hh.
using vcsn::dyn::detail::is_functional_t = typedef auto (const automaton& aut) -> bool |
Definition at line 348 of file registries.hh.
using vcsn::dyn::detail::is_letterized_t = typedef auto (const automaton& aut) -> bool |
Definition at line 352 of file registries.hh.
using vcsn::dyn::detail::is_normalized_t = typedef auto (const automaton& aut) -> bool |
Definition at line 356 of file registries.hh.
using vcsn::dyn::detail::is_out_sorted_t = typedef auto (const automaton& aut) -> bool |
Definition at line 360 of file registries.hh.
using vcsn::dyn::detail::is_partial_identity_t = typedef auto (const automaton& aut) -> bool |
Definition at line 364 of file registries.hh.
using vcsn::dyn::detail::is_proper_t = typedef auto (const automaton& aut) -> bool |
Definition at line 368 of file registries.hh.
using vcsn::dyn::detail::is_realtime_t = typedef auto (const automaton& aut) -> bool |
Definition at line 372 of file registries.hh.
using vcsn::dyn::detail::is_standard_t = typedef auto (const automaton& aut) -> bool |
Definition at line 376 of file registries.hh.
using vcsn::dyn::detail::is_synchronized_by_t = typedef auto (const automaton& aut, const label& word) -> bool |
Definition at line 384 of file registries.hh.
using vcsn::dyn::detail::is_synchronized_t = typedef auto (const automaton& aut) -> bool |
Definition at line 380 of file registries.hh.
using vcsn::dyn::detail::is_synchronizing_t = typedef auto (const automaton& aut) -> bool |
Definition at line 388 of file registries.hh.
using vcsn::dyn::detail::is_trim_t = typedef auto (const automaton& aut) -> bool |
Definition at line 392 of file registries.hh.
using vcsn::dyn::detail::is_useless_t = typedef auto (const automaton& aut) -> bool |
Definition at line 396 of file registries.hh.
using vcsn::dyn::detail::is_valid_expression_t = typedef auto (const expression& exp) -> bool |
Definition at line 404 of file registries.hh.
using vcsn::dyn::detail::is_valid_t = typedef auto (const automaton& aut) -> bool |
Definition at line 400 of file registries.hh.
using vcsn::dyn::detail::join_t = typedef auto (const context& c1, const context& c2) -> context |
Definition at line 408 of file registries.hh.
using vcsn::dyn::detail::ladybird_t = typedef auto (const dyn::context& ctx, unsigned n) -> automaton |
Definition at line 412 of file registries.hh.
using vcsn::dyn::detail::ldivide_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion |
Definition at line 420 of file registries.hh.
using vcsn::dyn::detail::ldivide_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 424 of file registries.hh.
using vcsn::dyn::detail::ldivide_label_t = typedef auto (const label& lhs, const label& rhs) -> label |
Definition at line 428 of file registries.hh.
using vcsn::dyn::detail::ldivide_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 432 of file registries.hh.
using vcsn::dyn::detail::ldivide_t = typedef auto (const automaton& aut1, const automaton& aut2) -> automaton |
Definition at line 416 of file registries.hh.
using vcsn::dyn::detail::ldivide_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight |
Definition at line 436 of file registries.hh.
using vcsn::dyn::detail::less_than_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> bool |
Definition at line 440 of file registries.hh.
using vcsn::dyn::detail::letterize_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 444 of file registries.hh.
using vcsn::dyn::detail::levenshtein_t = typedef auto (const dyn::context& ctx) -> automaton |
Definition at line 448 of file registries.hh.
using vcsn::dyn::detail::lgcd_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 452 of file registries.hh.
using vcsn::dyn::detail::lift_automaton_t = typedef auto (const automaton& aut, identities ids, integral_constant) -> automaton |
Definition at line 456 of file registries.hh.
using vcsn::dyn::detail::lift_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 460 of file registries.hh.
using vcsn::dyn::detail::lightest_automaton_t = typedef auto (const automaton& aut, unsigned k, const std::string& algo) -> automaton |
Definition at line 468 of file registries.hh.
using vcsn::dyn::detail::lightest_t = typedef auto (const automaton& aut, unsigned num, const std::string& algo) -> polynomial |
Definition at line 464 of file registries.hh.
using vcsn::dyn::detail::list_polynomial_t = typedef auto (const polynomial& polynomial, std::ostream& o) -> std::ostream& |
Definition at line 472 of file registries.hh.
using vcsn::dyn::detail::lweight_expansion_t = typedef auto (const weight& weight, const expansion& exp) -> expansion |
Definition at line 480 of file registries.hh.
using vcsn::dyn::detail::lweight_expression_t = typedef auto (const weight& weight, const expression& exp) -> expression |
Definition at line 484 of file registries.hh.
using vcsn::dyn::detail::lweight_polynomial_t = typedef auto (const weight& weight, const polynomial& poly) -> polynomial |
Definition at line 488 of file registries.hh.
using vcsn::dyn::detail::lweight_t = typedef auto (const weight& weight, const automaton& aut, const std::string& algo) -> automaton |
Definition at line 476 of file registries.hh.
using vcsn::dyn::detail::make_automaton_editor_t = typedef auto (const context& ctx) -> automaton_editor* |
Definition at line 492 of file registries.hh.
using vcsn::dyn::detail::make_context_t = typedef auto (const std::string& name) -> context |
Definition at line 496 of file registries.hh.
using vcsn::dyn::detail::make_word_context_t = typedef auto (const context& ctx) -> context |
Definition at line 500 of file registries.hh.
using vcsn::dyn::detail::minimize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 504 of file registries.hh.
using vcsn::dyn::detail::multiply_expression_repeated_t = typedef auto (const expression& re, int min, int max) -> expression |
Definition at line 516 of file registries.hh.
using vcsn::dyn::detail::multiply_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 512 of file registries.hh.
using vcsn::dyn::detail::multiply_label_repeated_t = typedef auto (const label& re, int exp) -> label |
Definition at line 524 of file registries.hh.
using vcsn::dyn::detail::multiply_label_t = typedef auto (const label& lhs, const label& rhs) -> label |
Definition at line 520 of file registries.hh.
using vcsn::dyn::detail::multiply_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 528 of file registries.hh.
using vcsn::dyn::detail::multiply_repeated_t = typedef auto (const automaton& a, int min, int max, const std::string& algo) -> automaton |
Definition at line 532 of file registries.hh.
using vcsn::dyn::detail::multiply_t = typedef auto (const automaton& lhs, const automaton& rhs, const std::string& algo) -> automaton |
Definition at line 508 of file registries.hh.
using vcsn::dyn::detail::multiply_weight_repeated_t = typedef auto (const weight& wgt, int min, int max) -> weight |
Definition at line 540 of file registries.hh.
using vcsn::dyn::detail::multiply_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight |
Definition at line 536 of file registries.hh.
using vcsn::dyn::detail::normalize_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 544 of file registries.hh.
using vcsn::dyn::detail::num_components_t = typedef auto (const automaton& aut) -> std::size_t |
Definition at line 548 of file registries.hh.
using vcsn::dyn::detail::num_tapes_t = typedef auto (const context& ctx) -> size_t |
Definition at line 552 of file registries.hh.
using vcsn::dyn::detail::pair_t = typedef auto (const automaton& aut, bool keep_initials) -> automaton |
Definition at line 556 of file registries.hh.
using vcsn::dyn::detail::partial_identity_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 564 of file registries.hh.
using vcsn::dyn::detail::partial_identity_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 560 of file registries.hh.
using vcsn::dyn::detail::prefix_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 568 of file registries.hh.
using vcsn::dyn::detail::print_context_t = typedef auto (const context& ctx, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 576 of file registries.hh.
using vcsn::dyn::detail::print_expansion_t = typedef auto (const expansion& expansion, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 580 of file registries.hh.
using vcsn::dyn::detail::print_expression_t = typedef auto (const expression& exp, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 584 of file registries.hh.
using vcsn::dyn::detail::print_label_t = typedef auto (const label& label, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 588 of file registries.hh.
using vcsn::dyn::detail::print_polynomial_t = typedef auto (const polynomial& polynomial, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 592 of file registries.hh.
using vcsn::dyn::detail::print_t = typedef auto (const automaton& aut, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 572 of file registries.hh.
using vcsn::dyn::detail::print_weight_t = typedef auto (const weight& weight, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 596 of file registries.hh.
using vcsn::dyn::detail::project_context_t = typedef auto (const context& ctx, integral_constant) -> context |
Definition at line 604 of file registries.hh.
using vcsn::dyn::detail::project_expansion_t = typedef auto (const expansion& exp, integral_constant) -> expansion |
Definition at line 608 of file registries.hh.
using vcsn::dyn::detail::project_expression_t = typedef auto (const expression& exp, integral_constant) -> expression |
Definition at line 612 of file registries.hh.
using vcsn::dyn::detail::project_label_t = typedef auto (const label& lbl, integral_constant) -> label |
Definition at line 616 of file registries.hh.
using vcsn::dyn::detail::project_polynomial_t = typedef auto (const polynomial& poly, integral_constant) -> polynomial |
Definition at line 620 of file registries.hh.
using vcsn::dyn::detail::project_t = typedef auto (const automaton& aut, integral_constant) -> automaton |
Definition at line 600 of file registries.hh.
using vcsn::dyn::detail::proper_t = typedef auto (const automaton& aut, direction dir, bool prune, const std::string& algo) -> automaton |
Definition at line 624 of file registries.hh.
using vcsn::dyn::detail::push_weights_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 628 of file registries.hh.
using vcsn::dyn::detail::quotkbaseb_t = typedef auto (const context& ctx, unsigned divisor, unsigned base) -> automaton |
Definition at line 632 of file registries.hh.
using vcsn::dyn::detail::random_automaton_deterministic_t = typedef auto (const context& ctx, unsigned num_states) -> automaton |
Definition at line 640 of file registries.hh.
using vcsn::dyn::detail::random_automaton_t = typedef auto (const context& ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, boost::optional<unsigned> max_labels, float loop_chance, const std::string& weights) -> automaton |
Definition at line 636 of file registries.hh.
using vcsn::dyn::detail::random_expression_t = typedef auto (const context& ctx, const std::string& param, identities ids) -> expression |
Definition at line 644 of file registries.hh.
using vcsn::dyn::detail::random_weight_t = typedef auto (const context& ctx, const std::string& param) -> weight |
Definition at line 648 of file registries.hh.
using vcsn::dyn::detail::rdivide_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 656 of file registries.hh.
using vcsn::dyn::detail::rdivide_label_t = typedef auto (const label& lhs, const label& rhs) -> label |
Definition at line 660 of file registries.hh.
using vcsn::dyn::detail::rdivide_t = typedef auto (const automaton& aut1, const automaton& aut2) -> automaton |
Definition at line 652 of file registries.hh.
using vcsn::dyn::detail::rdivide_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight |
Definition at line 664 of file registries.hh.
using vcsn::dyn::detail::read_label_t = typedef auto (const context& ctx, std::istream& is, bool quoted) -> label |
Definition at line 668 of file registries.hh.
using vcsn::dyn::detail::read_polynomial_t = typedef auto (const context& ctx, std::istream& is) -> polynomial |
Definition at line 672 of file registries.hh.
using vcsn::dyn::detail::read_weight_t = typedef auto (const context& ctx, std::istream& is) -> weight |
Definition at line 676 of file registries.hh.
using vcsn::dyn::detail::realtime_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 680 of file registries.hh.
using vcsn::dyn::detail::reduce_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 684 of file registries.hh.
using vcsn::dyn::detail::rweight_expansion_t = typedef auto (const expansion& exp, const weight& weight) -> expansion |
Definition at line 692 of file registries.hh.
using vcsn::dyn::detail::rweight_expression_t = typedef auto (const expression& exp, const weight& weight) -> expression |
Definition at line 696 of file registries.hh.
using vcsn::dyn::detail::rweight_polynomial_t = typedef auto (const polynomial& poly, const weight& weight) -> polynomial |
Definition at line 700 of file registries.hh.
using vcsn::dyn::detail::rweight_t = typedef auto (const automaton& aut, const weight& weight, const std::string& algo) -> automaton |
Definition at line 688 of file registries.hh.
using vcsn::dyn::detail::scc_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 704 of file registries.hh.
using vcsn::dyn::detail::shortest_t = typedef auto (const automaton& aut, boost::optional<unsigned> num, boost::optional<unsigned> len) -> polynomial |
Definition at line 708 of file registries.hh.
using vcsn::dyn::detail::shuffle_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 716 of file registries.hh.
using vcsn::dyn::detail::shuffle_t = typedef auto (const std::vector<automaton>& as) -> automaton |
Definition at line 712 of file registries.hh.
using vcsn::dyn::detail::sort_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 720 of file registries.hh.
using vcsn::dyn::detail::split_polynomial_t = typedef auto (const polynomial& poly) -> polynomial |
Definition at line 728 of file registries.hh.
using vcsn::dyn::detail::split_t = typedef auto (const expression& exp) -> polynomial |
Definition at line 724 of file registries.hh.
using vcsn::dyn::detail::standard_expression_t = typedef auto (const expression& exp) -> automaton |
Definition at line 736 of file registries.hh.
using vcsn::dyn::detail::standard_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 732 of file registries.hh.
using vcsn::dyn::detail::star_height_t = typedef auto (const expression& exp) -> unsigned |
Definition at line 744 of file registries.hh.
using vcsn::dyn::detail::star_normal_form_t = typedef auto (const expression& exp) -> expression |
Definition at line 748 of file registries.hh.
using vcsn::dyn::detail::star_t = typedef auto (const automaton& a, const std::string& algo) -> automaton |
Definition at line 740 of file registries.hh.
using vcsn::dyn::detail::strip_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 752 of file registries.hh.
using vcsn::dyn::detail::subword_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 756 of file registries.hh.
using vcsn::dyn::detail::suffix_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 760 of file registries.hh.
using vcsn::dyn::detail::synchronize_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 764 of file registries.hh.
using vcsn::dyn::detail::synchronizing_word_t = typedef auto (const automaton& aut, const std::string& algo) -> label |
Definition at line 768 of file registries.hh.
using vcsn::dyn::detail::thompson_t = typedef auto (const expression& exp) -> automaton |
Definition at line 772 of file registries.hh.
using vcsn::dyn::detail::to_expansion_t = typedef auto (const expression& exp) -> expansion |
Definition at line 776 of file registries.hh.
using vcsn::dyn::detail::to_expression_class_t = typedef auto (const context& ctx, identities ids, const letter_class_t& letters, bool accept) -> expression |
Definition at line 784 of file registries.hh.
using vcsn::dyn::detail::to_expression_label_t = typedef auto (const context& ctx, identities ids, const label& lbl) -> expression |
Definition at line 788 of file registries.hh.
using vcsn::dyn::detail::to_expression_t = typedef auto (const automaton& aut, identities ids, const std::string& algo) -> expression |
Definition at line 780 of file registries.hh.
using vcsn::dyn::detail::transpose_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 796 of file registries.hh.
using vcsn::dyn::detail::transpose_t = typedef auto (automaton& aut) -> automaton |
Definition at line 792 of file registries.hh.
using vcsn::dyn::detail::transposition_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 800 of file registries.hh.
using vcsn::dyn::detail::trie_stream_t = typedef auto (const context& ctx, std::istream& is, const std::string& format) -> automaton |
Definition at line 808 of file registries.hh.
using vcsn::dyn::detail::trie_t = typedef auto (const polynomial& poly) -> automaton |
Definition at line 804 of file registries.hh.
using vcsn::dyn::detail::trim_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 812 of file registries.hh.
using vcsn::dyn::detail::tuple_context_t = typedef auto (const std::vector<context>& cs) -> context |
Definition at line 820 of file registries.hh.
using vcsn::dyn::detail::tuple_expansion_t = typedef auto (const std::vector<expansion>& es) -> expansion |
Definition at line 824 of file registries.hh.
using vcsn::dyn::detail::tuple_expression_t = typedef auto (const std::vector<expression>& es) -> expression |
Definition at line 828 of file registries.hh.
using vcsn::dyn::detail::tuple_polynomial_t = typedef auto (const std::vector<polynomial>& ps) -> polynomial |
Definition at line 832 of file registries.hh.
using vcsn::dyn::detail::tuple_t = typedef auto (const std::vector<automaton>& as) -> automaton |
Definition at line 816 of file registries.hh.
using vcsn::dyn::detail::u_t = typedef auto (const context& ctx, unsigned n) -> automaton |
Definition at line 836 of file registries.hh.
using vcsn::dyn::detail::universal_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 840 of file registries.hh.
using vcsn::dyn::detail::weight_one_t = typedef auto (const context& ctx) -> weight |
Definition at line 844 of file registries.hh.
using vcsn::dyn::detail::weight_series_t = typedef auto (const automaton& aut) -> weight |
Definition at line 848 of file registries.hh.
using vcsn::dyn::detail::weight_zero_t = typedef auto (const context& ctx) -> weight |
Definition at line 852 of file registries.hh.
using vcsn::dyn::detail::zpc_t = typedef auto (const expression& exp, const std::string& algo) -> automaton |
Definition at line 856 of file registries.hh.
automaton vcsn::dyn::detail::accessible | ( | const automaton & | aut | ) |
Bridge.
Definition at line 206 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::accessible_register | ( | const signature & | sig, |
accessible_t | fn | ||
) |
|
static |
Definition at line 13 of file algos.cc.
Referenced by vcsn::dyn::accessible().
automaton vcsn::dyn::detail::add | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 124 of file add.hh.
References vcsn::add(), vcsn::dyn::automaton::as(), and vcsn::detail::dispatch_tags().
expansion vcsn::dyn::detail::add_expansion | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
Bridge (add).
Definition at line 165 of file add.hh.
References vcsn::add().
bool vcsn::dyn::detail::add_expansion_register | ( | const signature & | sig, |
add_expansion_t | fn | ||
) |
|
static |
Definition at line 31 of file algos.cc.
Referenced by vcsn::dyn::add().
expression vcsn::dyn::detail::add_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (add).
Definition at line 186 of file add.hh.
References vcsn::add().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::add_expression_register | ( | const signature & | sig, |
add_expression_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::add_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (add).
Definition at line 208 of file add.hh.
References vcsn::dyn::add().
bool vcsn::dyn::detail::add_polynomial_register | ( | const signature & | sig, |
add_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::add_register | ( | const signature & | sig, |
add_t | fn | ||
) |
Definition at line 22 of file algos.cc.
Referenced by vcsn::dyn::add().
weight vcsn::dyn::detail::add_weight | ( | const weight & | lhs, |
const weight & | rhs | ||
) |
Bridge (add).
Definition at line 230 of file add.hh.
References vcsn::dyn::add().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::add_weight_register | ( | const signature & | sig, |
add_weight_t | fn | ||
) |
|
static |
label vcsn::dyn::detail::ambiguous_word | ( | const automaton & | aut | ) |
Bridge.
Definition at line 124 of file is-ambiguous.hh.
References vcsn::ambiguous_word(), vcsn::dyn::automaton::as(), and vcsn::detail::make_wordset().
bool vcsn::dyn::detail::ambiguous_word_register | ( | const signature & | sig, |
ambiguous_word_t | fn | ||
) |
|
static |
Definition at line 67 of file algos.cc.
Referenced by vcsn::dyn::ambiguous_word().
bool vcsn::dyn::detail::are_equivalent | ( | const automaton & | aut1, |
const automaton & | aut2 | ||
) |
Bridge.
Definition at line 66 of file are-equivalent.hh.
References vcsn::are_equivalent(), and vcsn::dyn::automaton::as().
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().
bool vcsn::dyn::detail::are_equivalent_expression_register | ( | const signature & | sig, |
are_equivalent_expression_t | fn | ||
) |
|
static |
Definition at line 85 of file algos.cc.
Referenced by vcsn::dyn::are_equivalent().
bool vcsn::dyn::detail::are_equivalent_register | ( | const signature & | sig, |
are_equivalent_t | fn | ||
) |
|
static |
Definition at line 76 of file algos.cc.
Referenced by vcsn::dyn::are_equivalent().
bool vcsn::dyn::detail::are_isomorphic | ( | const automaton & | aut1, |
const automaton & | aut2 | ||
) |
Bridge.
Definition at line 709 of file are-isomorphic.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::are_isomorphic_register | ( | const signature & | sig, |
are_isomorphic_t | fn | ||
) |
|
static |
Definition at line 94 of file algos.cc.
Referenced by vcsn::dyn::are_isomorphic().
automaton vcsn::dyn::detail::cerny | ( | const context & | ctx, |
unsigned | num_states | ||
) |
Bridge.
Definition at line 64 of file cerny.hh.
References vcsn::dyn::context::as(), and vcsn::cerny().
bool vcsn::dyn::detail::cerny_register | ( | const signature & | sig, |
cerny_t | fn | ||
) |
Definition at line 103 of file algos.cc.
Referenced by vcsn::dyn::cerny().
automaton vcsn::dyn::detail::coaccessible | ( | const automaton & | aut | ) |
Bridge.
Definition at line 215 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::coaccessible_register | ( | const signature & | sig, |
coaccessible_t | fn | ||
) |
|
static |
Definition at line 112 of file algos.cc.
Referenced by vcsn::dyn::coaccessible().
automaton vcsn::dyn::detail::codeterminize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
enable_if_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Boolean Bridge.
Definition at line 394 of file determinize.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::map().
enable_if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Weighted Bridge.
Definition at line 411 of file determinize.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::map().
bool vcsn::dyn::detail::codeterminize_register | ( | const signature & | sig, |
codeterminize_t | fn | ||
) |
|
static |
Definition at line 121 of file algos.cc.
Referenced by vcsn::dyn::codeterminize().
automaton vcsn::dyn::detail::codeterminize_tag_ | ( | const Aut & | aut | ) |
Definition at line 386 of file determinize.hh.
References codeterminize().
automaton vcsn::dyn::detail::cominimize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 196 of file minimize.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::cominimize_register | ( | const signature & | sig, |
cominimize_t | fn | ||
) |
|
static |
Definition at line 130 of file algos.cc.
Referenced by vcsn::dyn::cominimize().
automaton vcsn::dyn::detail::cominimize_tag_ | ( | const Aut & | aut | ) |
Helper function to facilitate dispatch below.
Definition at line 188 of file minimize.hh.
References minimize(), and transpose().
automaton vcsn::dyn::detail::complement | ( | const automaton & | aut | ) |
Bridge.
Definition at line 63 of file complement.hh.
References vcsn::dyn::automaton::as().
expansion vcsn::dyn::detail::complement_expansion | ( | const expansion & | xpn | ) |
Bridge (complement).
Definition at line 82 of file complement.hh.
References vcsn::dyn::value_impl< Tag >::as().
bool vcsn::dyn::detail::complement_expansion_register | ( | const signature & | sig, |
complement_expansion_t | fn | ||
) |
|
static |
Definition at line 148 of file algos.cc.
Referenced by vcsn::dyn::complement().
expression vcsn::dyn::detail::complement_expression | ( | const expression & | exp | ) |
Bridge (complement).
Definition at line 102 of file complement.hh.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::complement_expression_register | ( | const signature & | sig, |
complement_expression_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::complement_register | ( | const signature & | sig, |
complement_t | fn | ||
) |
|
static |
Definition at line 139 of file algos.cc.
Referenced by vcsn::dyn::complement().
automaton vcsn::dyn::detail::complete | ( | const automaton & | aut | ) |
Bridge.
Definition at line 80 of file complete.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::complete_register | ( | const signature & | sig, |
complete_t | fn | ||
) |
|
static |
Definition at line 166 of file algos.cc.
Referenced by vcsn::dyn::complete().
automaton vcsn::dyn::detail::component | ( | const automaton & | aut, |
unsigned | num | ||
) |
bool vcsn::dyn::detail::component_register | ( | const signature & | sig, |
component_t | fn | ||
) |
|
static |
Definition at line 175 of file algos.cc.
Referenced by vcsn::dyn::component().
automaton vcsn::dyn::detail::compose | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
bool | lazy | ||
) |
Bridge.
Definition at line 495 of file compose.hh.
References vcsn::dyn::automaton::as(), and vcsn::compose_lazy().
expansion vcsn::dyn::detail::compose_expansion | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
Bridge (compose).
Definition at line 33 of file compose-expression.hh.
References vcsn::compose().
bool vcsn::dyn::detail::compose_expansion_register | ( | const signature & | sig, |
compose_expansion_t | fn | ||
) |
|
static |
Definition at line 193 of file algos.cc.
Referenced by vcsn::dyn::compose().
expression vcsn::dyn::detail::compose_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (compose).
Definition at line 55 of file compose-expression.hh.
References vcsn::compose().
bool vcsn::dyn::detail::compose_expression_register | ( | const signature & | sig, |
compose_expression_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::compose_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (compose).
Definition at line 77 of file compose-expression.hh.
References vcsn::compose().
bool vcsn::dyn::detail::compose_polynomial_register | ( | const signature & | sig, |
compose_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::compose_register | ( | const signature & | sig, |
compose_t | fn | ||
) |
Definition at line 184 of file algos.cc.
Referenced by vcsn::dyn::compose().
expression vcsn::dyn::detail::concatenate_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (concatenate).
Definition at line 312 of file multiply.hh.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::concatenate_expression_register | ( | const signature & | sig, |
concatenate_expression_t | fn | ||
) |
|
static |
Definition at line 220 of file algos.cc.
Referenced by vcsn::dyn::concatenate().
automaton vcsn::dyn::detail::condense | ( | const automaton & | aut | ) |
bool vcsn::dyn::detail::condense_register | ( | const signature & | sig, |
condense_t | fn | ||
) |
|
static |
Definition at line 229 of file algos.cc.
Referenced by vcsn::dyn::condense().
automaton vcsn::dyn::detail::conjugate | ( | const automaton & | a | ) |
Bridge.
Definition at line 59 of file conjugate.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::conjugate_register | ( | const signature & | sig, |
conjugate_t | fn | ||
) |
|
static |
Definition at line 238 of file algos.cc.
Referenced by vcsn::dyn::conjugate().
automaton vcsn::dyn::detail::conjunction | ( | const std::vector< automaton > & | as, |
bool | lazy | ||
) |
Bridge (conjunction).
Definition at line 664 of file conjunction.hh.
automaton vcsn::dyn::detail::conjunction_ | ( | const std::vector< automaton > & | as, |
bool | lazy, | ||
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 652 of file conjunction.hh.
References vcsn::detail::conjunction(), and vcsn::detail::conjunction_lazy().
Referenced by vcsn::rat::expansionset< expressionset_t >::conjunction(), vcsn::rat::printer< ExpSet >::format(), and vcsn::rat::expansionset< expressionset_t >::infiltrate().
expansion vcsn::dyn::detail::conjunction_expansion | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
Bridge (conjunction).
Definition at line 1067 of file conjunction.hh.
References vcsn::conjunction().
bool vcsn::dyn::detail::conjunction_expansion_register | ( | const signature & | sig, |
conjunction_expansion_t | fn | ||
) |
|
static |
Definition at line 256 of file algos.cc.
Referenced by vcsn::dyn::conjunction().
expression vcsn::dyn::detail::conjunction_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (conjunction).
Definition at line 1045 of file conjunction.hh.
References vcsn::conjunction().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::conjunction_expression_register | ( | const signature & | sig, |
conjunction_expression_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::conjunction_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (conjunction).
Definition at line 1089 of file conjunction.hh.
References vcsn::conjunction().
bool vcsn::dyn::detail::conjunction_polynomial_register | ( | const signature & | sig, |
conjunction_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::conjunction_register | ( | const signature & | sig, |
conjunction_t | fn | ||
) |
|
static |
Definition at line 247 of file algos.cc.
Referenced by vcsn::dyn::conjunction().
automaton vcsn::dyn::detail::conjunction_repeated | ( | const automaton & | aut, |
unsigned | n | ||
) |
Bridge (conjunction).
Definition at line 1012 of file conjunction.hh.
References vcsn::dyn::automaton::as(), and vcsn::conjunction().
Referenced by vcsn::ctx::detail::register_functions_is_free().
bool vcsn::dyn::detail::conjunction_repeated_register | ( | const signature & | sig, |
conjunction_repeated_t | fn | ||
) |
|
static |
Definition at line 283 of file algos.cc.
Referenced by vcsn::dyn::conjunction().
weight vcsn::dyn::detail::constant_term | ( | const expression & | exp | ) |
Bridge.
Definition at line 216 of file constant-term.hh.
References vcsn::dyn::value_impl< Tag >::as().
Referenced by vcsn::rat::constant_term_visitor< ExpSet >::visit_tuple< bool, Dummy >::work_().
bool vcsn::dyn::detail::constant_term_register | ( | const signature & | sig, |
constant_term_t | fn | ||
) |
|
static |
Definition at line 292 of file algos.cc.
Referenced by vcsn::dyn::constant_term().
context vcsn::dyn::detail::context_of | ( | const automaton & | aut | ) |
Bridge.
Definition at line 63 of file make-context.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::ctx::detail::register_functions().
context vcsn::dyn::detail::context_of_expansion | ( | const expansion & | exp | ) |
Bridge (context_of).
Definition at line 81 of file make-context.hh.
References vcsn::dyn::value_impl< Tag >::as().
bool vcsn::dyn::detail::context_of_expansion_register | ( | const signature & | sig, |
context_of_expansion_t | fn | ||
) |
|
static |
Definition at line 310 of file algos.cc.
Referenced by vcsn::dyn::context_of().
context vcsn::dyn::detail::context_of_expression | ( | const expression & | exp | ) |
Bridge (context_of).
Definition at line 72 of file make-context.hh.
References vcsn::dyn::context::as().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::context_of_expression_register | ( | const signature & | sig, |
context_of_expression_t | fn | ||
) |
|
static |
context vcsn::dyn::detail::context_of_polynomial | ( | const polynomial & | poly | ) |
Bridge (context_of).
Definition at line 90 of file make-context.hh.
References vcsn::dyn::value_impl< Tag >::as().
bool vcsn::dyn::detail::context_of_polynomial_register | ( | const signature & | sig, |
context_of_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::context_of_register | ( | const signature & | sig, |
context_of_t | fn | ||
) |
|
static |
Definition at line 301 of file algos.cc.
Referenced by vcsn::dyn::context_of().
automaton vcsn::dyn::detail::copy | ( | const automaton & | aut | ) |
Bridge.
Definition at line 435 of file copy.hh.
References vcsn::dyn::automaton::as(), and vcsn::rat::copy().
automaton vcsn::dyn::detail::copy_convert | ( | const automaton & | aut, |
const context & | ctx | ||
) |
Bridge (copy).
Definition at line 423 of file copy.hh.
References vcsn::dyn::context::as(), vcsn::dyn::automaton::as(), vcsn::copy_into(), vcsn::make_mutable_automaton(), and vcsn::res.
bool vcsn::dyn::detail::copy_convert_register | ( | const signature & | sig, |
copy_convert_t | fn | ||
) |
|
static |
Definition at line 346 of file algos.cc.
Referenced by vcsn::dyn::copy().
expression vcsn::dyn::detail::copy_expression | ( | const expression & | exp, |
const context & | ctx, | ||
identities | ids | ||
) |
Bridge (copy).
Definition at line 454 of file copy.hh.
References vcsn::dyn::context::as(), vcsn::rat::copy(), vcsn::make_expressionset(), and vcsn::detail::rs.
bool vcsn::dyn::detail::copy_expression_register | ( | const signature & | sig, |
copy_expression_t | fn | ||
) |
|
static |
Definition at line 355 of file algos.cc.
Referenced by vcsn::dyn::copy().
bool vcsn::dyn::detail::copy_register | ( | const signature & | sig, |
copy_t | fn | ||
) |
Definition at line 337 of file algos.cc.
Referenced by vcsn::dyn::copy().
automaton vcsn::dyn::detail::costandard | ( | const automaton & | aut | ) |
Bridge.
Definition at line 148 of file standard.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::costandard_register | ( | const signature & | sig, |
costandard_t | fn | ||
) |
|
static |
Definition at line 364 of file algos.cc.
Referenced by vcsn::dyn::costandard().
automaton vcsn::dyn::detail::cotrie | ( | const polynomial & | poly | ) |
Bridge.
Definition at line 251 of file trie.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::cotrie().
bool vcsn::dyn::detail::cotrie_register | ( | const signature & | sig, |
cotrie_t | fn | ||
) |
Definition at line 373 of file algos.cc.
Referenced by vcsn::dyn::cotrie().
automaton vcsn::dyn::detail::cotrie_stream | ( | const context & | ctx, |
std::istream & | is, | ||
const std::string & | format | ||
) |
Bridge (cotrie).
Definition at line 313 of file trie.hh.
References vcsn::dyn::context::as(), vcsn::cotrie(), and vcsn::detail::make_word_polynomialset().
bool vcsn::dyn::detail::cotrie_stream_register | ( | const signature & | sig, |
cotrie_stream_t | fn | ||
) |
|
static |
Definition at line 382 of file algos.cc.
Referenced by vcsn::dyn::cotrie().
automaton vcsn::dyn::detail::de_bruijn | ( | const dyn::context & | ctx, |
unsigned | n | ||
) |
Bridge.
Definition at line 57 of file de-bruijn.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::de_bruijn_register | ( | const signature & | sig, |
de_bruijn_t | fn | ||
) |
|
static |
Definition at line 391 of file algos.cc.
Referenced by vcsn::dyn::de_bruijn().
automaton vcsn::dyn::detail::delay_automaton | ( | const automaton & | aut | ) |
Bridge.
Definition at line 349 of file is-synchronized.hh.
bool vcsn::dyn::detail::delay_automaton_register | ( | const signature & | sig, |
delay_automaton_t | fn | ||
) |
|
static |
Definition at line 400 of file algos.cc.
Referenced by vcsn::dyn::delay_automaton().
polynomial vcsn::dyn::detail::derivation | ( | const expression & | exp, |
const label & | lbl, | ||
bool | breaking | ||
) |
Bridge.
Definition at line 356 of file derivation.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), and vcsn::detail::rs.
bool vcsn::dyn::detail::derivation_register | ( | const signature & | sig, |
derivation_t | fn | ||
) |
|
static |
Definition at line 409 of file algos.cc.
Referenced by vcsn::dyn::derivation().
automaton vcsn::dyn::detail::derived_term | ( | const expression & | exp, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 372 of file derived-term.hh.
References vcsn::detail::derived_term_algo::expansion, vcsn::make_derived_term_automaton(), vcsn::require(), and vcsn::res.
bool vcsn::dyn::detail::derived_term_register | ( | const signature & | sig, |
derived_term_t | fn | ||
) |
|
static |
Definition at line 418 of file algos.cc.
Referenced by vcsn::dyn::derived_term().
automaton vcsn::dyn::detail::determinize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
enable_if_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Boolean Bridge.
Definition at line 315 of file determinize.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::map().
enable_if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Weighted Bridge.
Definition at line 335 of file determinize.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::map().
bool vcsn::dyn::detail::determinize_register | ( | const signature & | sig, |
determinize_t | fn | ||
) |
|
static |
Definition at line 427 of file algos.cc.
Referenced by vcsn::dyn::determinize().
automaton vcsn::dyn::detail::determinize_tag_ | ( | const Aut & | aut | ) |
Helper function to facilitate dispatch below.
Definition at line 307 of file determinize.hh.
References determinize().
automaton vcsn::dyn::detail::difference | ( | const automaton & | lhs, |
const automaton & | rhs | ||
) |
Bridge.
Definition at line 140 of file are-equivalent.hh.
References vcsn::dyn::automaton::as(), and vcsn::difference().
expression vcsn::dyn::detail::difference_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (difference).
Definition at line 170 of file are-equivalent.hh.
References vcsn::difference().
Referenced by vcsn::ctx::detail::register_functions_is_free().
bool vcsn::dyn::detail::difference_expression_register | ( | const signature & | sig, |
difference_expression_t | fn | ||
) |
|
static |
Definition at line 445 of file algos.cc.
Referenced by vcsn::dyn::difference().
bool vcsn::dyn::detail::difference_register | ( | const signature & | sig, |
difference_t | fn | ||
) |
|
static |
Definition at line 436 of file algos.cc.
Referenced by vcsn::dyn::difference().
automaton vcsn::dyn::detail::divkbaseb | ( | const context & | ctx, |
unsigned | divisor, | ||
unsigned | base | ||
) |
Bridge.
Definition at line 69 of file divkbaseb.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::divkbaseb_register | ( | const signature & | sig, |
divkbaseb_t | fn | ||
) |
|
static |
Definition at line 454 of file algos.cc.
Referenced by vcsn::dyn::divkbaseb().
automaton vcsn::dyn::detail::double_ring | ( | const context & | ctx, |
unsigned | n, | ||
const std::vector< unsigned > & | finals | ||
) |
Bridge.
Definition at line 75 of file double-ring.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::double_ring_register | ( | const signature & | sig, |
double_ring_t | fn | ||
) |
|
static |
Definition at line 463 of file algos.cc.
Referenced by vcsn::dyn::double_ring().
|
inline |
A dynamic_cast in debug mode, static_cast with NDEBUG.
Definition at line 14 of file cast.hh.
Referenced by vcsn::dyn::context::as(), vcsn::dyn::automaton::as(), and vcsn::dyn::value_impl< Tag >::as().
automaton vcsn::dyn::detail::eliminate_state | ( | const automaton & | aut, |
int | state | ||
) |
Bridge.
Definition at line 478 of file to-expression.hh.
References vcsn::dyn::automaton::as(), and vcsn::eliminate_state().
bool vcsn::dyn::detail::eliminate_state_register | ( | const signature & | sig, |
eliminate_state_t | fn | ||
) |
|
static |
Definition at line 472 of file algos.cc.
Referenced by vcsn::dyn::eliminate_state().
weight vcsn::dyn::detail::eval_polynomial | ( | const automaton & | aut, |
const polynomial & | poly | ||
) |
Bridge (evaluate).
Definition at line 241 of file evaluate.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::evaluate(), and vcsn::res.
bool vcsn::dyn::detail::eval_polynomial_register | ( | const signature & | sig, |
eval_polynomial_t | fn | ||
) |
|
static |
Definition at line 481 of file algos.cc.
Referenced by vcsn::dyn::evaluate().
weight vcsn::dyn::detail::evaluate | ( | const automaton & | aut, |
const label & | lbl | ||
) |
Bridge.
Definition at line 212 of file evaluate.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::evaluate(), and vcsn::res.
bool vcsn::dyn::detail::evaluate_register | ( | const signature & | sig, |
evaluate_t | fn | ||
) |
|
static |
expression vcsn::dyn::detail::expand | ( | const expression & | exp | ) |
bool vcsn::dyn::detail::expand_register | ( | const signature & | sig, |
expand_t | fn | ||
) |
Definition at line 499 of file algos.cc.
Referenced by vcsn::dyn::expand().
expression vcsn::dyn::detail::expression_one | ( | const context & | ctx, |
identities | ids | ||
) |
Bridge.
Definition at line 15 of file constant.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::expression_one_register | ( | const signature & | sig, |
expression_one_t | fn | ||
) |
|
static |
Definition at line 508 of file algos.cc.
Referenced by vcsn::dyn::expression_one().
expression vcsn::dyn::detail::expression_zero | ( | const context & | ctx, |
identities | ids | ||
) |
Bridge.
Definition at line 24 of file constant.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::expression_zero_register | ( | const signature & | sig, |
expression_zero_t | fn | ||
) |
|
static |
Definition at line 517 of file algos.cc.
Referenced by vcsn::dyn::expression_zero().
automaton vcsn::dyn::detail::factor | ( | const automaton & | aut | ) |
Bridge.
Definition at line 121 of file prefix.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::factor_register | ( | const signature & | sig, |
factor_t | fn | ||
) |
Definition at line 526 of file algos.cc.
Referenced by vcsn::dyn::factor().
automaton vcsn::dyn::detail::filter | ( | const automaton & | aut, |
const std::vector< unsigned > & | states | ||
) |
bool vcsn::dyn::detail::filter_register | ( | const signature & | sig, |
filter_t | fn | ||
) |
Definition at line 535 of file algos.cc.
Referenced by vcsn::dyn::filter().
automaton vcsn::dyn::detail::focus | ( | const automaton & | aut, |
integral_constant | |||
) |
bool vcsn::dyn::detail::focus_register | ( | const signature & | sig, |
focus_t | fn | ||
) |
bool vcsn::dyn::detail::has_bounded_lag | ( | const automaton & | aut | ) |
Bridge.
Definition at line 162 of file has-bounded-lag.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::has_bounded_lag_register | ( | const signature & | sig, |
has_bounded_lag_t | fn | ||
) |
|
static |
Definition at line 544 of file algos.cc.
Referenced by vcsn::dyn::has_bounded_lag().
bool vcsn::dyn::detail::has_lightening_cycle | ( | const automaton & | aut | ) |
Bridge.
Definition at line 35 of file has-lightening-cycle.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::has_lightening_cycle_register | ( | const signature & | sig, |
has_lightening_cycle_t | fn | ||
) |
|
static |
Definition at line 553 of file algos.cc.
Referenced by vcsn::dyn::has_lightening_cycle().
bool vcsn::dyn::detail::has_twins_property | ( | const automaton & | aut | ) |
Bridge.
Definition at line 168 of file has-twins-property.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::has_twins_property_register | ( | const signature & | sig, |
has_twins_property_t | fn | ||
) |
|
static |
Definition at line 562 of file algos.cc.
Referenced by vcsn::dyn::has_twins_property().
identities vcsn::dyn::detail::identities_of | ( | const expression & | exp | ) |
Bridge.
Definition at line 20 of file identities-of.hh.
References vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::identities_of_register | ( | const signature & | sig, |
identities_of_t | fn | ||
) |
|
static |
Definition at line 571 of file algos.cc.
Referenced by vcsn::dyn::identities_of().
automaton vcsn::dyn::detail::inductive | ( | const expression & | exp, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 326 of file inductive.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::inductive_register | ( | const signature & | sig, |
inductive_t | fn | ||
) |
|
static |
Definition at line 580 of file algos.cc.
Referenced by vcsn::dyn::inductive().
automaton vcsn::dyn::detail::inductive_tag_ | ( | const ExpSet & | rs, |
const typename ExpSet::value_t & | r | ||
) |
Helper function to facilitate dispatch below.
Definition at line 316 of file inductive.hh.
References vcsn::detail::rs.
automaton vcsn::dyn::detail::infiltrate | ( | const std::vector< automaton > & | as | ) |
Bridge (infiltrate).
Definition at line 897 of file conjunction.hh.
automaton vcsn::dyn::detail::infiltrate_ | ( | const std::vector< automaton > & | as, |
vcsn::detail::index_sequence< I...> | |||
) |
Variadic bridge helper.
Definition at line 888 of file conjunction.hh.
References vcsn::infiltrate().
Referenced by vcsn::rat::printer< ExpSet >::format().
expression vcsn::dyn::detail::infiltrate_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (infiltrate).
Definition at line 927 of file conjunction.hh.
References vcsn::infiltrate().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::infiltrate_expression_register | ( | const signature & | sig, |
infiltrate_expression_t | fn | ||
) |
|
static |
Definition at line 598 of file algos.cc.
Referenced by vcsn::dyn::infiltrate().
bool vcsn::dyn::detail::infiltrate_register | ( | const signature & | sig, |
infiltrate_t | fn | ||
) |
|
static |
Definition at line 589 of file algos.cc.
Referenced by vcsn::dyn::infiltrate().
std::ostream& vcsn::dyn::detail::info | ( | const automaton & | aut, |
std::ostream & | out, | ||
unsigned | details | ||
) |
Bridge.
Definition at line 136 of file info.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::out().
std::ostream& vcsn::dyn::detail::info_expression | ( | const expression & | exp, |
std::ostream & | o | ||
) |
Bridge (info).
Definition at line 195 of file info.hh.
References vcsn::info().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::info_expression_register | ( | const signature & | sig, |
info_expression_t | fn | ||
) |
|
static |
Definition at line 616 of file algos.cc.
Referenced by vcsn::dyn::info().
bool vcsn::dyn::detail::info_register | ( | const signature & | sig, |
info_t | fn | ||
) |
Definition at line 607 of file algos.cc.
Referenced by vcsn::dyn::info().
automaton vcsn::dyn::detail::insplit | ( | const automaton & | aut, |
bool | lazy | ||
) |
Bridge.
Definition at line 303 of file insplit.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::insplit_register | ( | const signature & | sig, |
insplit_t | fn | ||
) |
Definition at line 625 of file algos.cc.
Referenced by vcsn::dyn::insplit().
bool vcsn::dyn::detail::is_accessible | ( | const automaton & | aut | ) |
Bridge.
Definition at line 233 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_accessible_register | ( | const signature & | sig, |
is_accessible_t | fn | ||
) |
|
static |
Definition at line 634 of file algos.cc.
Referenced by vcsn::dyn::is_accessible().
bool vcsn::dyn::detail::is_ambiguous | ( | const automaton & | aut | ) |
Bridge.
Definition at line 97 of file is-ambiguous.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_ambiguous_register | ( | const signature & | sig, |
is_ambiguous_t | fn | ||
) |
|
static |
Definition at line 643 of file algos.cc.
Referenced by vcsn::dyn::is_ambiguous().
bool vcsn::dyn::detail::is_coaccessible | ( | const automaton & | aut | ) |
Bridge.
Definition at line 242 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_coaccessible_register | ( | const signature & | sig, |
is_coaccessible_t | fn | ||
) |
|
static |
Definition at line 652 of file algos.cc.
Referenced by vcsn::dyn::is_coaccessible().
bool vcsn::dyn::detail::is_codeterministic | ( | const automaton & | aut | ) |
Bridge.
Definition at line 93 of file is-deterministic.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_codeterministic_register | ( | const signature & | sig, |
is_codeterministic_t | fn | ||
) |
|
static |
Definition at line 661 of file algos.cc.
Referenced by vcsn::dyn::is_codeterministic().
bool vcsn::dyn::detail::is_complete | ( | const automaton & | aut | ) |
Bridge.
Definition at line 52 of file is-complete.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_complete_register | ( | const signature & | sig, |
is_complete_t | fn | ||
) |
|
static |
Definition at line 670 of file algos.cc.
Referenced by vcsn::dyn::is_complete().
bool vcsn::dyn::detail::is_costandard | ( | const automaton & | aut | ) |
Bridge.
Definition at line 63 of file standard.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_costandard_register | ( | const signature & | sig, |
is_costandard_t | fn | ||
) |
|
static |
Definition at line 679 of file algos.cc.
Referenced by vcsn::dyn::is_costandard().
bool vcsn::dyn::detail::is_cycle_ambiguous | ( | const automaton & | aut | ) |
Bridge.
Definition at line 197 of file is-ambiguous.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_cycle_ambiguous_register | ( | const signature & | sig, |
is_cycle_ambiguous_t | fn | ||
) |
|
static |
Definition at line 688 of file algos.cc.
Referenced by vcsn::dyn::is_cycle_ambiguous().
bool vcsn::dyn::detail::is_deterministic | ( | const automaton & | aut | ) |
Bridge.
Definition at line 85 of file is-deterministic.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_deterministic_register | ( | const signature & | sig, |
is_deterministic_t | fn | ||
) |
|
static |
Definition at line 697 of file algos.cc.
Referenced by vcsn::dyn::is_deterministic().
bool vcsn::dyn::detail::is_empty | ( | const automaton & | aut | ) |
Bridge.
Definition at line 269 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_empty_register | ( | const signature & | sig, |
is_empty_t | fn | ||
) |
|
static |
Definition at line 706 of file algos.cc.
Referenced by vcsn::dyn::is_empty().
bool vcsn::dyn::detail::is_eps_acyclic | ( | const automaton & | aut | ) |
Bridge.
Definition at line 145 of file is-acyclic.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_eps_acyclic_register | ( | const signature & | sig, |
is_eps_acyclic_t | fn | ||
) |
|
static |
Definition at line 715 of file algos.cc.
Referenced by vcsn::dyn::is_eps_acyclic().
bool vcsn::dyn::detail::is_functional | ( | const automaton & | aut | ) |
Bridge.
Definition at line 31 of file is-functional.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_functional_register | ( | const signature & | sig, |
is_functional_t | fn | ||
) |
|
static |
Definition at line 724 of file algos.cc.
Referenced by vcsn::dyn::is_functional().
bool vcsn::dyn::detail::is_letterized | ( | const automaton & | aut | ) |
Bridge.
Definition at line 201 of file letterize.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::is_realtime().
bool vcsn::dyn::detail::is_letterized_register | ( | const signature & | sig, |
is_letterized_t | fn | ||
) |
|
static |
Definition at line 733 of file algos.cc.
Referenced by vcsn::dyn::is_letterized().
bool vcsn::dyn::detail::is_normalized | ( | const automaton & | aut | ) |
Bridge.
Definition at line 33 of file normalize.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_normalized_register | ( | const signature & | sig, |
is_normalized_t | fn | ||
) |
|
static |
Definition at line 742 of file algos.cc.
Referenced by vcsn::dyn::is_normalized().
bool vcsn::dyn::detail::is_out_sorted | ( | const automaton & | aut | ) |
Bridge.
Definition at line 75 of file sort.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_out_sorted_register | ( | const signature & | sig, |
is_out_sorted_t | fn | ||
) |
|
static |
Definition at line 751 of file algos.cc.
Referenced by vcsn::dyn::is_out_sorted().
bool vcsn::dyn::detail::is_partial_identity | ( | const automaton & | aut | ) |
Bridge.
Definition at line 80 of file is-partial-identity.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_partial_identity_register | ( | const signature & | sig, |
is_partial_identity_t | fn | ||
) |
|
static |
Definition at line 760 of file algos.cc.
Referenced by vcsn::dyn::is_partial_identity().
bool vcsn::dyn::detail::is_proper | ( | const automaton & | aut | ) |
Bridge.
Definition at line 58 of file is-proper.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_proper_register | ( | const signature & | sig, |
is_proper_t | fn | ||
) |
|
static |
Definition at line 769 of file algos.cc.
Referenced by vcsn::dyn::is_proper().
bool vcsn::dyn::detail::is_realtime | ( | const automaton & | aut | ) |
Bridge.
Definition at line 259 of file letterize.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_realtime_register | ( | const signature & | sig, |
is_realtime_t | fn | ||
) |
|
static |
Definition at line 778 of file algos.cc.
Referenced by vcsn::dyn::is_realtime().
bool vcsn::dyn::detail::is_standard | ( | const automaton & | aut | ) |
Bridge.
Definition at line 54 of file standard.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_standard_register | ( | const signature & | sig, |
is_standard_t | fn | ||
) |
|
static |
Definition at line 787 of file algos.cc.
Referenced by vcsn::dyn::is_standard().
bool vcsn::dyn::detail::is_synchronized | ( | const automaton & | aut | ) |
Bridge.
Definition at line 320 of file is-synchronized.hh.
bool vcsn::dyn::detail::is_synchronized_by | ( | const automaton & | aut, |
const label & | word | ||
) |
Bridge.
Definition at line 72 of file synchronizing-word.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), and vcsn::is_synchronized_by().
bool vcsn::dyn::detail::is_synchronized_by_register | ( | const signature & | sig, |
is_synchronized_by_t | fn | ||
) |
|
static |
Definition at line 805 of file algos.cc.
Referenced by vcsn::dyn::is_synchronized_by().
bool vcsn::dyn::detail::is_synchronized_register | ( | const signature & | sig, |
is_synchronized_t | fn | ||
) |
|
static |
Definition at line 796 of file algos.cc.
Referenced by vcsn::dyn::is_synchronized().
bool vcsn::dyn::detail::is_synchronizing | ( | const automaton & | aut | ) |
Bridge.
Definition at line 402 of file synchronizing-word.hh.
References vcsn::dyn::automaton::as(), and vcsn::is_synchronizing().
bool vcsn::dyn::detail::is_synchronizing_register | ( | const signature & | sig, |
is_synchronizing_t | fn | ||
) |
|
static |
Definition at line 814 of file algos.cc.
Referenced by vcsn::dyn::is_synchronizing().
bool vcsn::dyn::detail::is_trim | ( | const automaton & | aut | ) |
Bridge.
Definition at line 251 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_trim_register | ( | const signature & | sig, |
is_trim_t | fn | ||
) |
Definition at line 823 of file algos.cc.
Referenced by vcsn::dyn::is_trim().
bool vcsn::dyn::detail::is_useless | ( | const automaton & | aut | ) |
Bridge.
Definition at line 260 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::is_useless_register | ( | const signature & | sig, |
is_useless_t | fn | ||
) |
|
static |
Definition at line 832 of file algos.cc.
Referenced by vcsn::dyn::is_useless().
bool vcsn::dyn::detail::is_valid | ( | const automaton & | aut | ) |
Bridge.
Definition at line 150 of file is-valid.hh.
References vcsn::dyn::automaton::as(), and strip().
bool vcsn::dyn::detail::is_valid_expression | ( | const expression & | exp | ) |
Bridge (is_valid).
Definition at line 48 of file is-valid-expression.hh.
References vcsn::is_valid().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::is_valid_expression_register | ( | const signature & | sig, |
is_valid_expression_t | fn | ||
) |
|
static |
Definition at line 850 of file algos.cc.
Referenced by vcsn::dyn::is_valid().
bool vcsn::dyn::detail::is_valid_register | ( | const signature & | sig, |
is_valid_t | fn | ||
) |
|
static |
Definition at line 841 of file algos.cc.
Referenced by vcsn::dyn::is_valid().
context vcsn::dyn::detail::join | ( | const context & | c1, |
const context & | c2 | ||
) |
Bridge.
Definition at line 110 of file make-context.hh.
References vcsn::dyn::context::as().
Referenced by vcsn::detail::tupleset_impl< ValueSets >::generators_(), lweight(), and rweight().
bool vcsn::dyn::detail::join_register | ( | const signature & | sig, |
join_t | fn | ||
) |
Definition at line 859 of file algos.cc.
Referenced by vcsn::dyn::join().
automaton vcsn::dyn::detail::ladybird | ( | const dyn::context & | ctx, |
unsigned | n | ||
) |
Bridge.
Definition at line 54 of file ladybird.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::ladybird_register | ( | const signature & | sig, |
ladybird_t | fn | ||
) |
|
static |
Definition at line 868 of file algos.cc.
Referenced by vcsn::dyn::ladybird().
automaton vcsn::dyn::detail::ldivide | ( | const automaton & | aut1, |
const automaton & | aut2 | ||
) |
Bridge (ldivide).
Definition at line 732 of file conjunction.hh.
References vcsn::dyn::automaton::as().
Referenced by ldivide_expansion(), ldivide_expression(), ldivide_label(), ldivide_polynomial(), and ldivide_weight().
expansion vcsn::dyn::detail::ldivide_expansion | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
bool vcsn::dyn::detail::ldivide_expansion_register | ( | const signature & | sig, |
ldivide_expansion_t | fn | ||
) |
|
static |
Definition at line 886 of file algos.cc.
Referenced by vcsn::dyn::ldivide().
expression vcsn::dyn::detail::ldivide_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (ldivide).
Definition at line 41 of file divide.hh.
References ldivide().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::ldivide_expression_register | ( | const signature & | sig, |
ldivide_expression_t | fn | ||
) |
|
static |
label vcsn::dyn::detail::ldivide_label | ( | const label & | lhs, |
const label & | rhs | ||
) |
bool vcsn::dyn::detail::ldivide_label_register | ( | const signature & | sig, |
ldivide_label_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::ldivide_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
bool vcsn::dyn::detail::ldivide_polynomial_register | ( | const signature & | sig, |
ldivide_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::ldivide_register | ( | const signature & | sig, |
ldivide_t | fn | ||
) |
Definition at line 877 of file algos.cc.
Referenced by vcsn::dyn::ldivide().
weight vcsn::dyn::detail::ldivide_weight | ( | const weight & | lhs, |
const weight & | rhs | ||
) |
bool vcsn::dyn::detail::ldivide_weight_register | ( | const signature & | sig, |
ldivide_weight_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::less_than_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (less_than).
Definition at line 31 of file less-than.hh.
References vcsn::less_than().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::less_than_expression_register | ( | const signature & | sig, |
less_than_expression_t | fn | ||
) |
|
static |
Definition at line 931 of file algos.cc.
Referenced by vcsn::dyn::less_than().
automaton vcsn::dyn::detail::letterize | ( | const automaton & | aut | ) |
Bridge.
Definition at line 146 of file letterize.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::letterize_register | ( | const signature & | sig, |
letterize_t | fn | ||
) |
|
static |
Definition at line 940 of file algos.cc.
Referenced by vcsn::dyn::letterize().
automaton vcsn::dyn::detail::levenshtein | ( | const dyn::context & | ctx | ) |
Bridge.
Definition at line 63 of file levenshtein.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::levenshtein_register | ( | const signature & | sig, |
levenshtein_t | fn | ||
) |
|
static |
Definition at line 949 of file algos.cc.
Referenced by vcsn::dyn::levenshtein().
polynomial vcsn::dyn::detail::lgcd_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (lgcd).
Definition at line 106 of file divide.hh.
References vcsn::dyn::lgcd().
bool vcsn::dyn::detail::lgcd_polynomial_register | ( | const signature & | sig, |
lgcd_polynomial_t | fn | ||
) |
|
static |
Definition at line 958 of file algos.cc.
Referenced by vcsn::dyn::lgcd().
automaton vcsn::dyn::detail::lift_automaton | ( | const automaton & | aut, |
identities | ids, | ||
integral_constant | |||
) |
Bridge.
Definition at line 260 of file lift.hh.
References vcsn::dyn::automaton::as(), vcsn::rat::ids(), and vcsn::lift().
bool vcsn::dyn::detail::lift_automaton_register | ( | const signature & | sig, |
lift_automaton_t | fn | ||
) |
expression vcsn::dyn::detail::lift_expression | ( | const expression & | exp | ) |
Bridge (lift).
Definition at line 307 of file lift.hh.
References vcsn::lift(), and vcsn::detail::lift_expressionset().
bool vcsn::dyn::detail::lift_expression_register | ( | const signature & | sig, |
lift_expression_t | fn | ||
) |
|
static |
Definition at line 967 of file algos.cc.
Referenced by vcsn::dyn::lift().
polynomial vcsn::dyn::detail::lightest | ( | const automaton & | aut, |
unsigned | num, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 227 of file lightest.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::make_word_polynomialset().
automaton vcsn::dyn::detail::lightest_automaton | ( | const automaton & | aut, |
unsigned | k, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 54 of file lightest-automaton.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::lightest_automaton_register | ( | const signature & | sig, |
lightest_automaton_t | fn | ||
) |
|
static |
Definition at line 985 of file algos.cc.
Referenced by vcsn::dyn::lightest_automaton().
bool vcsn::dyn::detail::lightest_register | ( | const signature & | sig, |
lightest_t | fn | ||
) |
|
static |
Definition at line 976 of file algos.cc.
Referenced by vcsn::dyn::lightest().
std::ostream& vcsn::dyn::detail::list_polynomial | ( | const polynomial & | polynomial, |
std::ostream & | o | ||
) |
Bridge (list).
Definition at line 269 of file print.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::list().
Referenced by vcsn::ctx::detail::register_functions(), and vcsn::ctx::detail::register_functions_is_free().
bool vcsn::dyn::detail::list_polynomial_register | ( | const signature & | sig, |
list_polynomial_t | fn | ||
) |
automaton vcsn::dyn::detail::lweight | ( | const weight & | weight, |
const automaton & | aut, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 149 of file weight.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::copy_into(), vcsn::detail::ctx, join(), make_context(), and vcsn::make_mutable_automaton().
expansion vcsn::dyn::detail::lweight_expansion | ( | const weight & | weight, |
const expansion & | exp | ||
) |
Bridge (lweight).
Definition at line 215 of file weight.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expansionset(), vcsn::lweight(), and vcsn::detail::rs.
bool vcsn::dyn::detail::lweight_expansion_register | ( | const signature & | sig, |
lweight_expansion_t | fn | ||
) |
|
static |
Definition at line 1003 of file algos.cc.
Referenced by vcsn::dyn::lweight().
expression vcsn::dyn::detail::lweight_expression | ( | const weight & | weight, |
const expression & | exp | ||
) |
Bridge (lweight).
Definition at line 269 of file weight.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expressionset(), vcsn::lweight(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::lweight_expression_register | ( | const signature & | sig, |
lweight_expression_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::lweight_polynomial | ( | const weight & | weight, |
const polynomial & | poly | ||
) |
Bridge (lweight).
Definition at line 301 of file weight.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_polynomialset(), and vcsn::lweight().
bool vcsn::dyn::detail::lweight_polynomial_register | ( | const signature & | sig, |
lweight_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::lweight_register | ( | const signature & | sig, |
lweight_t | fn | ||
) |
Definition at line 994 of file algos.cc.
Referenced by vcsn::dyn::lweight().
automaton vcsn::dyn::detail::lweight_tag | ( | const weight_t_of< Aut > & | w, |
Aut & | aut | ||
) |
Left-product.
Definition at line 141 of file weight.hh.
References vcsn::lweight_here().
automaton_editor* vcsn::dyn::detail::make_automaton_editor | ( | const context & | ctx | ) |
Bridge.
Definition at line 349 of file edit-automaton.hh.
References vcsn::dyn::context::as().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::make_automaton_editor_register | ( | const signature & | sig, |
make_automaton_editor_t | fn | ||
) |
|
static |
Definition at line 1030 of file algos.cc.
Referenced by vcsn::dyn::make_automaton_editor().
context vcsn::dyn::detail::make_context | ( | const std::string & | name | ) |
bool vcsn::dyn::detail::make_context_register | ( | const signature & | sig, |
make_context_t | fn | ||
) |
context vcsn::dyn::detail::make_word_context | ( | const context & | ctx | ) |
Bridge.
Definition at line 130 of file make-context.hh.
References vcsn::dyn::context::as().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::make_word_context_register | ( | const signature & | sig, |
make_word_context_t | fn | ||
) |
|
static |
Definition at line 1039 of file algos.cc.
Referenced by vcsn::dyn::make_word_context().
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_().
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean<Aut>), quotient_t<Aut> > vcsn::dyn::detail::minimize | ( | const Aut & | , |
hopcroft_tag | |||
) |
Definition at line 110 of file minimize-hopcroft.hh.
automaton vcsn::dyn::detail::minimize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 158 of file minimize.hh.
References vcsn::dyn::automaton::as().
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean<Aut>), quotient_t<Aut> > vcsn::dyn::detail::minimize | ( | const Aut & | , |
moore_tag | |||
) |
Definition at line 203 of file minimize-moore.hh.
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 | ||
) |
|
static |
Definition at line 1048 of file algos.cc.
Referenced by vcsn::dyn::minimize().
automaton vcsn::dyn::detail::minimize_tag_ | ( | const Aut & | aut | ) |
Helper function to facilitate dispatch below.
Definition at line 142 of file minimize.hh.
References minimize().
automaton vcsn::dyn::detail::multiply | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 169 of file multiply.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::multiply().
expression vcsn::dyn::detail::multiply_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (multiply).
Definition at line 294 of file multiply.hh.
References vcsn::multiply().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::multiply_expression_register | ( | const signature & | sig, |
multiply_expression_t | fn | ||
) |
|
static |
Definition at line 1066 of file algos.cc.
Referenced by vcsn::dyn::multiply().
expression vcsn::dyn::detail::multiply_expression_repeated | ( | const expression & | re, |
int | min, | ||
int | max | ||
) |
Bridge (multiply).
Definition at line 408 of file multiply.hh.
References vcsn::min, and vcsn::multiply().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::multiply_expression_repeated_register | ( | const signature & | sig, |
multiply_expression_repeated_t | fn | ||
) |
|
static |
Definition at line 1075 of file algos.cc.
Referenced by vcsn::dyn::multiply().
label vcsn::dyn::detail::multiply_label | ( | const label & | lhs, |
const label & | rhs | ||
) |
Bridge (multiply).
Definition at line 429 of file multiply.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::dyn::join(), vcsn::dyn::multiply(), and vcsn::detail::rs.
bool vcsn::dyn::detail::multiply_label_register | ( | const signature & | sig, |
multiply_label_t | fn | ||
) |
|
static |
label vcsn::dyn::detail::multiply_label_repeated | ( | const label & | re, |
int | exp | ||
) |
Bridge (multiply).
Definition at line 442 of file multiply.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::multiply().
bool vcsn::dyn::detail::multiply_label_repeated_register | ( | const signature & | sig, |
multiply_label_repeated_t | fn | ||
) |
|
static |
Definition at line 1093 of file algos.cc.
Referenced by vcsn::dyn::multiply().
polynomial vcsn::dyn::detail::multiply_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (multiply).
Definition at line 463 of file multiply.hh.
References vcsn::dyn::multiply().
Referenced by vcsn::ctx::detail::register_functions_is_free().
bool vcsn::dyn::detail::multiply_polynomial_register | ( | const signature & | sig, |
multiply_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::multiply_register | ( | const signature & | sig, |
multiply_t | fn | ||
) |
|
static |
Definition at line 1057 of file algos.cc.
Referenced by vcsn::dyn::multiply().
automaton vcsn::dyn::detail::multiply_repeated | ( | const automaton & | a, |
int | min, | ||
int | max, | ||
const std::string & | algo | ||
) |
Bridge (multiply).
Definition at line 258 of file multiply.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), vcsn::min, and vcsn::multiply().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::multiply_repeated_register | ( | const signature & | sig, |
multiply_repeated_t | fn | ||
) |
|
static |
Definition at line 1111 of file algos.cc.
Referenced by vcsn::dyn::multiply().
weight vcsn::dyn::detail::multiply_weight | ( | const weight & | lhs, |
const weight & | rhs | ||
) |
Bridge (multiply).
Definition at line 484 of file multiply.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::dyn::join(), and vcsn::multiply().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::multiply_weight_register | ( | const signature & | sig, |
multiply_weight_t | fn | ||
) |
|
static |
weight vcsn::dyn::detail::multiply_weight_repeated | ( | const weight & | wgt, |
int | min, | ||
int | max | ||
) |
Bridge (multiply).
Definition at line 497 of file multiply.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::min, and vcsn::multiply().
bool vcsn::dyn::detail::multiply_weight_repeated_register | ( | const signature & | sig, |
multiply_weight_repeated_t | fn | ||
) |
|
static |
automaton vcsn::dyn::detail::normalize | ( | const automaton & | aut | ) |
Bridge.
Definition at line 41 of file normalize.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::normalize_register | ( | const signature & | sig, |
normalize_t | fn | ||
) |
|
static |
Definition at line 1138 of file algos.cc.
Referenced by vcsn::dyn::normalize().
std::size_t vcsn::dyn::detail::num_components | ( | const automaton & | aut | ) |
bool vcsn::dyn::detail::num_components_register | ( | const signature & | sig, |
num_components_t | fn | ||
) |
|
static |
Definition at line 1147 of file algos.cc.
Referenced by vcsn::dyn::num_components().
size_t vcsn::dyn::detail::num_tapes | ( | const context & | ctx | ) |
Bridge.
Definition at line 166 of file make-context.hh.
References vcsn::dyn::context::as(), and vcsn::num_tapes().
bool vcsn::dyn::detail::num_tapes_register | ( | const signature & | sig, |
num_tapes_t | fn | ||
) |
|
static |
Definition at line 1156 of file algos.cc.
Referenced by vcsn::dyn::num_tapes().
automaton vcsn::dyn::detail::pair | ( | const automaton & | aut, |
bool | keep_initials | ||
) |
Bridge.
Definition at line 264 of file pair.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::pair_register | ( | const signature & | sig, |
pair_t | fn | ||
) |
Definition at line 1165 of file algos.cc.
Referenced by vcsn::dyn::pair().
automaton vcsn::dyn::detail::partial_identity | ( | const automaton & | aut | ) |
Bridge.
Definition at line 81 of file partial-identity.hh.
References vcsn::dyn::automaton::as(), and vcsn::rat::partial_identity().
Referenced by partial_identity_expression().
expression vcsn::dyn::detail::partial_identity_expression | ( | const expression & | exp | ) |
Bridge (partial_identity).
Definition at line 21 of file partial-identity-expression.hh.
References partial_identity(), vcsn::detail::rs, and vcsn::tuple_expressionset().
bool vcsn::dyn::detail::partial_identity_expression_register | ( | const signature & | sig, |
partial_identity_expression_t | fn | ||
) |
|
static |
Definition at line 1183 of file algos.cc.
Referenced by vcsn::dyn::partial_identity().
bool vcsn::dyn::detail::partial_identity_register | ( | const signature & | sig, |
partial_identity_t | fn | ||
) |
|
static |
Definition at line 1174 of file algos.cc.
Referenced by vcsn::dyn::partial_identity().
automaton vcsn::dyn::detail::prefix | ( | const automaton & | aut | ) |
Bridge.
Definition at line 84 of file prefix.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::prefix_register | ( | const signature & | sig, |
prefix_t | fn | ||
) |
Definition at line 1192 of file algos.cc.
Referenced by vcsn::dyn::prefix().
std::ostream& vcsn::dyn::detail::print | ( | const automaton & | aut, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge.
Definition at line 121 of file print.hh.
References vcsn::dyn::automaton::as().
std::ostream& vcsn::dyn::detail::print_context | ( | const context & | ctx, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 140 of file print.hh.
References vcsn::dyn::context::as().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::print_context_register | ( | const signature & | sig, |
print_context_t | fn | ||
) |
|
static |
Definition at line 1210 of file algos.cc.
Referenced by vcsn::dyn::print().
std::ostream& vcsn::dyn::detail::print_expansion | ( | const expansion & | expansion, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 172 of file print.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::print().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::print_expansion_register | ( | const signature & | sig, |
print_expansion_t | fn | ||
) |
std::ostream& vcsn::dyn::detail::print_expression | ( | const expression & | exp, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 214 of file print.hh.
References vcsn::print().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::print_expression_register | ( | const signature & | sig, |
print_expression_t | fn | ||
) |
std::ostream& vcsn::dyn::detail::print_label | ( | const label & | label, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 233 of file print.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::format::for_labels(), and vcsn::print().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::print_label_register | ( | const signature & | sig, |
print_label_t | fn | ||
) |
std::ostream& vcsn::dyn::detail::print_polynomial | ( | const polynomial & | polynomial, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 288 of file print.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::print().
Referenced by vcsn::ctx::detail::register_functions(), and vcsn::ctx::detail::register_functions_is_free().
bool vcsn::dyn::detail::print_polynomial_register | ( | const signature & | sig, |
print_polynomial_t | fn | ||
) |
bool vcsn::dyn::detail::print_register | ( | const signature & | sig, |
print_t | fn | ||
) |
Definition at line 1201 of file algos.cc.
Referenced by vcsn::dyn::print().
std::ostream& vcsn::dyn::detail::print_weight | ( | const weight & | weight, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 308 of file print.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::print().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::print_weight_register | ( | const signature & | sig, |
print_weight_t | fn | ||
) |
automaton vcsn::dyn::detail::project | ( | const automaton & | aut, |
integral_constant | |||
) |
Bridge.
Definition at line 35 of file project-automaton.hh.
References vcsn::dyn::automaton::as().
context vcsn::dyn::detail::project_context | ( | const context & | ctx, |
integral_constant | |||
) |
Bridge (project).
Definition at line 23 of file project.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::project_context_register | ( | const signature & | sig, |
project_context_t | fn | ||
) |
expansion vcsn::dyn::detail::project_expansion | ( | const expansion & | exp, |
integral_constant | |||
) |
Bridge (project).
Definition at line 75 of file project.hh.
References vcsn::dyn::value_impl< Tag >::as().
bool vcsn::dyn::detail::project_expansion_register | ( | const signature & | sig, |
project_expansion_t | fn | ||
) |
expression vcsn::dyn::detail::project_expression | ( | const expression & | exp, |
integral_constant | |||
) |
Bridge (project).
Definition at line 97 of file project.hh.
bool vcsn::dyn::detail::project_expression_register | ( | const signature & | sig, |
project_expression_t | fn | ||
) |
label vcsn::dyn::detail::project_label | ( | const label & | lbl, |
integral_constant | |||
) |
Bridge (project).
Definition at line 154 of file project.hh.
References vcsn::dyn::value_impl< Tag >::as().
bool vcsn::dyn::detail::project_label_register | ( | const signature & | sig, |
project_label_t | fn | ||
) |
polynomial vcsn::dyn::detail::project_polynomial | ( | const polynomial & | poly, |
integral_constant | |||
) |
Bridge (project).
Definition at line 132 of file project.hh.
References vcsn::dyn::value_impl< Tag >::as().
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 | ||
) |
automaton vcsn::dyn::detail::proper | ( | const automaton & | aut, |
direction | dir, | ||
bool | prune, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 299 of file proper.hh.
References vcsn::dyn::automaton::as(), and vcsn::proper_lazy().
bool vcsn::dyn::detail::proper_register | ( | const signature & | sig, |
proper_t | fn | ||
) |
Definition at line 1219 of file algos.cc.
Referenced by vcsn::dyn::proper().
automaton vcsn::dyn::detail::push_weights | ( | const automaton & | aut | ) |
Bridge.
Definition at line 71 of file push-weights.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::push_weights_register | ( | const signature & | sig, |
push_weights_t | fn | ||
) |
|
static |
Definition at line 1228 of file algos.cc.
Referenced by vcsn::dyn::push_weights().
automaton vcsn::dyn::detail::quotkbaseb | ( | const context & | ctx, |
unsigned | divisor, | ||
unsigned | base | ||
) |
Bridge.
Definition at line 76 of file quotkbaseb.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::quotkbaseb_register | ( | const signature & | sig, |
quotkbaseb_t | fn | ||
) |
|
static |
Definition at line 1237 of file algos.cc.
Referenced by vcsn::dyn::quotkbaseb().
automaton vcsn::dyn::detail::random_automaton | ( | const context & | ctx, |
unsigned | num_states, | ||
float | density, | ||
unsigned | num_initial, | ||
unsigned | num_final, | ||
boost::optional< unsigned > | max_labels, | ||
float | loop_chance, | ||
const std::string & | weights | ||
) |
Bridge.
Definition at line 217 of file random-automaton.hh.
References vcsn::dyn::context::as(), and vcsn::random_automaton().
automaton vcsn::dyn::detail::random_automaton_deterministic | ( | const context & | ctx, |
unsigned | num_states | ||
) |
Bridge.
Definition at line 276 of file random-automaton.hh.
References vcsn::dyn::context::as(), and vcsn::random_automaton_deterministic().
bool vcsn::dyn::detail::random_automaton_deterministic_register | ( | const signature & | sig, |
random_automaton_deterministic_t | fn | ||
) |
|
static |
Definition at line 1255 of file algos.cc.
Referenced by vcsn::dyn::random_automaton_deterministic().
bool vcsn::dyn::detail::random_automaton_register | ( | const signature & | sig, |
random_automaton_t | fn | ||
) |
|
static |
Definition at line 1246 of file algos.cc.
Referenced by vcsn::dyn::random_automaton().
expression vcsn::dyn::detail::random_expression | ( | const context & | ctx, |
const std::string & | param, | ||
identities | ids | ||
) |
Bridge.
Definition at line 287 of file random-expression.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.
bool vcsn::dyn::detail::random_expression_register | ( | const signature & | sig, |
random_expression_t | fn | ||
) |
|
static |
Definition at line 1264 of file algos.cc.
Referenced by vcsn::dyn::random_expression().
weight vcsn::dyn::detail::random_weight | ( | const context & | ctx, |
const std::string & | param | ||
) |
Bridge.
Definition at line 31 of file random-weight.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::random_weight_register | ( | const signature & | sig, |
random_weight_t | fn | ||
) |
|
static |
Definition at line 1273 of file algos.cc.
Referenced by vcsn::dyn::random_weight().
automaton vcsn::dyn::detail::rdivide | ( | const automaton & | aut1, |
const automaton & | aut2 | ||
) |
Bridge.
Definition at line 767 of file conjunction.hh.
References vcsn::dyn::automaton::as(), and vcsn::rdivide().
Referenced by rdivide_expression(), rdivide_label(), and rdivide_weight().
expression vcsn::dyn::detail::rdivide_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (rdivide).
Definition at line 148 of file divide.hh.
References rdivide().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::rdivide_expression_register | ( | const signature & | sig, |
rdivide_expression_t | fn | ||
) |
|
static |
Definition at line 1291 of file algos.cc.
Referenced by vcsn::dyn::rdivide().
label vcsn::dyn::detail::rdivide_label | ( | const label & | lhs, |
const label & | rhs | ||
) |
bool vcsn::dyn::detail::rdivide_label_register | ( | const signature & | sig, |
rdivide_label_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::rdivide_register | ( | const signature & | sig, |
rdivide_t | fn | ||
) |
Definition at line 1282 of file algos.cc.
Referenced by vcsn::dyn::rdivide().
weight vcsn::dyn::detail::rdivide_weight | ( | const weight & | lhs, |
const weight & | rhs | ||
) |
bool vcsn::dyn::detail::rdivide_weight_register | ( | const signature & | sig, |
rdivide_weight_t | fn | ||
) |
|
static |
label vcsn::dyn::detail::read_label | ( | const context & | ctx, |
std::istream & | is, | ||
bool | quoted | ||
) |
Bridge.
Definition at line 31 of file read.hh.
References vcsn::dyn::context::as(), and vcsn::res.
bool vcsn::dyn::detail::read_label_register | ( | const signature & | sig, |
read_label_t | fn | ||
) |
polynomial vcsn::dyn::detail::read_polynomial | ( | const context & | ctx, |
std::istream & | is | ||
) |
Bridge.
Definition at line 60 of file read.hh.
References vcsn::dyn::context::as(), and vcsn::res.
bool vcsn::dyn::detail::read_polynomial_register | ( | const signature & | sig, |
read_polynomial_t | fn | ||
) |
|
static |
Definition at line 1318 of file algos.cc.
Referenced by vcsn::dyn::read_polynomial().
weight vcsn::dyn::detail::read_weight | ( | const context & | ctx, |
std::istream & | is | ||
) |
Bridge.
Definition at line 90 of file read.hh.
References vcsn::dyn::context::as(), and vcsn::res.
bool vcsn::dyn::detail::read_weight_register | ( | const signature & | sig, |
read_weight_t | fn | ||
) |
|
static |
Definition at line 1327 of file algos.cc.
Referenced by vcsn::dyn::read_weight().
automaton vcsn::dyn::detail::realtime | ( | const automaton & | aut | ) |
Bridge.
Definition at line 231 of file letterize.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::realtime_register | ( | const signature & | sig, |
realtime_t | fn | ||
) |
|
static |
Definition at line 1336 of file algos.cc.
Referenced by vcsn::dyn::realtime().
automaton vcsn::dyn::detail::reduce | ( | const automaton & | aut | ) |
Bridge.
Definition at line 621 of file reduce.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::reduce_register | ( | const signature & | sig, |
reduce_t | fn | ||
) |
Definition at line 1345 of file algos.cc.
Referenced by vcsn::dyn::reduce().
automaton vcsn::dyn::detail::rweight | ( | const automaton & | aut, |
const weight & | weight, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 351 of file weight.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::copy_into(), vcsn::detail::ctx, join(), make_context(), and vcsn::make_mutable_automaton().
expansion vcsn::dyn::detail::rweight_expansion | ( | const expansion & | exp, |
const weight & | weight | ||
) |
Bridge (rweight).
Definition at line 406 of file weight.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expansionset(), vcsn::detail::rs, and vcsn::rweight().
bool vcsn::dyn::detail::rweight_expansion_register | ( | const signature & | sig, |
rweight_expansion_t | fn | ||
) |
|
static |
Definition at line 1363 of file algos.cc.
Referenced by vcsn::dyn::rweight().
expression vcsn::dyn::detail::rweight_expression | ( | const expression & | exp, |
const weight & | weight | ||
) |
Bridge (rweight).
Definition at line 430 of file weight.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_expressionset(), vcsn::detail::rs, and vcsn::rweight().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::rweight_expression_register | ( | const signature & | sig, |
rweight_expression_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::rweight_polynomial | ( | const polynomial & | poly, |
const weight & | weight | ||
) |
Bridge (rweight).
Definition at line 453 of file weight.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::join_weightset_polynomialset(), and vcsn::rweight().
bool vcsn::dyn::detail::rweight_polynomial_register | ( | const signature & | sig, |
rweight_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::rweight_register | ( | const signature & | sig, |
rweight_t | fn | ||
) |
Definition at line 1354 of file algos.cc.
Referenced by vcsn::dyn::rweight().
automaton vcsn::dyn::detail::rweight_tag | ( | Aut & | aut, |
const weight_t_of< Aut > & | w | ||
) |
Right-product.
Definition at line 343 of file weight.hh.
References vcsn::rweight_here().
automaton vcsn::dyn::detail::scc | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
bool vcsn::dyn::detail::scc_register | ( | const signature & | sig, |
scc_t | fn | ||
) |
Definition at line 1390 of file algos.cc.
Referenced by vcsn::dyn::scc().
polynomial vcsn::dyn::detail::shortest | ( | const automaton & | aut, |
boost::optional< unsigned > | num, | ||
boost::optional< unsigned > | len | ||
) |
Bridge.
Definition at line 318 of file shortest.hh.
References vcsn::dyn::automaton::as(), and vcsn::detail::make_word_polynomialset().
bool vcsn::dyn::detail::shortest_register | ( | const signature & | sig, |
shortest_t | fn | ||
) |
|
static |
Definition at line 1399 of file algos.cc.
Referenced by vcsn::dyn::shortest().
automaton vcsn::dyn::detail::shuffle | ( | const std::vector< automaton > & | as | ) |
Bridge (shuffle).
Definition at line 811 of file conjunction.hh.
automaton vcsn::dyn::detail::shuffle_ | ( | const std::vector< automaton > & | as, |
vcsn::detail::index_sequence< I...> | |||
) |
Variadic bridge helper.
Definition at line 802 of file conjunction.hh.
References vcsn::shuffle().
Referenced by vcsn::rat::printer< ExpSet >::format(), vcsn::rat::expansionset< expressionset_t >::infiltrate(), and vcsn::rat::expansionset< expressionset_t >::shuffle().
expression vcsn::dyn::detail::shuffle_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (shuffle).
Definition at line 842 of file conjunction.hh.
References vcsn::shuffle().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::shuffle_expression_register | ( | const signature & | sig, |
shuffle_expression_t | fn | ||
) |
|
static |
Definition at line 1417 of file algos.cc.
Referenced by vcsn::dyn::shuffle().
bool vcsn::dyn::detail::shuffle_register | ( | const signature & | sig, |
shuffle_t | fn | ||
) |
Definition at line 1408 of file algos.cc.
Referenced by vcsn::dyn::shuffle().
automaton vcsn::dyn::detail::sort | ( | const automaton & | aut | ) |
Bridge.
Definition at line 176 of file sort.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::detail::sorter< Aut >::visit_successors_of_().
bool vcsn::dyn::detail::sort_register | ( | const signature & | sig, |
sort_t | fn | ||
) |
Definition at line 1426 of file algos.cc.
Referenced by vcsn::dyn::sort().
polynomial vcsn::dyn::detail::split | ( | const expression & | exp | ) |
Bridge.
Definition at line 275 of file split.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::rat::make_expression_polynomialset(), and vcsn::detail::rs.
polynomial vcsn::dyn::detail::split_polynomial | ( | const polynomial & | poly | ) |
Bridge (split).
Definition at line 315 of file split.hh.
References vcsn::dyn::value_impl< Tag >::as().
bool vcsn::dyn::detail::split_polynomial_register | ( | const signature & | sig, |
split_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::split_register | ( | const signature & | sig, |
split_t | fn | ||
) |
Definition at line 1435 of file algos.cc.
Referenced by vcsn::dyn::split().
automaton vcsn::dyn::detail::standard | ( | const automaton & | aut | ) |
Bridge.
Definition at line 139 of file standard.hh.
References vcsn::dyn::automaton::as(), and vcsn::standard().
automaton vcsn::dyn::detail::standard_expression | ( | const expression & | exp | ) |
Bridge (standard).
Definition at line 400 of file standard.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::standard_expression_register | ( | const signature & | sig, |
standard_expression_t | fn | ||
) |
|
static |
Definition at line 1462 of file algos.cc.
Referenced by vcsn::dyn::standard().
bool vcsn::dyn::detail::standard_register | ( | const signature & | sig, |
standard_t | fn | ||
) |
|
static |
Definition at line 1453 of file algos.cc.
Referenced by vcsn::dyn::standard().
automaton vcsn::dyn::detail::star | ( | const automaton & | a, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 124 of file star.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::star().
unsigned vcsn::dyn::detail::star_height | ( | const expression & | exp | ) |
Bridge.
Definition at line 158 of file star-height.hh.
bool vcsn::dyn::detail::star_height_register | ( | const signature & | sig, |
star_height_t | fn | ||
) |
|
static |
Definition at line 1480 of file algos.cc.
Referenced by vcsn::dyn::star_height().
expression vcsn::dyn::detail::star_normal_form | ( | const expression & | exp | ) |
Bridge.
Definition at line 198 of file star-normal-form.hh.
bool vcsn::dyn::detail::star_normal_form_register | ( | const signature & | sig, |
star_normal_form_t | fn | ||
) |
|
static |
Definition at line 1489 of file algos.cc.
Referenced by vcsn::dyn::star_normal_form().
bool vcsn::dyn::detail::star_register | ( | const signature & | sig, |
star_t | fn | ||
) |
Definition at line 1471 of file algos.cc.
Referenced by vcsn::dyn::star().
automaton vcsn::dyn::detail::strip | ( | const automaton & | aut | ) |
Bridge.
Definition at line 46 of file strip.hh.
References vcsn::dyn::automaton::as().
Referenced by is_valid().
bool vcsn::dyn::detail::strip_register | ( | const signature & | sig, |
strip_t | fn | ||
) |
Definition at line 1498 of file algos.cc.
Referenced by vcsn::dyn::strip().
automaton vcsn::dyn::detail::subword | ( | const automaton & | aut | ) |
Bridge.
Definition at line 174 of file prefix.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::subword_register | ( | const signature & | sig, |
subword_t | fn | ||
) |
Definition at line 1507 of file algos.cc.
Referenced by vcsn::dyn::subword().
automaton vcsn::dyn::detail::suffix | ( | const automaton & | aut | ) |
Bridge.
Definition at line 44 of file prefix.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::suffix_register | ( | const signature & | sig, |
suffix_t | fn | ||
) |
Definition at line 1516 of file algos.cc.
Referenced by vcsn::dyn::suffix().
automaton vcsn::dyn::detail::synchronize | ( | const automaton & | aut | ) |
Bridge.
Definition at line 362 of file synchronize.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::synchronize().
bool vcsn::dyn::detail::synchronize_register | ( | const signature & | sig, |
synchronize_t | fn | ||
) |
|
static |
Definition at line 1525 of file algos.cc.
Referenced by vcsn::dyn::synchronize().
label vcsn::dyn::detail::synchronizing_word | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 442 of file synchronizing-word.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::make_wordset(), and vcsn::synchronizing_word().
bool vcsn::dyn::detail::synchronizing_word_register | ( | const signature & | sig, |
synchronizing_word_t | fn | ||
) |
|
static |
Definition at line 1534 of file algos.cc.
Referenced by vcsn::dyn::synchronizing_word().
automaton vcsn::dyn::detail::thompson | ( | const expression & | exp | ) |
Bridge.
Definition at line 215 of file thompson.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::detail::make_nullableset_context().
bool vcsn::dyn::detail::thompson_register | ( | const signature & | sig, |
thompson_t | fn | ||
) |
|
static |
Definition at line 1543 of file algos.cc.
Referenced by vcsn::dyn::thompson().
expansion vcsn::dyn::detail::to_expansion | ( | const expression & | exp | ) |
Bridge.
Definition at line 427 of file to-expansion.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::detail::rs.
bool vcsn::dyn::detail::to_expansion_register | ( | const signature & | sig, |
to_expansion_t | fn | ||
) |
|
static |
Definition at line 1552 of file algos.cc.
Referenced by vcsn::dyn::to_expansion().
expression vcsn::dyn::detail::to_expression | ( | const automaton & | aut, |
identities | ids, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 616 of file to-expression.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::rs, and vcsn::to_expression().
expression vcsn::dyn::detail::to_expression_class | ( | const context & | ctx, |
identities | ids, | ||
const letter_class_t & | letters, | ||
bool | accept | ||
) |
Bridge (to_expression).
Definition at line 729 of file to-expression.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), vcsn::detail::rs, and vcsn::dyn::to_expression().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::to_expression_class_register | ( | const signature & | sig, |
to_expression_class_t | fn | ||
) |
|
static |
Definition at line 1570 of file algos.cc.
Referenced by vcsn::dyn::to_expression().
expression vcsn::dyn::detail::to_expression_label | ( | const context & | ctx, |
identities | ids, | ||
const label & | lbl | ||
) |
Bridge (to_expression).
Definition at line 640 of file to-expression.hh.
References vcsn::dyn::context::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::to_expression_label_register | ( | const signature & | sig, |
to_expression_label_t | fn | ||
) |
|
static |
Definition at line 1579 of file algos.cc.
Referenced by vcsn::dyn::to_expression().
bool vcsn::dyn::detail::to_expression_register | ( | const signature & | sig, |
to_expression_t | fn | ||
) |
|
static |
Definition at line 1561 of file algos.cc.
Referenced by vcsn::dyn::to_expression().
automaton vcsn::dyn::detail::transpose | ( | automaton & | aut | ) |
expression vcsn::dyn::detail::transpose_expression | ( | const expression & | exp | ) |
Bridge (transpose).
Definition at line 292 of file transpose.hh.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::transpose_expression_register | ( | const signature & | sig, |
transpose_expression_t | fn | ||
) |
|
static |
Definition at line 1597 of file algos.cc.
Referenced by vcsn::dyn::transpose().
bool vcsn::dyn::detail::transpose_register | ( | const signature & | sig, |
transpose_t | fn | ||
) |
|
static |
Definition at line 1588 of file algos.cc.
Referenced by vcsn::dyn::transpose().
expression vcsn::dyn::detail::transposition_expression | ( | const expression & | exp | ) |
Bridge (transposition).
Definition at line 310 of file transpose.hh.
Referenced by vcsn::ctx::detail::register_expression_functions().
bool vcsn::dyn::detail::transposition_expression_register | ( | const signature & | sig, |
transposition_expression_t | fn | ||
) |
|
static |
Definition at line 1606 of file algos.cc.
Referenced by vcsn::dyn::transposition().
automaton vcsn::dyn::detail::trie | ( | const polynomial & | poly | ) |
Bridge.
Definition at line 242 of file trie.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::trie().
bool vcsn::dyn::detail::trie_register | ( | const signature & | sig, |
trie_t | fn | ||
) |
Definition at line 1615 of file algos.cc.
Referenced by vcsn::dyn::trie().
automaton vcsn::dyn::detail::trie_stream | ( | const context & | ctx, |
std::istream & | is, | ||
const std::string & | format | ||
) |
Bridge (trie).
Definition at line 302 of file trie.hh.
References vcsn::dyn::context::as(), vcsn::detail::make_word_polynomialset(), and vcsn::trie().
bool vcsn::dyn::detail::trie_stream_register | ( | const signature & | sig, |
trie_stream_t | fn | ||
) |
|
static |
Definition at line 1624 of file algos.cc.
Referenced by vcsn::dyn::trie().
automaton vcsn::dyn::detail::trim | ( | const automaton & | aut | ) |
Bridge.
Definition at line 224 of file accessible.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::trim_register | ( | const signature & | sig, |
trim_t | fn | ||
) |
Definition at line 1633 of file algos.cc.
Referenced by vcsn::dyn::trim().
automaton vcsn::dyn::detail::tuple | ( | const std::vector< automaton > & | as | ) |
context vcsn::dyn::detail::tuple_ | ( | const std::vector< context > & | cs, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 36 of file tuple.hh.
References tuple_context().
expansion vcsn::dyn::detail::tuple_ | ( | const std::vector< expansion > & | es, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 104 of file tuple.hh.
References vcsn::tuple_expansionset().
expression vcsn::dyn::detail::tuple_ | ( | const std::vector< expression > & | es, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 143 of file tuple.hh.
References vcsn::detail::rs, and vcsn::tuple_expressionset().
polynomial vcsn::dyn::detail::tuple_ | ( | const std::vector< polynomial > & | polys, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 195 of file tuple.hh.
References vcsn::tuple_polynomialset().
automaton vcsn::dyn::detail::tuple_ | ( | const std::vector< automaton > & | as, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 201 of file tuple-automaton.hh.
References tuple().
context vcsn::dyn::detail::tuple_context | ( | const std::vector< context > & | cs | ) |
bool vcsn::dyn::detail::tuple_context_register | ( | const signature & | sig, |
tuple_context_t | fn | ||
) |
|
static |
Definition at line 1651 of file algos.cc.
Referenced by vcsn::dyn::tuple().
expansion vcsn::dyn::detail::tuple_expansion | ( | const std::vector< expansion > & | es | ) |
bool vcsn::dyn::detail::tuple_expansion_register | ( | const signature & | sig, |
tuple_expansion_t | fn | ||
) |
|
static |
Definition at line 1660 of file algos.cc.
Referenced by vcsn::dyn::tuple().
expression vcsn::dyn::detail::tuple_expression | ( | const std::vector< expression > & | es | ) |
bool vcsn::dyn::detail::tuple_expression_register | ( | const signature & | sig, |
tuple_expression_t | fn | ||
) |
|
static |
polynomial vcsn::dyn::detail::tuple_polynomial | ( | const std::vector< polynomial > & | ps | ) |
bool vcsn::dyn::detail::tuple_polynomial_register | ( | const signature & | sig, |
tuple_polynomial_t | fn | ||
) |
|
static |
bool vcsn::dyn::detail::tuple_register | ( | const signature & | sig, |
tuple_t | fn | ||
) |
Definition at line 1642 of file algos.cc.
Referenced by vcsn::dyn::tuple().
automaton vcsn::dyn::detail::u | ( | const context & | ctx, |
unsigned | n | ||
) |
Bridge.
Definition at line 68 of file u.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::u_register | ( | const signature & | sig, |
u_t | fn | ||
) |
Definition at line 1687 of file algos.cc.
Referenced by vcsn::dyn::u().
automaton vcsn::dyn::detail::universal | ( | const automaton & | aut | ) |
Bridge.
Definition at line 148 of file universal.hh.
References vcsn::dyn::automaton::as().
bool vcsn::dyn::detail::universal_register | ( | const signature & | sig, |
universal_t | fn | ||
) |
|
static |
Definition at line 1696 of file algos.cc.
Referenced by vcsn::dyn::universal().
weight vcsn::dyn::detail::weight_one | ( | const context & | ctx | ) |
Bridge.
Definition at line 33 of file constant.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::weight_one_register | ( | const signature & | sig, |
weight_one_t | fn | ||
) |
|
static |
Definition at line 1705 of file algos.cc.
Referenced by vcsn::dyn::weight_one().
weight vcsn::dyn::detail::weight_series | ( | const automaton & | aut | ) |
Bridge.
Definition at line 55 of file weight-series.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::res.
bool vcsn::dyn::detail::weight_series_register | ( | const signature & | sig, |
weight_series_t | fn | ||
) |
|
static |
Definition at line 1714 of file algos.cc.
Referenced by vcsn::dyn::weight_series().
weight vcsn::dyn::detail::weight_zero | ( | const context & | ctx | ) |
Bridge.
Definition at line 42 of file constant.hh.
References vcsn::dyn::context::as().
bool vcsn::dyn::detail::weight_zero_register | ( | const signature & | sig, |
weight_zero_t | fn | ||
) |
|
static |
Definition at line 1723 of file algos.cc.
Referenced by vcsn::dyn::weight_zero().
automaton vcsn::dyn::detail::zpc | ( | const expression & | exp, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 376 of file zpc.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::detail::make_nullableset_context().
bool vcsn::dyn::detail::zpc_register | ( | const signature & | sig, |
zpc_t | fn | ||
) |
Definition at line 1732 of file algos.cc.
Referenced by vcsn::dyn::zpc().