![]() |
Vcsn
2.2
Be Rational
|
Classes | |
class | automaton_base |
Base class for automata. More... | |
singleton | automaton_wrapper |
A wrapped typed automaton. More... | |
class | context_base |
Template-less root for contexts. More... | |
singleton | context_wrapper |
A wrapped typed context. More... | |
class | expansion_base |
An abstract expansion. More... | |
singleton | expansion_wrapper |
Aggregate an expansion and its expansionset. More... | |
class | expression_base |
An abstract expression. More... | |
singleton | expression_wrapper |
Aggregate an expression and its expressionset. More... | |
class | label_base |
An abstract label. More... | |
class | label_wrapper |
Aggregate a label and its labelset. More... | |
class | polynomial_base |
An abstract polynomial. More... | |
class | polynomial_wrapper |
Aggregate a polynomial and its polynomialset. More... | |
class | Registry |
class | weight_base |
An abstract weight. More... | |
class | weight_wrapper |
Aggregate a weight and its weightset. More... | |
Typedefs | |
template<Automaton Aut, typename Type = void> | |
using | enable_if_boolean_t = std::enable_if_t< std::is_same< weight_t_of< Aut >, bool >::value, Type > |
Enable if Aut is over Booleans. More... | |
template<Automaton Aut, typename Type = void> | |
using | enable_if_not_boolean_t = std::enable_if_t<!std::is_same< weight_t_of< Aut >, bool >::value, Type > |
Enable if Aut is not over Booleans. More... | |
using | accessible_t = auto(const automaton &aut) -> automaton |
using | ambiguous_word_t = auto(const automaton &aut) -> label |
using | are_equivalent_t = auto(const automaton &aut1, const automaton &aut2) -> bool |
using | are_equivalent_expression_t = auto(const expression &r1, const expression &r2) -> bool |
using | are_isomorphic_t = auto(const automaton &aut1, const automaton &aut2) -> bool |
using | cerny_t = auto(const context &ctx, unsigned num_states) -> automaton |
using | coaccessible_t = auto(const automaton &aut) -> automaton |
using | codeterminize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | cominimize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | complement_t = auto(const automaton &aut) -> automaton |
using | complement_expansion_t = auto(const expansion &xpn) -> expansion |
using | complement_expression_t = auto(const expression &exp) -> expression |
using | complete_t = auto(const automaton &aut) -> automaton |
using | component_t = auto(const automaton &aut, unsigned num) -> automaton |
using | compose_t = auto(automaton &lhs, automaton &rhs, bool lazy) -> automaton |
using | concatenate_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | condense_t = auto(const automaton &aut) -> automaton |
using | conjugate_t = auto(const automaton &a) -> automaton |
using | conjunction_t = auto(const std::vector< automaton > &as, bool lazy) -> automaton |
using | conjunction_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | conjunction_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | conjunction_repeated_t = auto(const automaton &aut, unsigned n) -> automaton |
using | constant_term_t = auto(const expression &exp) -> weight |
using | context_of_t = auto(const automaton &aut) -> context |
using | context_of_expansion_t = auto(const expansion &exp) -> context |
using | context_of_expression_t = auto(const expression &exp) -> context |
using | copy_t = auto(const automaton &aut) -> automaton |
using | copy_convert_t = auto(const automaton &aut, const context &ctx) -> automaton |
using | copy_expression_t = auto(const expression &exp, const context &ctx, rat::identities ids) -> expression |
using | costandard_t = auto(const automaton &aut) -> automaton |
using | cotrie_t = auto(const polynomial &poly) -> automaton |
using | cotrie_stream_t = auto(const context &ctx, std::istream &is, const std::string &format) -> automaton |
using | de_bruijn_t = auto(const dyn::context &ctx, unsigned n) -> automaton |
using | delay_automaton_t = auto(const automaton &aut) -> automaton |
using | derivation_t = auto(const expression &exp, const label &lbl, bool breaking) -> polynomial |
using | derived_term_t = auto(const expression &exp, const std::string &algo) -> automaton |
using | determinize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | difference_t = auto(const automaton &lhs, const automaton &rhs) -> automaton |
using | difference_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | divkbaseb_t = auto(const context &ctx, unsigned divisor, unsigned base) -> automaton |
using | double_ring_t = auto(const context &ctx, unsigned n, const std::vector< unsigned > &finals) -> automaton |
using | eliminate_state_t = auto(const automaton &aut, int state) -> automaton |
using | eval_t = auto(const automaton &aut, const label &lbl) -> weight |
using | expand_t = auto(const expression &exp) -> expression |
using | expression_one_t = auto(const context &ctx, rat::identities ids) -> expression |
using | expression_zero_t = auto(const context &ctx, rat::identities ids) -> expression |
using | factor_t = auto(const automaton &aut) -> automaton |
using | filter_t = auto(const automaton &aut, const std::vector< unsigned > &states) -> automaton |
using | focus_t = auto(const automaton &aut, integral_constant) -> automaton |
using | has_bounded_lag_t = auto(const automaton &aut) -> bool |
using | has_lightening_cycle_t = auto(const automaton &aut) -> bool |
using | has_twins_property_t = auto(const automaton &aut) -> bool |
using | identities_t = auto(const expression &exp) -> rat::identities |
using | infiltration_t = auto(const std::vector< automaton > &as) -> automaton |
using | infiltration_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | info_t = auto(const automaton &aut, std::ostream &out, bool detailed) -> std::ostream & |
using | info_expression_t = auto(const expression &exp, std::ostream &o) -> std::ostream & |
using | insplit_t = auto(const automaton &aut, bool lazy) -> automaton |
using | is_accessible_t = auto(const automaton &aut) -> bool |
using | is_ambiguous_t = auto(const automaton &aut) -> bool |
using | is_coaccessible_t = auto(const automaton &aut) -> bool |
using | is_codeterministic_t = auto(const automaton &aut) -> bool |
using | is_complete_t = auto(const automaton &aut) -> bool |
using | is_costandard_t = auto(const automaton &aut) -> bool |
using | is_cycle_ambiguous_t = auto(const automaton &aut) -> bool |
using | is_deterministic_t = auto(const automaton &aut) -> bool |
using | is_empty_t = auto(const automaton &aut) -> bool |
using | is_eps_acyclic_t = auto(const automaton &aut) -> bool |
using | is_functional_t = auto(const automaton &aut) -> bool |
using | is_letterized_t = auto(const automaton &aut) -> bool |
using | is_normalized_t = auto(const automaton &aut) -> bool |
using | is_out_sorted_t = auto(const automaton &aut) -> bool |
using | is_partial_identity_t = auto(const automaton &aut) -> bool |
using | is_proper_t = auto(const automaton &aut) -> bool |
using | is_realtime_t = auto(const automaton &aut) -> bool |
using | is_standard_t = auto(const automaton &aut) -> bool |
using | is_synchronized_t = auto(const automaton &aut) -> bool |
using | is_synchronized_by_t = auto(const automaton &aut, const label &word) -> bool |
using | is_synchronizing_t = auto(const automaton &aut) -> bool |
using | is_trim_t = auto(const automaton &aut) -> bool |
using | is_useless_t = auto(const automaton &aut) -> bool |
using | is_valid_t = auto(const automaton &aut) -> bool |
using | is_valid_expression_t = auto(const expression &exp) -> bool |
using | join_t = auto(const context &c1, const context &c2) -> context |
using | ladybird_t = auto(const dyn::context &ctx, unsigned n) -> automaton |
using | ldiv_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | ldiv_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | left_mult_t = auto(const weight &weight, const automaton &aut, const std::string &algo) -> automaton |
using | left_mult_expansion_t = auto(const weight &weight, const expansion &exp) -> expansion |
using | left_mult_expression_t = auto(const weight &weight, const expression &exp) -> expression |
using | less_than_expression_t = auto(const expression &lhs, const expression &rhs) -> bool |
using | letterize_t = auto(const automaton &aut) -> automaton |
using | levenshtein_t = auto(const dyn::context &ctx) -> automaton |
using | lgcd_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | lift_automaton_t = auto(const automaton &aut, vcsn::rat::identities ids, integral_constant) -> automaton |
using | lift_expression_t = auto(const expression &exp) -> expression |
using | lightest_t = auto(const automaton &aut, unsigned num, const std::string &algo) -> polynomial |
using | lightest_automaton_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | list_polynomial_t = auto(const polynomial &polynomial, std::ostream &o) -> std::ostream & |
using | make_automaton_editor_t = auto(const context &ctx) -> automaton_editor * |
using | make_context_t = auto(const std::string &name) -> context |
using | make_word_context_t = auto(const context &ctx) -> context |
using | minimize_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | multiply_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton |
using | multiply_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | multiply_expression_repeated_t = auto(const expression &re, int min, int max) -> expression |
using | multiply_label_t = auto(const label &lhs, const label &rhs) -> label |
using | multiply_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | multiply_repeated_t = auto(const automaton &a, int min, int max, const std::string &algo) -> automaton |
using | multiply_weight_t = auto(const weight &lhs, const weight &rhs) -> weight |
using | multiply_weight_repeated_t = auto(const weight &wgt, int min, int max) -> weight |
using | normalize_t = auto(const automaton &aut) -> automaton |
using | num_components_t = auto(const automaton &aut) -> std::size_t |
using | num_tapes_t = auto(const context &ctx) -> size_t |
using | pair_t = auto(const automaton &aut, bool keep_initials) -> automaton |
using | partial_identity_t = auto(const automaton &aut) -> automaton |
using | prefix_t = auto(const automaton &aut) -> automaton |
using | print_t = auto(const automaton &aut, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_context_t = auto(const context &ctx, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_expansion_t = auto(const expansion &expansion, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_expression_t = auto(const expression &exp, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_label_t = auto(const label &label, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_polynomial_t = auto(const polynomial &polynomial, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | print_weight_t = auto(const weight &weight, std::ostream &o, const std::string &fmt) -> std::ostream & |
using | project_t = auto(const automaton &aut, integral_constant) -> automaton |
using | project_context_t = auto(const context &ctx, integral_constant) -> context |
using | project_label_t = auto(const label &lbl, integral_constant) -> label |
using | project_polynomial_t = auto(const polynomial &poly, integral_constant) -> polynomial |
using | proper_t = auto(const automaton &aut, direction dir, bool prune, const std::string &algo) -> automaton |
using | push_weights_t = auto(const automaton &aut) -> automaton |
using | random_automaton_t = auto(const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, float loop_chance) -> automaton |
using | random_automaton_deterministic_t = auto(const context &ctx, unsigned num_states) -> automaton |
using | rdiv_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | read_label_t = auto(const context &ctx, std::istream &is, bool quoted) -> label |
using | read_polynomial_t = auto(const context &ctx, std::istream &is) -> polynomial |
using | read_weight_t = auto(const context &ctx, std::istream &is) -> weight |
using | realtime_t = auto(const automaton &aut) -> automaton |
using | reduce_t = auto(const automaton &aut) -> automaton |
using | right_mult_t = auto(const automaton &aut, const weight &weight, const std::string &algo) -> automaton |
using | right_mult_expansion_t = auto(const expansion &exp, const weight &weight) -> expansion |
using | right_mult_expression_t = auto(const expression &exp, const weight &weight) -> expression |
using | scc_t = auto(const automaton &aut, const std::string &algo) -> automaton |
using | shortest_t = auto(const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len) -> polynomial |
using | shuffle_t = auto(const std::vector< automaton > &as) -> automaton |
using | shuffle_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | sort_t = auto(const automaton &aut) -> automaton |
using | split_t = auto(const expression &exp) -> polynomial |
using | split_polynomial_t = auto(const polynomial &poly) -> polynomial |
using | standard_t = auto(const automaton &aut) -> automaton |
using | standard_expression_t = auto(const expression &exp) -> automaton |
using | star_t = auto(const automaton &a, const std::string &algo) -> automaton |
using | star_height_t = auto(const expression &exp) -> unsigned |
using | star_normal_form_t = auto(const expression &exp) -> expression |
using | strip_t = auto(const automaton &aut) -> automaton |
using | subword_t = auto(const automaton &aut) -> automaton |
using | suffix_t = auto(const automaton &aut) -> automaton |
using | sum_t = auto(const automaton &lhs, const automaton &rhs, const std::string &algo) -> automaton |
using | sum_expansion_t = auto(const expansion &lhs, const expansion &rhs) -> expansion |
using | sum_expression_t = auto(const expression &lhs, const expression &rhs) -> expression |
using | sum_polynomial_t = auto(const polynomial &lhs, const polynomial &rhs) -> polynomial |
using | sum_weight_t = auto(const weight &lhs, const weight &rhs) -> weight |
using | synchronize_t = auto(const automaton &aut) -> automaton |
using | synchronizing_word_t = auto(const automaton &aut, const std::string &algo) -> label |
using | thompson_t = auto(const expression &exp) -> automaton |
using | to_expansion_t = auto(const expression &exp) -> expansion |
using | to_expression_t = auto(const automaton &aut, vcsn::rat::identities ids, const std::string &algo) -> expression |
using | to_expression_class_t = auto(const context &ctx, rat::identities ids, const letter_class_t &letters, bool accept) -> expression |
using | to_expression_label_t = auto(const context &ctx, rat::identities ids, const label &lbl) -> expression |
using | transpose_t = auto(automaton &aut) -> automaton |
using | transpose_expression_t = auto(const expression &exp) -> expression |
using | transposition_expression_t = auto(const expression &exp) -> expression |
using | trie_t = auto(const polynomial &poly) -> automaton |
using | trie_stream_t = auto(const context &ctx, std::istream &is, const std::string &format) -> automaton |
using | trim_t = auto(const automaton &aut) -> automaton |
using | tuple_expansion_t = auto(const std::vector< expansion > &es) -> expansion |
using | tuple_expression_t = auto(const std::vector< expression > &es) -> expression |
using | u_t = auto(const context &ctx, unsigned n) -> automaton |
using | universal_t = auto(const automaton &aut) -> automaton |
using | weight_series_t = auto(const automaton &aut) -> weight |
using | zpc_t = auto(const expression &exp, const std::string &algo) -> automaton |
Functions | |
template<Automaton Aut> | |
automaton | accessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | coaccessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | trim (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_accessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_coaccessible (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_trim (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_useless (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_empty (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut1, Automaton Aut2> | |
bool | are_equivalent (const automaton &aut1, const automaton &aut2) |
Bridge. More... | |
template<typename ExpSet1 , typename ExpSet2 > | |
bool | are_equivalent_expression (const expression &r1, const expression &r2) |
Bridge (are_equivalent). More... | |
template<Automaton Lhs, Automaton Rhs> | |
automaton | difference (const automaton &lhs, const automaton &rhs) |
Bridge. More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | difference_expression (const expression &lhs, const expression &rhs) |
Bridge (difference). More... | |
template<Automaton Aut1, Automaton Aut2> | |
bool | are_isomorphic (const automaton &aut1, const automaton &aut2) |
Bridge. More... | |
template<typename Ctx , typename > | |
automaton | cerny (const context &ctx, unsigned num_states) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | complement (const automaton &aut) |
Bridge. More... | |
template<typename ExpansionSet > | |
expansion | complement_expansion (const expansion &xpn) |
Bridge (complement). More... | |
template<typename ExpSet > | |
expression | complement_expression (const expression &exp) |
Bridge (complement). More... | |
template<Automaton Aut> | |
automaton | complete (const automaton &aut) |
Bridge. More... | |
template<Automaton Lhs, Automaton Rhs, typename Bool > | |
automaton | compose (automaton &lhs, automaton &rhs, bool lazy) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | conjugate (const automaton &a) |
Bridge. More... | |
template<std::size_t I, Automaton Aut> | |
auto | do_insplit (Aut &aut) -> std::enable_if_t< labelset_t_of< Aut >::has_one()&&I!=0 |
template<std::size_t I, Automaton Aut> | |
autodecltype(insplit(aut)) std::enable_if_t <!labelset_t_of< Aut > ::has_one()||I==0, Aut & > | do_insplit (Aut &aut) |
template<typename Auts , size_t... I> | |
automaton | conjunction_ (const std::vector< automaton > &as, bool lazy, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename Auts , typename Bool > | |
automaton | conjunction (const std::vector< automaton > &as, bool lazy) |
Bridge (conjunction). More... | |
template<typename Auts , size_t... I> | |
automaton | shuffle_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>) |
Variadic bridge helper. More... | |
template<typename Auts > | |
automaton | shuffle (const std::vector< automaton > &as) |
Bridge (shuffle). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | shuffle_expression (const expression &lhs, const expression &rhs) |
Bridge (shuffle). More... | |
template<typename Auts , size_t... I> | |
automaton | infiltration_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>) |
Variadic bridge helper. More... | |
template<typename Auts > | |
automaton | infiltration (const std::vector< automaton > &as) |
Bridge (infiltration). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | infiltration_expression (const expression &lhs, const expression &rhs) |
Bridge (infiltration). More... | |
template<Automaton Aut, typename Unsigned > | |
automaton | conjunction_repeated (const automaton &aut, unsigned n) |
Bridge (conjunction). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | conjunction_expression (const expression &lhs, const expression &rhs) |
Bridge (conjunction). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | conjunction_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (conjunction). More... | |
template<typename ExpSet > | |
weight | constant_term (const expression &exp) |
Bridge. More... | |
template<typename Context , typename Identities > | |
expression | expression_one (const context &ctx, rat::identities ids) |
Bridge. More... | |
template<typename Context , typename Identities > | |
expression | expression_zero (const context &ctx, rat::identities ids) |
Bridge. More... | |
template<Automaton Aut, typename Ctx > | |
automaton | copy_convert (const automaton &aut, const context &ctx) |
Bridge (copy). More... | |
template<Automaton Aut> | |
automaton | copy (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet , typename Context , typename Identities > | |
expression | copy_expression (const expression &exp, const context &ctx, rat::identities ids) |
Bridge (copy). More... | |
template<typename Ctx , typename Unsigned > | |
automaton | de_bruijn (const dyn::context &ctx, unsigned n) |
Bridge. More... | |
template<typename ExpSet , typename Label , typename Bool > | |
polynomial | derivation (const expression &exp, const label &lbl, bool breaking) |
Bridge. More... | |
template<typename ExpSet , typename String > | |
automaton | derived_term (const expression &exp, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag , bool Lazy = false> | |
automaton | determinize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
enable_if_boolean_t< Aut, automaton > | determinize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<Automaton Aut, typename String > | |
enable_if_not_boolean_t< Aut, automaton > | determinize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | determinize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag > | |
automaton | codeterminize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
enable_if_boolean_t< Aut, automaton > | codeterminize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<Automaton Aut, typename String > | |
enable_if_not_boolean_t< Aut, automaton > | codeterminize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | codeterminize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename ExpressionSetLhs , typename ExpressionSetRhs > | |
expression | ldiv_expression (const expression &lhs, const expression &rhs) |
Bridge (ldiv). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | ldiv_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (ldiv). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | lgcd_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (lgcd). More... | |
template<typename ExpressionSetLhs , typename ExpressionSetRhs > | |
expression | rdiv_expression (const expression &lhs, const expression &rhs) |
Bridge (rdiv). More... | |
template<typename Ctx , typename Unsigned1 , typename Unsigned2 > | |
automaton | divkbaseb (const context &ctx, unsigned divisor, unsigned base) |
Bridge. More... | |
template<typename Ctx , typename , typename > | |
automaton | double_ring (const context &ctx, unsigned n, const std::vector< unsigned > &finals) |
Bridge. More... | |
template<typename Ctx > | |
automaton_editor * | make_automaton_editor (const context &ctx) |
Bridge. More... | |
template<Automaton Aut, typename LabelSet > | |
weight | eval (const automaton &aut, const label &lbl) |
Bridge. More... | |
template<typename ExpSet > | |
expression | expand (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename Unsigneds > | |
automaton | filter (const automaton &aut, const std::vector< unsigned > &states) |
Bridge. More... | |
template<Automaton Aut, typename Tape > | |
automaton | focus (const automaton &aut, integral_constant) |
Bridge. More... | |
template<Automaton Aut> | |
bool | has_bounded_lag (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | has_lightening_cycle (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | has_twins_property (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
rat::identities | identities (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename Ostream , typename Bool > | |
std::ostream & | info (const automaton &aut, std::ostream &out, bool detailed) |
Bridge. More... | |
template<typename ExpSet , typename Ostream > | |
std::ostream & | info_expression (const expression &exp, std::ostream &o) |
Bridge (info). More... | |
template<Automaton Aut, typename Bool > | |
automaton | insplit (const automaton &aut, bool lazy) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_ambiguous (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
label | ambiguous_word (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_cycle_ambiguous (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_complete (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_deterministic (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_codeterministic (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_eps_acyclic (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_functional (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_partial_identity (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_proper (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_synchronized (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | delay_automaton (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
bool | is_valid_expression (const expression &exp) |
Bridge (is_valid). More... | |
template<Automaton Aut> | |
bool | is_valid (const automaton &aut) |
Bridge. More... | |
template<typename Ctx , typename Unsigned > | |
automaton | ladybird (const dyn::context &ctx, unsigned n) |
Bridge. More... | |
template<Automaton Aut, typename Tag > | |
automaton | left_mult_tag (const weight_t_of< Aut > &w, Aut &aut) |
Left-product. More... | |
template<typename WeightSet , Automaton Aut, typename String > | |
automaton | left_mult (const weight &weight, const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename WeightSet , typename ExpansionSet > | |
expansion | left_mult_expansion (const weight &weight, const expansion &exp) |
Bridge (left_mult). More... | |
template<typename WeightSet , typename ExpSet > | |
expression | left_mult_expression (const weight &weight, const expression &exp) |
Bridge (left_mult). More... | |
template<Automaton Aut, typename Tag > | |
automaton | right_mult_tag (Aut &aut, const weight_t_of< Aut > &w) |
Right-product. More... | |
template<Automaton Aut, typename WeightSet , typename String > | |
automaton | right_mult (const automaton &aut, const weight &weight, const std::string &algo) |
Bridge. More... | |
template<typename ExpansionSet , typename WeightSet > | |
expansion | right_mult_expansion (const expansion &exp, const weight &weight) |
Bridge (right_mult). More... | |
template<typename ExpSet , typename WeightSet > | |
expression | right_mult_expression (const expression &exp, const weight &weight) |
Bridge (right_mult). More... | |
template<typename ExpSet1 , typename ExpSet2 > | |
bool | less_than_expression (const expression &lhs, const expression &rhs) |
Bridge (less_than). More... | |
template<Automaton Aut> | |
automaton | letterize (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_letterized (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | realtime (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_realtime (const automaton &aut) |
Bridge. More... | |
template<typename Context > | |
automaton | levenshtein (const dyn::context &ctx) |
Bridge. More... | |
template<Automaton Aut, typename Ids , typename... Tapes> | |
automaton | lift_automaton (const automaton &aut, vcsn::rat::identities ids, integral_constant) |
Bridge. More... | |
template<typename ExpSet > | |
expression | lift_expression (const expression &exp) |
Bridge (lift). More... | |
template<Automaton Aut, typename String > | |
automaton | lightest_automaton (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Num , typename String > | |
polynomial | lightest (const automaton &aut, unsigned num, const std::string &algo) |
Bridge. More... | |
template<typename Ctx > | |
context | make_context (const std::string &name) |
Bridge. More... | |
template<Automaton Aut> | |
context | context_of (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
context | context_of_expression (const expression &exp) |
Bridge (context_of). More... | |
template<typename ExpansionSet > | |
context | context_of_expansion (const expansion &exp) |
Bridge (context_of). More... | |
template<typename Ctx1 , typename Ctx2 > | |
context | join (const context &c1, const context &c2) |
Bridge. More... | |
template<typename Ctx > | |
context | make_word_context (const context &ctx) |
Bridge. More... | |
template<typename Ctx > | |
size_t | num_tapes (const context &ctx) |
Bridge. More... | |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut >), Aut > | minimize (const Aut &, brzozowski_tag) |
Handling of errors for dyn::minimize. More... | |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut > ), quotient_t< Aut > > | minimize (const Aut &, hopcroft_tag) |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut > ), quotient_t< Aut > > | minimize (const Aut &, moore_tag) |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t<!std::is_same < weightset_t_of< Aut >, b > ::value, quotient_t< Aut > > | minimize (const Aut &, signature_tag) |
template<Automaton Aut, typename Tag > | |
automaton | minimize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
automaton | minimize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Tag > | |
automaton | cominimize_tag_ (const Aut &aut) |
template<Automaton Aut, typename String > | |
automaton | cominimize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Lhs, Automaton Rhs, typename String > | |
automaton | multiply (const automaton &lhs, const automaton &rhs, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut, typename Int1 , typename Int2 , typename String > | |
automaton | multiply_repeated (const automaton &a, int min, int max, const std::string &algo) |
Bridge (multiply). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | multiply_expression (const expression &lhs, const expression &rhs) |
Bridge (multiply). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | concatenate_expression (const expression &lhs, const expression &rhs) |
Bridge (concatenate). More... | |
template<typename ExpSet , typename Int1 , typename Int2 > | |
expression | multiply_expression_repeated (const expression &re, int min, int max) |
Bridge (multiply). More... | |
template<typename LabelSetLhs , typename LabelSetRhs > | |
label | multiply_label (const label &lhs, const label &rhs) |
Bridge (multiply). More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | multiply_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (multiply). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | multiply_weight (const weight &lhs, const weight &rhs) |
Bridge (multiply). More... | |
template<typename WeightSet , typename Int1 , typename Int2 > | |
weight | multiply_weight_repeated (const weight &wgt, int min, int max) |
Bridge (multiply). More... | |
template<Automaton Aut> | |
bool | is_normalized (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | normalize (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename > | |
automaton | pair (const automaton &aut, bool keep_initials) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | partial_identity (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | suffix (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | prefix (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | factor (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | subword (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Ostream , typename String > | |
std::ostream & | print (const automaton &aut, std::ostream &o, const std::string &fmt) |
Bridge. More... | |
template<typename Context , typename Ostream , typename String > | |
std::ostream & | print_context (const context &ctx, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename ExpansionSet , typename Ostream , typename String > | |
std::ostream & | print_expansion (const expansion &expansion, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename LabelSet , typename Ostream , typename String > | |
std::ostream & | print_label (const label &label, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename PolynomialSet , typename Ostream > | |
std::ostream & | list_polynomial (const polynomial &polynomial, std::ostream &o) |
Bridge (list). More... | |
template<typename PolynomialSet , typename Ostream , typename String > | |
std::ostream & | print_polynomial (const polynomial &polynomial, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename ExpSet , typename Ostream , typename String > | |
std::ostream & | print_expression (const expression &exp, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<typename WeightSet , typename Ostream , typename String > | |
std::ostream & | print_weight (const weight &weight, std::ostream &o, const std::string &fmt) |
Bridge (print). More... | |
template<Automaton Aut, typename Tape > | |
automaton | project (const automaton &aut, integral_constant) |
Bridge. More... | |
template<typename Context , typename Tape > | |
context | project_context (const context &ctx, integral_constant) |
Bridge (project). More... | |
template<typename PolynomialSet , typename Tape > | |
polynomial | project_polynomial (const polynomial &poly, integral_constant) |
Bridge (project). More... | |
template<typename Label , typename Tape > | |
label | project_label (const label &lbl, integral_constant) |
Bridge (project). More... | |
template<Automaton Aut, typename Dir , typename Bool , typename String > | |
automaton | proper (const automaton &aut, direction dir, bool prune, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | push_weights (const automaton &aut) |
Bridge. More... | |
template<typename Ctx , typename , typename , typename , typename , typename > | |
automaton | random_automaton (const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, float loop_chance) |
Bridge. More... | |
template<typename Ctx , typename > | |
automaton | random_automaton_deterministic (const context &ctx, unsigned num_states) |
Bridge. More... | |
template<typename Context , typename Istream , typename Bool > | |
label | read_label (const context &ctx, std::istream &is, bool quoted) |
Bridge. More... | |
template<typename Context , typename Istream > | |
polynomial | read_polynomial (const context &ctx, std::istream &is) |
Bridge. More... | |
template<typename Context , typename Istream > | |
weight | read_weight (const context &ctx, std::istream &is) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | reduce (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | scc (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut> | |
std::size_t | num_components (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Unsigned > | |
automaton | component (const automaton &aut, unsigned num) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | condense (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename Num , typename Len > | |
polynomial | shortest (const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_out_sorted (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | sort (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
polynomial | split (const expression &exp) |
Bridge. More... | |
template<typename PolynomialSet > | |
polynomial | split_polynomial (const polynomial &poly) |
Bridge (split). More... | |
template<Automaton Aut> | |
bool | is_standard (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_costandard (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | standard (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | costandard (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
automaton | standard_expression (const expression &exp) |
Bridge (standard). More... | |
template<typename ExpSet > | |
unsigned | star_height (const expression &exp) |
Bridge. More... | |
template<typename ExpSet > | |
expression | star_normal_form (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename String > | |
automaton | star (const automaton &a, const std::string &algo) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | strip (const automaton &aut) |
Bridge. More... | |
template<Automaton Lhs, Automaton Rhs, typename String > | |
automaton | sum (const automaton &lhs, const automaton &rhs, const std::string &algo) |
Bridge. More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | sum_polynomial (const polynomial &lhs, const polynomial &rhs) |
Bridge (sum). More... | |
template<typename ExpansionSetLhs , typename ExpansionSetRhs > | |
expansion | sum_expansion (const expansion &lhs, const expansion &rhs) |
Bridge (sum). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | sum_expression (const expression &lhs, const expression &rhs) |
Bridge (sum). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | sum_weight (const weight &lhs, const weight &rhs) |
Bridge (sum). More... | |
template<Automaton Aut> | |
automaton | synchronize (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename LabelSet > | |
bool | is_synchronized_by (const automaton &aut, const label &word) |
Bridge. More... | |
template<Automaton Aut> | |
bool | is_synchronizing (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut, typename String > | |
label | synchronizing_word (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename ExpSet > | |
automaton | thompson (const expression &exp) |
Bridge. More... | |
template<typename ExpSet > | |
expansion | to_expansion (const expression &exp) |
Bridge. More... | |
template<Automaton Aut, typename Int > | |
automaton | eliminate_state (const automaton &aut, int state) |
Bridge. More... | |
template<Automaton Aut, typename Identities , typename String > | |
expression | to_expression (const automaton &aut, vcsn::rat::identities ids, const std::string &algo) |
Bridge. More... | |
template<typename Context , typename Identities , typename Label > | |
expression | to_expression_label (const context &ctx, rat::identities ids, const label &lbl) |
Bridge (to_expression). More... | |
template<typename Context , typename Identities , typename Letters , typename Bool > | |
expression | to_expression_class (const context &ctx, rat::identities ids, const letter_class_t &letters, bool accept) |
Bridge (to_expression). More... | |
template<Automaton Aut> | |
automaton | transpose (automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
expression | transpose_expression (const expression &exp) |
Bridge (transpose). More... | |
template<typename ExpSet > | |
expression | transposition_expression (const expression &exp) |
Bridge (transposition). More... | |
template<typename PolynomialSet > | |
automaton | trie (const polynomial &poly) |
Bridge. More... | |
template<typename PolynomialSet > | |
automaton | cotrie (const polynomial &poly) |
Bridge. More... | |
template<typename Context , typename Istream , typename String > | |
automaton | trie_stream (const context &ctx, std::istream &is, const std::string &format) |
Bridge (trie). More... | |
template<typename Context , typename Istream , typename String > | |
automaton | cotrie_stream (const context &ctx, std::istream &is, const std::string &format) |
Bridge (cotrie). More... | |
template<typename ExpansionSets , size_t... I> | |
expansion | tuple_ (const std::vector< expansion > &es, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename ExpansionSets > | |
expansion | tuple_expansion (const std::vector< expansion > &es) |
Bridge (tuple). More... | |
template<typename ExpSets , size_t... I> | |
expression | tuple_ (const std::vector< expression > &es, vcsn::detail::index_sequence< I...>) |
Bridge helper. More... | |
template<typename ExpSets > | |
expression | tuple_expression (const std::vector< expression > &es) |
Bridge (tuple). More... | |
template<typename Ctx , typename Unsigned > | |
automaton | u (const context &ctx, unsigned n) |
Bridge. More... | |
template<Automaton Aut> | |
automaton | universal (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
weight | weight_series (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet , typename String > | |
automaton | zpc (const expression &exp, const std::string &algo) |
Bridge. More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
auto | join (const expression &lhs, const expression &rhs) |
Return the join of the expressionset of two expressions and their values in this new expressionset. More... | |
template<typename To , typename From > | |
To | dyn_cast (From &&from) |
A dynamic_cast in debug mode, static_cast with NDEBUG. More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
auto | join (const polynomial &lhs, const polynomial &rhs) |
Return the join of the polynomialset of two polynomials and their values in this new polynomialset. More... | |
bool | accessible_register (const signature &sig, accessible_t fn) |
bool | ambiguous_word_register (const signature &sig, ambiguous_word_t fn) |
bool | are_equivalent_register (const signature &sig, are_equivalent_t fn) |
bool | are_equivalent_expression_register (const signature &sig, are_equivalent_expression_t fn) |
bool | are_isomorphic_register (const signature &sig, are_isomorphic_t fn) |
bool | cerny_register (const signature &sig, cerny_t fn) |
bool | coaccessible_register (const signature &sig, coaccessible_t fn) |
bool | codeterminize_register (const signature &sig, codeterminize_t fn) |
bool | cominimize_register (const signature &sig, cominimize_t fn) |
bool | complement_register (const signature &sig, complement_t fn) |
bool | complement_expansion_register (const signature &sig, complement_expansion_t fn) |
bool | complement_expression_register (const signature &sig, complement_expression_t fn) |
bool | complete_register (const signature &sig, complete_t fn) |
bool | component_register (const signature &sig, component_t fn) |
bool | compose_register (const signature &sig, compose_t fn) |
bool | concatenate_expression_register (const signature &sig, concatenate_expression_t fn) |
bool | condense_register (const signature &sig, condense_t fn) |
bool | conjugate_register (const signature &sig, conjugate_t fn) |
bool | conjunction_register (const signature &sig, conjunction_t fn) |
bool | conjunction_expression_register (const signature &sig, conjunction_expression_t fn) |
bool | conjunction_polynomial_register (const signature &sig, conjunction_polynomial_t fn) |
bool | conjunction_repeated_register (const signature &sig, conjunction_repeated_t fn) |
bool | constant_term_register (const signature &sig, constant_term_t fn) |
bool | context_of_register (const signature &sig, context_of_t fn) |
bool | context_of_expansion_register (const signature &sig, context_of_expansion_t fn) |
bool | context_of_expression_register (const signature &sig, context_of_expression_t fn) |
bool | copy_register (const signature &sig, copy_t fn) |
bool | copy_convert_register (const signature &sig, copy_convert_t fn) |
bool | copy_expression_register (const signature &sig, copy_expression_t fn) |
bool | costandard_register (const signature &sig, costandard_t fn) |
bool | cotrie_register (const signature &sig, cotrie_t fn) |
bool | cotrie_stream_register (const signature &sig, cotrie_stream_t fn) |
bool | de_bruijn_register (const signature &sig, de_bruijn_t fn) |
bool | delay_automaton_register (const signature &sig, delay_automaton_t fn) |
bool | derivation_register (const signature &sig, derivation_t fn) |
bool | derived_term_register (const signature &sig, derived_term_t fn) |
bool | determinize_register (const signature &sig, determinize_t fn) |
bool | difference_register (const signature &sig, difference_t fn) |
bool | difference_expression_register (const signature &sig, difference_expression_t fn) |
bool | divkbaseb_register (const signature &sig, divkbaseb_t fn) |
bool | double_ring_register (const signature &sig, double_ring_t fn) |
bool | eliminate_state_register (const signature &sig, eliminate_state_t fn) |
bool | eval_register (const signature &sig, eval_t fn) |
bool | expand_register (const signature &sig, expand_t fn) |
bool | expression_one_register (const signature &sig, expression_one_t fn) |
bool | expression_zero_register (const signature &sig, expression_zero_t fn) |
bool | factor_register (const signature &sig, factor_t fn) |
bool | filter_register (const signature &sig, filter_t fn) |
bool | focus_register (const signature &sig, focus_t fn) |
bool | has_bounded_lag_register (const signature &sig, has_bounded_lag_t fn) |
bool | has_lightening_cycle_register (const signature &sig, has_lightening_cycle_t fn) |
bool | has_twins_property_register (const signature &sig, has_twins_property_t fn) |
bool | identities_register (const signature &sig, identities_t fn) |
bool | infiltration_register (const signature &sig, infiltration_t fn) |
bool | infiltration_expression_register (const signature &sig, infiltration_expression_t fn) |
bool | info_register (const signature &sig, info_t fn) |
bool | info_expression_register (const signature &sig, info_expression_t fn) |
bool | insplit_register (const signature &sig, insplit_t fn) |
bool | is_accessible_register (const signature &sig, is_accessible_t fn) |
bool | is_ambiguous_register (const signature &sig, is_ambiguous_t fn) |
bool | is_coaccessible_register (const signature &sig, is_coaccessible_t fn) |
bool | is_codeterministic_register (const signature &sig, is_codeterministic_t fn) |
bool | is_complete_register (const signature &sig, is_complete_t fn) |
bool | is_costandard_register (const signature &sig, is_costandard_t fn) |
bool | is_cycle_ambiguous_register (const signature &sig, is_cycle_ambiguous_t fn) |
bool | is_deterministic_register (const signature &sig, is_deterministic_t fn) |
bool | is_empty_register (const signature &sig, is_empty_t fn) |
bool | is_eps_acyclic_register (const signature &sig, is_eps_acyclic_t fn) |
bool | is_functional_register (const signature &sig, is_functional_t fn) |
bool | is_letterized_register (const signature &sig, is_letterized_t fn) |
bool | is_normalized_register (const signature &sig, is_normalized_t fn) |
bool | is_out_sorted_register (const signature &sig, is_out_sorted_t fn) |
bool | is_partial_identity_register (const signature &sig, is_partial_identity_t fn) |
bool | is_proper_register (const signature &sig, is_proper_t fn) |
bool | is_realtime_register (const signature &sig, is_realtime_t fn) |
bool | is_standard_register (const signature &sig, is_standard_t fn) |
bool | is_synchronized_register (const signature &sig, is_synchronized_t fn) |
bool | is_synchronized_by_register (const signature &sig, is_synchronized_by_t fn) |
bool | is_synchronizing_register (const signature &sig, is_synchronizing_t fn) |
bool | is_trim_register (const signature &sig, is_trim_t fn) |
bool | is_useless_register (const signature &sig, is_useless_t fn) |
bool | is_valid_register (const signature &sig, is_valid_t fn) |
bool | is_valid_expression_register (const signature &sig, is_valid_expression_t fn) |
bool | join_register (const signature &sig, join_t fn) |
bool | ladybird_register (const signature &sig, ladybird_t fn) |
bool | ldiv_expression_register (const signature &sig, ldiv_expression_t fn) |
bool | ldiv_polynomial_register (const signature &sig, ldiv_polynomial_t fn) |
bool | left_mult_register (const signature &sig, left_mult_t fn) |
bool | left_mult_expansion_register (const signature &sig, left_mult_expansion_t fn) |
bool | left_mult_expression_register (const signature &sig, left_mult_expression_t fn) |
bool | less_than_expression_register (const signature &sig, less_than_expression_t fn) |
bool | letterize_register (const signature &sig, letterize_t fn) |
bool | levenshtein_register (const signature &sig, levenshtein_t fn) |
bool | lgcd_polynomial_register (const signature &sig, lgcd_polynomial_t fn) |
bool | lift_automaton_register (const signature &sig, lift_automaton_t fn) |
bool | lift_expression_register (const signature &sig, lift_expression_t fn) |
bool | lightest_register (const signature &sig, lightest_t fn) |
bool | lightest_automaton_register (const signature &sig, lightest_automaton_t fn) |
bool | list_polynomial_register (const signature &sig, list_polynomial_t fn) |
bool | make_automaton_editor_register (const signature &sig, make_automaton_editor_t fn) |
bool | make_context_register (const signature &sig, make_context_t fn) |
bool | make_word_context_register (const signature &sig, make_word_context_t fn) |
bool | minimize_register (const signature &sig, minimize_t fn) |
bool | multiply_register (const signature &sig, multiply_t fn) |
bool | multiply_expression_register (const signature &sig, multiply_expression_t fn) |
bool | multiply_expression_repeated_register (const signature &sig, multiply_expression_repeated_t fn) |
bool | multiply_label_register (const signature &sig, multiply_label_t fn) |
bool | multiply_polynomial_register (const signature &sig, multiply_polynomial_t fn) |
bool | multiply_repeated_register (const signature &sig, multiply_repeated_t fn) |
bool | multiply_weight_register (const signature &sig, multiply_weight_t fn) |
bool | multiply_weight_repeated_register (const signature &sig, multiply_weight_repeated_t fn) |
bool | normalize_register (const signature &sig, normalize_t fn) |
bool | num_components_register (const signature &sig, num_components_t fn) |
bool | num_tapes_register (const signature &sig, num_tapes_t fn) |
bool | pair_register (const signature &sig, pair_t fn) |
bool | partial_identity_register (const signature &sig, partial_identity_t fn) |
bool | prefix_register (const signature &sig, prefix_t fn) |
bool | print_register (const signature &sig, print_t fn) |
bool | print_context_register (const signature &sig, print_context_t fn) |
bool | print_expansion_register (const signature &sig, print_expansion_t fn) |
bool | print_expression_register (const signature &sig, print_expression_t fn) |
bool | print_label_register (const signature &sig, print_label_t fn) |
bool | print_polynomial_register (const signature &sig, print_polynomial_t fn) |
bool | print_weight_register (const signature &sig, print_weight_t fn) |
bool | project_register (const signature &sig, project_t fn) |
bool | project_context_register (const signature &sig, project_context_t fn) |
bool | project_label_register (const signature &sig, project_label_t fn) |
bool | project_polynomial_register (const signature &sig, project_polynomial_t fn) |
bool | proper_register (const signature &sig, proper_t fn) |
bool | push_weights_register (const signature &sig, push_weights_t fn) |
bool | random_automaton_register (const signature &sig, random_automaton_t fn) |
bool | random_automaton_deterministic_register (const signature &sig, random_automaton_deterministic_t fn) |
bool | rdiv_expression_register (const signature &sig, rdiv_expression_t fn) |
bool | read_label_register (const signature &sig, read_label_t fn) |
bool | read_polynomial_register (const signature &sig, read_polynomial_t fn) |
bool | read_weight_register (const signature &sig, read_weight_t fn) |
bool | realtime_register (const signature &sig, realtime_t fn) |
bool | reduce_register (const signature &sig, reduce_t fn) |
bool | right_mult_register (const signature &sig, right_mult_t fn) |
bool | right_mult_expansion_register (const signature &sig, right_mult_expansion_t fn) |
bool | right_mult_expression_register (const signature &sig, right_mult_expression_t fn) |
bool | scc_register (const signature &sig, scc_t fn) |
bool | shortest_register (const signature &sig, shortest_t fn) |
bool | shuffle_register (const signature &sig, shuffle_t fn) |
bool | shuffle_expression_register (const signature &sig, shuffle_expression_t fn) |
bool | sort_register (const signature &sig, sort_t fn) |
bool | split_register (const signature &sig, split_t fn) |
bool | split_polynomial_register (const signature &sig, split_polynomial_t fn) |
bool | standard_register (const signature &sig, standard_t fn) |
bool | standard_expression_register (const signature &sig, standard_expression_t fn) |
bool | star_register (const signature &sig, star_t fn) |
bool | star_height_register (const signature &sig, star_height_t fn) |
bool | star_normal_form_register (const signature &sig, star_normal_form_t fn) |
bool | strip_register (const signature &sig, strip_t fn) |
bool | subword_register (const signature &sig, subword_t fn) |
bool | suffix_register (const signature &sig, suffix_t fn) |
bool | sum_register (const signature &sig, sum_t fn) |
bool | sum_expansion_register (const signature &sig, sum_expansion_t fn) |
bool | sum_expression_register (const signature &sig, sum_expression_t fn) |
bool | sum_polynomial_register (const signature &sig, sum_polynomial_t fn) |
bool | sum_weight_register (const signature &sig, sum_weight_t fn) |
bool | synchronize_register (const signature &sig, synchronize_t fn) |
bool | synchronizing_word_register (const signature &sig, synchronizing_word_t fn) |
bool | thompson_register (const signature &sig, thompson_t fn) |
bool | to_expansion_register (const signature &sig, to_expansion_t fn) |
bool | to_expression_register (const signature &sig, to_expression_t fn) |
bool | to_expression_class_register (const signature &sig, to_expression_class_t fn) |
bool | to_expression_label_register (const signature &sig, to_expression_label_t fn) |
bool | transpose_register (const signature &sig, transpose_t fn) |
bool | transpose_expression_register (const signature &sig, transpose_expression_t fn) |
bool | transposition_expression_register (const signature &sig, transposition_expression_t fn) |
bool | trie_register (const signature &sig, trie_t fn) |
bool | trie_stream_register (const signature &sig, trie_stream_t fn) |
bool | trim_register (const signature &sig, trim_t fn) |
bool | tuple_expansion_register (const signature &sig, tuple_expansion_t fn) |
bool | tuple_expression_register (const signature &sig, tuple_expression_t fn) |
bool | u_register (const signature &sig, u_t fn) |
bool | universal_register (const signature &sig, universal_t fn) |
bool | weight_series_register (const signature &sig, weight_series_t fn) |
bool | zpc_register (const signature &sig, zpc_t fn) |
static Registry< accessible_t > & | accessible_registry () |
static Registry < ambiguous_word_t > & | ambiguous_word_registry () |
static Registry < are_equivalent_t > & | are_equivalent_registry () |
static Registry < are_equivalent_expression_t > & | are_equivalent_expression_registry () |
static Registry < are_isomorphic_t > & | are_isomorphic_registry () |
static Registry< cerny_t > & | cerny_registry () |
static Registry< coaccessible_t > & | coaccessible_registry () |
static Registry < codeterminize_t > & | codeterminize_registry () |
static Registry< cominimize_t > & | cominimize_registry () |
static Registry< complement_t > & | complement_registry () |
static Registry < complement_expansion_t > & | complement_expansion_registry () |
static Registry < complement_expression_t > & | complement_expression_registry () |
static Registry< complete_t > & | complete_registry () |
static Registry< component_t > & | component_registry () |
static Registry< compose_t > & | compose_registry () |
static Registry < concatenate_expression_t > & | concatenate_expression_registry () |
static Registry< condense_t > & | condense_registry () |
static Registry< conjugate_t > & | conjugate_registry () |
static Registry< conjunction_t > & | conjunction_registry () |
static Registry < conjunction_expression_t > & | conjunction_expression_registry () |
static Registry < conjunction_polynomial_t > & | conjunction_polynomial_registry () |
static Registry < conjunction_repeated_t > & | conjunction_repeated_registry () |
static Registry < constant_term_t > & | constant_term_registry () |
static Registry< context_of_t > & | context_of_registry () |
static Registry < context_of_expansion_t > & | context_of_expansion_registry () |
static Registry < context_of_expression_t > & | context_of_expression_registry () |
static Registry< copy_t > & | copy_registry () |
static Registry< copy_convert_t > & | copy_convert_registry () |
static Registry < copy_expression_t > & | copy_expression_registry () |
static Registry< costandard_t > & | costandard_registry () |
static Registry< cotrie_t > & | cotrie_registry () |
static Registry < cotrie_stream_t > & | cotrie_stream_registry () |
static Registry< de_bruijn_t > & | de_bruijn_registry () |
static Registry < delay_automaton_t > & | delay_automaton_registry () |
static Registry< derivation_t > & | derivation_registry () |
static Registry< derived_term_t > & | derived_term_registry () |
static Registry< determinize_t > & | determinize_registry () |
static Registry< difference_t > & | difference_registry () |
static Registry < difference_expression_t > & | difference_expression_registry () |
static Registry< divkbaseb_t > & | divkbaseb_registry () |
static Registry< double_ring_t > & | double_ring_registry () |
static Registry < eliminate_state_t > & | eliminate_state_registry () |
static Registry< eval_t > & | eval_registry () |
static Registry< expand_t > & | expand_registry () |
static Registry < expression_one_t > & | expression_one_registry () |
static Registry < expression_zero_t > & | expression_zero_registry () |
static Registry< factor_t > & | factor_registry () |
static Registry< filter_t > & | filter_registry () |
static Registry < has_bounded_lag_t > & | has_bounded_lag_registry () |
static Registry < has_lightening_cycle_t > & | has_lightening_cycle_registry () |
static Registry < has_twins_property_t > & | has_twins_property_registry () |
static Registry< identities_t > & | identities_registry () |
static Registry< infiltration_t > & | infiltration_registry () |
static Registry < infiltration_expression_t > & | infiltration_expression_registry () |
static Registry< info_t > & | info_registry () |
static Registry < info_expression_t > & | info_expression_registry () |
static Registry< insplit_t > & | insplit_registry () |
static Registry < is_accessible_t > & | is_accessible_registry () |
static Registry< is_ambiguous_t > & | is_ambiguous_registry () |
static Registry < is_coaccessible_t > & | is_coaccessible_registry () |
static Registry < is_codeterministic_t > & | is_codeterministic_registry () |
static Registry< is_complete_t > & | is_complete_registry () |
static Registry < is_costandard_t > & | is_costandard_registry () |
static Registry < is_cycle_ambiguous_t > & | is_cycle_ambiguous_registry () |
static Registry < is_deterministic_t > & | is_deterministic_registry () |
static Registry< is_empty_t > & | is_empty_registry () |
static Registry < is_eps_acyclic_t > & | is_eps_acyclic_registry () |
static Registry < is_functional_t > & | is_functional_registry () |
static Registry < is_letterized_t > & | is_letterized_registry () |
static Registry < is_normalized_t > & | is_normalized_registry () |
static Registry < is_out_sorted_t > & | is_out_sorted_registry () |
static Registry < is_partial_identity_t > & | is_partial_identity_registry () |
static Registry< is_proper_t > & | is_proper_registry () |
static Registry< is_realtime_t > & | is_realtime_registry () |
static Registry< is_standard_t > & | is_standard_registry () |
static Registry < is_synchronized_t > & | is_synchronized_registry () |
static Registry < is_synchronized_by_t > & | is_synchronized_by_registry () |
static Registry < is_synchronizing_t > & | is_synchronizing_registry () |
static Registry< is_trim_t > & | is_trim_registry () |
static Registry< is_useless_t > & | is_useless_registry () |
static Registry< is_valid_t > & | is_valid_registry () |
static Registry < is_valid_expression_t > & | is_valid_expression_registry () |
static Registry< join_t > & | join_registry () |
static Registry< ladybird_t > & | ladybird_registry () |
static Registry < ldiv_expression_t > & | ldiv_expression_registry () |
static Registry < ldiv_polynomial_t > & | ldiv_polynomial_registry () |
static Registry< left_mult_t > & | left_mult_registry () |
static Registry < left_mult_expansion_t > & | left_mult_expansion_registry () |
static Registry < left_mult_expression_t > & | left_mult_expression_registry () |
static Registry < less_than_expression_t > & | less_than_expression_registry () |
static Registry< letterize_t > & | letterize_registry () |
static Registry< levenshtein_t > & | levenshtein_registry () |
static Registry < lgcd_polynomial_t > & | lgcd_polynomial_registry () |
static Registry < lift_expression_t > & | lift_expression_registry () |
static Registry< lightest_t > & | lightest_registry () |
static Registry < lightest_automaton_t > & | lightest_automaton_registry () |
static Registry < make_automaton_editor_t > & | make_automaton_editor_registry () |
static Registry < make_word_context_t > & | make_word_context_registry () |
static Registry< minimize_t > & | minimize_registry () |
static Registry< multiply_t > & | multiply_registry () |
static Registry < multiply_expression_t > & | multiply_expression_registry () |
static Registry < multiply_expression_repeated_t > & | multiply_expression_repeated_registry () |
static Registry < multiply_label_t > & | multiply_label_registry () |
static Registry < multiply_polynomial_t > & | multiply_polynomial_registry () |
static Registry < multiply_repeated_t > & | multiply_repeated_registry () |
static Registry < multiply_weight_t > & | multiply_weight_registry () |
static Registry < multiply_weight_repeated_t > & | multiply_weight_repeated_registry () |
static Registry< normalize_t > & | normalize_registry () |
static Registry < num_components_t > & | num_components_registry () |
static Registry< num_tapes_t > & | num_tapes_registry () |
static Registry< pair_t > & | pair_registry () |
static Registry < partial_identity_t > & | partial_identity_registry () |
static Registry< prefix_t > & | prefix_registry () |
static Registry< print_t > & | print_registry () |
static Registry < print_context_t > & | print_context_registry () |
static Registry< proper_t > & | proper_registry () |
static Registry< push_weights_t > & | push_weights_registry () |
static Registry < random_automaton_t > & | random_automaton_registry () |
static Registry < random_automaton_deterministic_t > & | random_automaton_deterministic_registry () |
static Registry < rdiv_expression_t > & | rdiv_expression_registry () |
static Registry < read_polynomial_t > & | read_polynomial_registry () |
static Registry< read_weight_t > & | read_weight_registry () |
static Registry< realtime_t > & | realtime_registry () |
static Registry< reduce_t > & | reduce_registry () |
static Registry< right_mult_t > & | right_mult_registry () |
static Registry < right_mult_expansion_t > & | right_mult_expansion_registry () |
static Registry < right_mult_expression_t > & | right_mult_expression_registry () |
static Registry< scc_t > & | scc_registry () |
static Registry< shortest_t > & | shortest_registry () |
static Registry< shuffle_t > & | shuffle_registry () |
static Registry < shuffle_expression_t > & | shuffle_expression_registry () |
static Registry< sort_t > & | sort_registry () |
static Registry< split_t > & | split_registry () |
static Registry < split_polynomial_t > & | split_polynomial_registry () |
static Registry< standard_t > & | standard_registry () |
static Registry < standard_expression_t > & | standard_expression_registry () |
static Registry< star_t > & | star_registry () |
static Registry< star_height_t > & | star_height_registry () |
static Registry < star_normal_form_t > & | star_normal_form_registry () |
static Registry< strip_t > & | strip_registry () |
static Registry< subword_t > & | subword_registry () |
static Registry< suffix_t > & | suffix_registry () |
static Registry< sum_t > & | sum_registry () |
static Registry < sum_expansion_t > & | sum_expansion_registry () |
static Registry < sum_expression_t > & | sum_expression_registry () |
static Registry < sum_polynomial_t > & | sum_polynomial_registry () |
static Registry< sum_weight_t > & | sum_weight_registry () |
static Registry< synchronize_t > & | synchronize_registry () |
static Registry < synchronizing_word_t > & | synchronizing_word_registry () |
static Registry< thompson_t > & | thompson_registry () |
static Registry< to_expansion_t > & | to_expansion_registry () |
static Registry < to_expression_t > & | to_expression_registry () |
static Registry < to_expression_class_t > & | to_expression_class_registry () |
static Registry < to_expression_label_t > & | to_expression_label_registry () |
static Registry< transpose_t > & | transpose_registry () |
static Registry < transpose_expression_t > & | transpose_expression_registry () |
static Registry < transposition_expression_t > & | transposition_expression_registry () |
static Registry< trie_t > & | trie_registry () |
static Registry< trie_stream_t > & | trie_stream_registry () |
static Registry< trim_t > & | trim_registry () |
static Registry < tuple_expansion_t > & | tuple_expansion_registry () |
static Registry < tuple_expression_t > & | tuple_expression_registry () |
static Registry< u_t > & | u_registry () |
static Registry< universal_t > & | universal_registry () |
static Registry < weight_series_t > & | weight_series_registry () |
static Registry< zpc_t > & | zpc_registry () |
using vcsn::dyn::detail::accessible_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 28 of file registries.hh.
using vcsn::dyn::detail::ambiguous_word_t = typedef auto (const automaton& aut) -> label |
Definition at line 32 of file registries.hh.
using vcsn::dyn::detail::are_equivalent_expression_t = typedef auto (const expression& r1, const expression& r2) -> bool |
Definition at line 40 of file registries.hh.
using vcsn::dyn::detail::are_equivalent_t = typedef auto (const automaton& aut1, const automaton& aut2) -> bool |
Definition at line 36 of file registries.hh.
using vcsn::dyn::detail::are_isomorphic_t = typedef auto (const automaton& aut1, const automaton& aut2) -> bool |
Definition at line 44 of file registries.hh.
using vcsn::dyn::detail::cerny_t = typedef auto (const context& ctx, unsigned num_states) -> automaton |
Definition at line 48 of file registries.hh.
using vcsn::dyn::detail::coaccessible_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 52 of file registries.hh.
using vcsn::dyn::detail::codeterminize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 56 of file registries.hh.
using vcsn::dyn::detail::cominimize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 60 of file registries.hh.
using vcsn::dyn::detail::complement_expansion_t = typedef auto (const expansion& xpn) -> expansion |
Definition at line 68 of file registries.hh.
using vcsn::dyn::detail::complement_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 72 of file registries.hh.
using vcsn::dyn::detail::complement_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 64 of file registries.hh.
using vcsn::dyn::detail::complete_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 76 of file registries.hh.
using vcsn::dyn::detail::component_t = typedef auto (const automaton& aut, unsigned num) -> automaton |
Definition at line 80 of file registries.hh.
using vcsn::dyn::detail::compose_t = typedef auto (automaton& lhs, automaton& rhs, bool lazy) -> automaton |
Definition at line 84 of file registries.hh.
using vcsn::dyn::detail::concatenate_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 88 of file registries.hh.
using vcsn::dyn::detail::condense_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 92 of file registries.hh.
using vcsn::dyn::detail::conjugate_t = typedef auto (const automaton& a) -> automaton |
Definition at line 96 of file registries.hh.
using vcsn::dyn::detail::conjunction_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 104 of file registries.hh.
using vcsn::dyn::detail::conjunction_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 108 of file registries.hh.
using vcsn::dyn::detail::conjunction_repeated_t = typedef auto (const automaton& aut, unsigned n) -> automaton |
Definition at line 112 of file registries.hh.
using vcsn::dyn::detail::conjunction_t = typedef auto (const std::vector<automaton>& as, bool lazy) -> automaton |
Definition at line 100 of file registries.hh.
using vcsn::dyn::detail::constant_term_t = typedef auto (const expression& exp) -> weight |
Definition at line 116 of file registries.hh.
using vcsn::dyn::detail::context_of_expansion_t = typedef auto (const expansion& exp) -> context |
Definition at line 124 of file registries.hh.
using vcsn::dyn::detail::context_of_expression_t = typedef auto (const expression& exp) -> context |
Definition at line 128 of file registries.hh.
using vcsn::dyn::detail::context_of_t = typedef auto (const automaton& aut) -> context |
Definition at line 120 of file registries.hh.
using vcsn::dyn::detail::copy_convert_t = typedef auto (const automaton& aut, const context& ctx) -> automaton |
Definition at line 136 of file registries.hh.
using vcsn::dyn::detail::copy_expression_t = typedef auto (const expression& exp, const context& ctx, rat::identities ids) -> expression |
Definition at line 140 of file registries.hh.
using vcsn::dyn::detail::copy_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 132 of file registries.hh.
using vcsn::dyn::detail::costandard_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 144 of file registries.hh.
using vcsn::dyn::detail::cotrie_stream_t = typedef auto (const context& ctx, std::istream& is, const std::string& format) -> automaton |
Definition at line 152 of file registries.hh.
using vcsn::dyn::detail::cotrie_t = typedef auto (const polynomial& poly) -> automaton |
Definition at line 148 of file registries.hh.
using vcsn::dyn::detail::de_bruijn_t = typedef auto (const dyn::context& ctx, unsigned n) -> automaton |
Definition at line 156 of file registries.hh.
using vcsn::dyn::detail::delay_automaton_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 160 of file registries.hh.
using vcsn::dyn::detail::derivation_t = typedef auto (const expression& exp, const label& lbl, bool breaking) -> polynomial |
Definition at line 164 of file registries.hh.
using vcsn::dyn::detail::derived_term_t = typedef auto (const expression& exp, const std::string& algo) -> automaton |
Definition at line 168 of file registries.hh.
using vcsn::dyn::detail::determinize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 172 of file registries.hh.
using vcsn::dyn::detail::difference_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 180 of file registries.hh.
using vcsn::dyn::detail::difference_t = typedef auto (const automaton& lhs, const automaton& rhs) -> automaton |
Definition at line 176 of file registries.hh.
using vcsn::dyn::detail::divkbaseb_t = typedef auto (const context& ctx, unsigned divisor, unsigned base) -> automaton |
Definition at line 184 of file registries.hh.
using vcsn::dyn::detail::double_ring_t = typedef auto (const context& ctx, unsigned n, const std::vector<unsigned>& finals) -> automaton |
Definition at line 188 of file registries.hh.
using vcsn::dyn::detail::eliminate_state_t = typedef auto (const automaton& aut, int state) -> automaton |
Definition at line 192 of file registries.hh.
using vcsn::dyn::detail::enable_if_boolean_t = typedef std::enable_if_t<std::is_same<weight_t_of<Aut>, bool>::value, Type> |
Enable if Aut is over Booleans.
Definition at line 290 of file determinize.hh.
using vcsn::dyn::detail::enable_if_not_boolean_t = typedef std::enable_if_t<!std::is_same<weight_t_of<Aut>, bool>::value, Type> |
Enable if Aut is not over Booleans.
Definition at line 295 of file determinize.hh.
using vcsn::dyn::detail::eval_t = typedef auto (const automaton& aut, const label& lbl) -> weight |
Definition at line 196 of file registries.hh.
using vcsn::dyn::detail::expand_t = typedef auto (const expression& exp) -> expression |
Definition at line 200 of file registries.hh.
using vcsn::dyn::detail::expression_one_t = typedef auto (const context& ctx, rat::identities ids) -> expression |
Definition at line 204 of file registries.hh.
using vcsn::dyn::detail::expression_zero_t = typedef auto (const context& ctx, rat::identities ids) -> expression |
Definition at line 208 of file registries.hh.
using vcsn::dyn::detail::factor_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 212 of file registries.hh.
using vcsn::dyn::detail::filter_t = typedef auto (const automaton& aut, const std::vector<unsigned>& states) -> automaton |
Definition at line 216 of file registries.hh.
using vcsn::dyn::detail::focus_t = typedef auto (const automaton& aut, integral_constant) -> automaton |
Definition at line 220 of file registries.hh.
using vcsn::dyn::detail::has_bounded_lag_t = typedef auto (const automaton& aut) -> bool |
Definition at line 224 of file registries.hh.
using vcsn::dyn::detail::has_lightening_cycle_t = typedef auto (const automaton& aut) -> bool |
Definition at line 228 of file registries.hh.
using vcsn::dyn::detail::has_twins_property_t = typedef auto (const automaton& aut) -> bool |
Definition at line 232 of file registries.hh.
using vcsn::dyn::detail::identities_t = typedef auto (const expression& exp) -> rat::identities |
Definition at line 236 of file registries.hh.
using vcsn::dyn::detail::infiltration_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 244 of file registries.hh.
using vcsn::dyn::detail::infiltration_t = typedef auto (const std::vector<automaton>& as) -> automaton |
Definition at line 240 of file registries.hh.
using vcsn::dyn::detail::info_expression_t = typedef auto (const expression& exp, std::ostream& o) -> std::ostream& |
Definition at line 252 of file registries.hh.
using vcsn::dyn::detail::info_t = typedef auto (const automaton& aut, std::ostream& out, bool detailed) -> std::ostream& |
Definition at line 248 of file registries.hh.
using vcsn::dyn::detail::insplit_t = typedef auto (const automaton& aut, bool lazy) -> automaton |
Definition at line 256 of file registries.hh.
using vcsn::dyn::detail::is_accessible_t = typedef auto (const automaton& aut) -> bool |
Definition at line 260 of file registries.hh.
using vcsn::dyn::detail::is_ambiguous_t = typedef auto (const automaton& aut) -> bool |
Definition at line 264 of file registries.hh.
using vcsn::dyn::detail::is_coaccessible_t = typedef auto (const automaton& aut) -> bool |
Definition at line 268 of file registries.hh.
using vcsn::dyn::detail::is_codeterministic_t = typedef auto (const automaton& aut) -> bool |
Definition at line 272 of file registries.hh.
using vcsn::dyn::detail::is_complete_t = typedef auto (const automaton& aut) -> bool |
Definition at line 276 of file registries.hh.
using vcsn::dyn::detail::is_costandard_t = typedef auto (const automaton& aut) -> bool |
Definition at line 280 of file registries.hh.
using vcsn::dyn::detail::is_cycle_ambiguous_t = typedef auto (const automaton& aut) -> bool |
Definition at line 284 of file registries.hh.
using vcsn::dyn::detail::is_deterministic_t = typedef auto (const automaton& aut) -> bool |
Definition at line 288 of file registries.hh.
using vcsn::dyn::detail::is_empty_t = typedef auto (const automaton& aut) -> bool |
Definition at line 292 of file registries.hh.
using vcsn::dyn::detail::is_eps_acyclic_t = typedef auto (const automaton& aut) -> bool |
Definition at line 296 of file registries.hh.
using vcsn::dyn::detail::is_functional_t = typedef auto (const automaton& aut) -> bool |
Definition at line 300 of file registries.hh.
using vcsn::dyn::detail::is_letterized_t = typedef auto (const automaton& aut) -> bool |
Definition at line 304 of file registries.hh.
using vcsn::dyn::detail::is_normalized_t = typedef auto (const automaton& aut) -> bool |
Definition at line 308 of file registries.hh.
using vcsn::dyn::detail::is_out_sorted_t = typedef auto (const automaton& aut) -> bool |
Definition at line 312 of file registries.hh.
using vcsn::dyn::detail::is_partial_identity_t = typedef auto (const automaton& aut) -> bool |
Definition at line 316 of file registries.hh.
using vcsn::dyn::detail::is_proper_t = typedef auto (const automaton& aut) -> bool |
Definition at line 320 of file registries.hh.
using vcsn::dyn::detail::is_realtime_t = typedef auto (const automaton& aut) -> bool |
Definition at line 324 of file registries.hh.
using vcsn::dyn::detail::is_standard_t = typedef auto (const automaton& aut) -> bool |
Definition at line 328 of file registries.hh.
using vcsn::dyn::detail::is_synchronized_by_t = typedef auto (const automaton& aut, const label& word) -> bool |
Definition at line 336 of file registries.hh.
using vcsn::dyn::detail::is_synchronized_t = typedef auto (const automaton& aut) -> bool |
Definition at line 332 of file registries.hh.
using vcsn::dyn::detail::is_synchronizing_t = typedef auto (const automaton& aut) -> bool |
Definition at line 340 of file registries.hh.
using vcsn::dyn::detail::is_trim_t = typedef auto (const automaton& aut) -> bool |
Definition at line 344 of file registries.hh.
using vcsn::dyn::detail::is_useless_t = typedef auto (const automaton& aut) -> bool |
Definition at line 348 of file registries.hh.
using vcsn::dyn::detail::is_valid_expression_t = typedef auto (const expression& exp) -> bool |
Definition at line 356 of file registries.hh.
using vcsn::dyn::detail::is_valid_t = typedef auto (const automaton& aut) -> bool |
Definition at line 352 of file registries.hh.
using vcsn::dyn::detail::join_t = typedef auto (const context& c1, const context& c2) -> context |
Definition at line 360 of file registries.hh.
using vcsn::dyn::detail::ladybird_t = typedef auto (const dyn::context& ctx, unsigned n) -> automaton |
Definition at line 364 of file registries.hh.
using vcsn::dyn::detail::ldiv_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 368 of file registries.hh.
using vcsn::dyn::detail::ldiv_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 372 of file registries.hh.
using vcsn::dyn::detail::left_mult_expansion_t = typedef auto (const weight& weight, const expansion& exp) -> expansion |
Definition at line 380 of file registries.hh.
using vcsn::dyn::detail::left_mult_expression_t = typedef auto (const weight& weight, const expression& exp) -> expression |
Definition at line 384 of file registries.hh.
using vcsn::dyn::detail::left_mult_t = typedef auto (const weight& weight, const automaton& aut, const std::string& algo) -> automaton |
Definition at line 376 of file registries.hh.
using vcsn::dyn::detail::less_than_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> bool |
Definition at line 388 of file registries.hh.
using vcsn::dyn::detail::letterize_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 392 of file registries.hh.
using vcsn::dyn::detail::levenshtein_t = typedef auto (const dyn::context& ctx) -> automaton |
Definition at line 396 of file registries.hh.
using vcsn::dyn::detail::lgcd_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 400 of file registries.hh.
using vcsn::dyn::detail::lift_automaton_t = typedef auto (const automaton& aut, vcsn::rat::identities ids, integral_constant) -> automaton |
Definition at line 404 of file registries.hh.
using vcsn::dyn::detail::lift_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 408 of file registries.hh.
using vcsn::dyn::detail::lightest_automaton_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 416 of file registries.hh.
using vcsn::dyn::detail::lightest_t = typedef auto (const automaton& aut, unsigned num, const std::string& algo) -> polynomial |
Definition at line 412 of file registries.hh.
using vcsn::dyn::detail::list_polynomial_t = typedef auto (const polynomial& polynomial, std::ostream& o) -> std::ostream& |
Definition at line 420 of file registries.hh.
using vcsn::dyn::detail::make_automaton_editor_t = typedef auto (const context& ctx) -> automaton_editor* |
Definition at line 424 of file registries.hh.
using vcsn::dyn::detail::make_context_t = typedef auto (const std::string& name) -> context |
Definition at line 428 of file registries.hh.
using vcsn::dyn::detail::make_word_context_t = typedef auto (const context& ctx) -> context |
Definition at line 432 of file registries.hh.
using vcsn::dyn::detail::minimize_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 436 of file registries.hh.
using vcsn::dyn::detail::multiply_expression_repeated_t = typedef auto (const expression& re, int min, int max) -> expression |
Definition at line 448 of file registries.hh.
using vcsn::dyn::detail::multiply_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 444 of file registries.hh.
using vcsn::dyn::detail::multiply_label_t = typedef auto (const label& lhs, const label& rhs) -> label |
Definition at line 452 of file registries.hh.
using vcsn::dyn::detail::multiply_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 456 of file registries.hh.
using vcsn::dyn::detail::multiply_repeated_t = typedef auto (const automaton& a, int min, int max, const std::string& algo) -> automaton |
Definition at line 460 of file registries.hh.
using vcsn::dyn::detail::multiply_t = typedef auto (const automaton& lhs, const automaton& rhs, const std::string& algo) -> automaton |
Definition at line 440 of file registries.hh.
using vcsn::dyn::detail::multiply_weight_repeated_t = typedef auto (const weight& wgt, int min, int max) -> weight |
Definition at line 468 of file registries.hh.
using vcsn::dyn::detail::multiply_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight |
Definition at line 464 of file registries.hh.
using vcsn::dyn::detail::normalize_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 472 of file registries.hh.
using vcsn::dyn::detail::num_components_t = typedef auto (const automaton& aut) -> std::size_t |
Definition at line 476 of file registries.hh.
using vcsn::dyn::detail::num_tapes_t = typedef auto (const context& ctx) -> size_t |
Definition at line 480 of file registries.hh.
using vcsn::dyn::detail::pair_t = typedef auto (const automaton& aut, bool keep_initials) -> automaton |
Definition at line 484 of file registries.hh.
using vcsn::dyn::detail::partial_identity_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 488 of file registries.hh.
using vcsn::dyn::detail::prefix_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 492 of file registries.hh.
using vcsn::dyn::detail::print_context_t = typedef auto (const context& ctx, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 500 of file registries.hh.
using vcsn::dyn::detail::print_expansion_t = typedef auto (const expansion& expansion, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 504 of file registries.hh.
using vcsn::dyn::detail::print_expression_t = typedef auto (const expression& exp, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 508 of file registries.hh.
using vcsn::dyn::detail::print_label_t = typedef auto (const label& label, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 512 of file registries.hh.
using vcsn::dyn::detail::print_polynomial_t = typedef auto (const polynomial& polynomial, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 516 of file registries.hh.
using vcsn::dyn::detail::print_t = typedef auto (const automaton& aut, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 496 of file registries.hh.
using vcsn::dyn::detail::print_weight_t = typedef auto (const weight& weight, std::ostream& o, const std::string& fmt) -> std::ostream& |
Definition at line 520 of file registries.hh.
using vcsn::dyn::detail::project_context_t = typedef auto (const context& ctx, integral_constant) -> context |
Definition at line 528 of file registries.hh.
using vcsn::dyn::detail::project_label_t = typedef auto (const label& lbl, integral_constant) -> label |
Definition at line 532 of file registries.hh.
using vcsn::dyn::detail::project_polynomial_t = typedef auto (const polynomial& poly, integral_constant) -> polynomial |
Definition at line 536 of file registries.hh.
using vcsn::dyn::detail::project_t = typedef auto (const automaton& aut, integral_constant) -> automaton |
Definition at line 524 of file registries.hh.
using vcsn::dyn::detail::proper_t = typedef auto (const automaton& aut, direction dir, bool prune, const std::string& algo) -> automaton |
Definition at line 540 of file registries.hh.
using vcsn::dyn::detail::push_weights_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 544 of file registries.hh.
using vcsn::dyn::detail::random_automaton_deterministic_t = typedef auto (const context& ctx, unsigned num_states) -> automaton |
Definition at line 552 of file registries.hh.
using vcsn::dyn::detail::random_automaton_t = typedef auto (const context& ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, float loop_chance) -> automaton |
Definition at line 548 of file registries.hh.
using vcsn::dyn::detail::rdiv_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 556 of file registries.hh.
using vcsn::dyn::detail::read_label_t = typedef auto (const context& ctx, std::istream& is, bool quoted) -> label |
Definition at line 560 of file registries.hh.
using vcsn::dyn::detail::read_polynomial_t = typedef auto (const context& ctx, std::istream& is) -> polynomial |
Definition at line 564 of file registries.hh.
using vcsn::dyn::detail::read_weight_t = typedef auto (const context& ctx, std::istream& is) -> weight |
Definition at line 568 of file registries.hh.
using vcsn::dyn::detail::realtime_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 572 of file registries.hh.
using vcsn::dyn::detail::reduce_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 576 of file registries.hh.
using vcsn::dyn::detail::right_mult_expansion_t = typedef auto (const expansion& exp, const weight& weight) -> expansion |
Definition at line 584 of file registries.hh.
using vcsn::dyn::detail::right_mult_expression_t = typedef auto (const expression& exp, const weight& weight) -> expression |
Definition at line 588 of file registries.hh.
using vcsn::dyn::detail::right_mult_t = typedef auto (const automaton& aut, const weight& weight, const std::string& algo) -> automaton |
Definition at line 580 of file registries.hh.
using vcsn::dyn::detail::scc_t = typedef auto (const automaton& aut, const std::string& algo) -> automaton |
Definition at line 592 of file registries.hh.
using vcsn::dyn::detail::shortest_t = typedef auto (const automaton& aut, boost::optional<unsigned> num, boost::optional<unsigned> len) -> polynomial |
Definition at line 596 of file registries.hh.
using vcsn::dyn::detail::shuffle_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 604 of file registries.hh.
using vcsn::dyn::detail::shuffle_t = typedef auto (const std::vector<automaton>& as) -> automaton |
Definition at line 600 of file registries.hh.
using vcsn::dyn::detail::sort_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 608 of file registries.hh.
using vcsn::dyn::detail::split_polynomial_t = typedef auto (const polynomial& poly) -> polynomial |
Definition at line 616 of file registries.hh.
using vcsn::dyn::detail::split_t = typedef auto (const expression& exp) -> polynomial |
Definition at line 612 of file registries.hh.
using vcsn::dyn::detail::standard_expression_t = typedef auto (const expression& exp) -> automaton |
Definition at line 624 of file registries.hh.
using vcsn::dyn::detail::standard_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 620 of file registries.hh.
using vcsn::dyn::detail::star_height_t = typedef auto (const expression& exp) -> unsigned |
Definition at line 632 of file registries.hh.
using vcsn::dyn::detail::star_normal_form_t = typedef auto (const expression& exp) -> expression |
Definition at line 636 of file registries.hh.
using vcsn::dyn::detail::star_t = typedef auto (const automaton& a, const std::string& algo) -> automaton |
Definition at line 628 of file registries.hh.
using vcsn::dyn::detail::strip_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 640 of file registries.hh.
using vcsn::dyn::detail::subword_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 644 of file registries.hh.
using vcsn::dyn::detail::suffix_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 648 of file registries.hh.
using vcsn::dyn::detail::sum_expansion_t = typedef auto (const expansion& lhs, const expansion& rhs) -> expansion |
Definition at line 656 of file registries.hh.
using vcsn::dyn::detail::sum_expression_t = typedef auto (const expression& lhs, const expression& rhs) -> expression |
Definition at line 660 of file registries.hh.
using vcsn::dyn::detail::sum_polynomial_t = typedef auto (const polynomial& lhs, const polynomial& rhs) -> polynomial |
Definition at line 664 of file registries.hh.
using vcsn::dyn::detail::sum_t = typedef auto (const automaton& lhs, const automaton& rhs, const std::string& algo) -> automaton |
Definition at line 652 of file registries.hh.
using vcsn::dyn::detail::sum_weight_t = typedef auto (const weight& lhs, const weight& rhs) -> weight |
Definition at line 668 of file registries.hh.
using vcsn::dyn::detail::synchronize_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 672 of file registries.hh.
using vcsn::dyn::detail::synchronizing_word_t = typedef auto (const automaton& aut, const std::string& algo) -> label |
Definition at line 676 of file registries.hh.
using vcsn::dyn::detail::thompson_t = typedef auto (const expression& exp) -> automaton |
Definition at line 680 of file registries.hh.
using vcsn::dyn::detail::to_expansion_t = typedef auto (const expression& exp) -> expansion |
Definition at line 684 of file registries.hh.
using vcsn::dyn::detail::to_expression_class_t = typedef auto (const context& ctx, rat::identities ids, const letter_class_t& letters, bool accept) -> expression |
Definition at line 692 of file registries.hh.
using vcsn::dyn::detail::to_expression_label_t = typedef auto (const context& ctx, rat::identities ids, const label& lbl) -> expression |
Definition at line 696 of file registries.hh.
using vcsn::dyn::detail::to_expression_t = typedef auto (const automaton& aut, vcsn::rat::identities ids, const std::string& algo) -> expression |
Definition at line 688 of file registries.hh.
using vcsn::dyn::detail::transpose_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 704 of file registries.hh.
using vcsn::dyn::detail::transpose_t = typedef auto (automaton& aut) -> automaton |
Definition at line 700 of file registries.hh.
using vcsn::dyn::detail::transposition_expression_t = typedef auto (const expression& exp) -> expression |
Definition at line 708 of file registries.hh.
using vcsn::dyn::detail::trie_stream_t = typedef auto (const context& ctx, std::istream& is, const std::string& format) -> automaton |
Definition at line 716 of file registries.hh.
using vcsn::dyn::detail::trie_t = typedef auto (const polynomial& poly) -> automaton |
Definition at line 712 of file registries.hh.
using vcsn::dyn::detail::trim_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 720 of file registries.hh.
using vcsn::dyn::detail::tuple_expansion_t = typedef auto (const std::vector<expansion>& es) -> expansion |
Definition at line 724 of file registries.hh.
using vcsn::dyn::detail::tuple_expression_t = typedef auto (const std::vector<expression>& es) -> expression |
Definition at line 728 of file registries.hh.
using vcsn::dyn::detail::u_t = typedef auto (const context& ctx, unsigned n) -> automaton |
Definition at line 732 of file registries.hh.
using vcsn::dyn::detail::universal_t = typedef auto (const automaton& aut) -> automaton |
Definition at line 736 of file registries.hh.
using vcsn::dyn::detail::weight_series_t = typedef auto (const automaton& aut) -> weight |
Definition at line 740 of file registries.hh.
using vcsn::dyn::detail::zpc_t = typedef auto (const expression& exp, const std::string& algo) -> automaton |
Definition at line 744 of file registries.hh.
automaton vcsn::dyn::detail::accessible | ( | const automaton & | aut | ) |
Bridge.
Definition at line 206 of file accessible.hh.
References vcsn::accessible(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::accessible_register | ( | const signature & | sig, |
accessible_t | fn | ||
) |
|
static |
Definition at line 17 of file algos.cc.
Referenced by vcsn::dyn::accessible().
label vcsn::dyn::detail::ambiguous_word | ( | const automaton & | aut | ) |
Bridge.
Definition at line 93 of file is-ambiguous.hh.
References vcsn::ambiguous_word(), vcsn::dyn::make_label(), and vcsn::detail::make_wordset().
bool vcsn::dyn::detail::ambiguous_word_register | ( | const signature & | sig, |
ambiguous_word_t | fn | ||
) |
|
static |
Definition at line 26 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().
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 44 of file algos.cc.
Referenced by vcsn::dyn::are_equivalent().
bool vcsn::dyn::detail::are_equivalent_register | ( | const signature & | sig, |
are_equivalent_t | fn | ||
) |
|
static |
Definition at line 35 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 700 of file are-isomorphic.hh.
bool vcsn::dyn::detail::are_isomorphic_register | ( | const signature & | sig, |
are_isomorphic_t | fn | ||
) |
|
static |
Definition at line 53 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::cerny(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::cerny_register | ( | const signature & | sig, |
cerny_t | fn | ||
) |
Definition at line 62 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::coaccessible(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::coaccessible_register | ( | const signature & | sig, |
coaccessible_t | fn | ||
) |
|
static |
Definition at line 71 of file algos.cc.
Referenced by vcsn::dyn::coaccessible().
automaton vcsn::dyn::detail::codeterminize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 423 of file determinize.hh.
enable_if_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Boolean Bridge.
Definition at line 387 of file determinize.hh.
References vcsn::detail::map().
enable_if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Weighted Bridge.
Definition at line 404 of file determinize.hh.
References vcsn::detail::map().
bool vcsn::dyn::detail::codeterminize_register | ( | const signature & | sig, |
codeterminize_t | fn | ||
) |
|
static |
Definition at line 80 of file algos.cc.
Referenced by vcsn::dyn::codeterminize().
automaton vcsn::dyn::detail::codeterminize_tag_ | ( | const Aut & | aut | ) |
Definition at line 379 of file determinize.hh.
References vcsn::codeterminize(), and vcsn::dyn::make_automaton().
automaton vcsn::dyn::detail::cominimize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 195 of file minimize.hh.
bool vcsn::dyn::detail::cominimize_register | ( | const signature & | sig, |
cominimize_t | fn | ||
) |
|
static |
Definition at line 89 of file algos.cc.
Referenced by vcsn::dyn::cominimize().
automaton vcsn::dyn::detail::cominimize_tag_ | ( | const Aut & | aut | ) |
Definition at line 186 of file minimize.hh.
References vcsn::dyn::make_automaton(), minimize(), and transpose().
automaton vcsn::dyn::detail::complement | ( | const automaton & | aut | ) |
Bridge.
Definition at line 63 of file complement.hh.
References vcsn::complement(), and vcsn::dyn::make_automaton().
expansion vcsn::dyn::detail::complement_expansion | ( | const expansion & | xpn | ) |
Bridge (complement).
Definition at line 82 of file complement.hh.
References vcsn::dyn::make_expansion().
bool vcsn::dyn::detail::complement_expansion_register | ( | const signature & | sig, |
complement_expansion_t | fn | ||
) |
|
static |
Definition at line 107 of file algos.cc.
Referenced by vcsn::dyn::complement().
expression vcsn::dyn::detail::complement_expression | ( | const expression & | exp | ) |
Bridge (complement).
Definition at line 103 of file complement.hh.
References vcsn::dyn::make_expression().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::complement_expression_register | ( | const signature & | sig, |
complement_expression_t | fn | ||
) |
|
static |
Definition at line 116 of file algos.cc.
Referenced by vcsn::dyn::complement().
bool vcsn::dyn::detail::complement_register | ( | const signature & | sig, |
complement_t | fn | ||
) |
|
static |
Definition at line 98 of file algos.cc.
Referenced by vcsn::dyn::complement().
automaton vcsn::dyn::detail::complete | ( | const automaton & | aut | ) |
Bridge.
Definition at line 76 of file complete.hh.
References vcsn::complete(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::complete_register | ( | const signature & | sig, |
complete_t | fn | ||
) |
|
static |
Definition at line 125 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 134 of file algos.cc.
Referenced by vcsn::dyn::component().
automaton vcsn::dyn::detail::compose | ( | automaton & | lhs, |
automaton & | rhs, | ||
bool | lazy | ||
) |
Bridge.
Definition at line 429 of file compose.hh.
References vcsn::compose(), vcsn::compose_lazy(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::compose_register | ( | const signature & | sig, |
compose_t | fn | ||
) |
Definition at line 143 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 313 of file multiply.hh.
References vcsn::dyn::make_expression().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::concatenate_expression_register | ( | const signature & | sig, |
concatenate_expression_t | fn | ||
) |
|
static |
Definition at line 152 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 161 of file algos.cc.
Referenced by vcsn::dyn::condense().
automaton vcsn::dyn::detail::conjugate | ( | const automaton & | a | ) |
Bridge.
Definition at line 58 of file conjugate.hh.
References vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::conjugate_register | ( | const signature & | sig, |
conjugate_t | fn | ||
) |
|
static |
Definition at line 170 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 510 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 494 of file conjunction.hh.
References vcsn::conjunction(), vcsn::conjunction_lazy(), and vcsn::dyn::make_automaton().
Referenced by vcsn::rat::expansionset< expressionset_t >::conjunction(), vcsn::rat::printer< ExpSet >::format(), and vcsn::rat::expansionset< expressionset_t >::infiltration().
expression vcsn::dyn::detail::conjunction_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (conjunction).
Definition at line 766 of file conjunction.hh.
References vcsn::conjunction(), and vcsn::dyn::make_expression().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::conjunction_expression_register | ( | const signature & | sig, |
conjunction_expression_t | fn | ||
) |
|
static |
Definition at line 188 of file algos.cc.
Referenced by vcsn::dyn::conjunction().
polynomial vcsn::dyn::detail::conjunction_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (conjunction).
Definition at line 788 of file conjunction.hh.
References vcsn::conjunction(), and vcsn::dyn::make_polynomial().
bool vcsn::dyn::detail::conjunction_polynomial_register | ( | const signature & | sig, |
conjunction_polynomial_t | fn | ||
) |
|
static |
Definition at line 197 of file algos.cc.
Referenced by vcsn::dyn::conjunction().
bool vcsn::dyn::detail::conjunction_register | ( | const signature & | sig, |
conjunction_t | fn | ||
) |
|
static |
Definition at line 179 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 733 of file conjunction.hh.
References vcsn::conjunction(), and vcsn::dyn::make_automaton().
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 206 of file algos.cc.
Referenced by vcsn::dyn::conjunction().
weight vcsn::dyn::detail::constant_term | ( | const expression & | exp | ) |
Bridge.
Definition at line 204 of file constant-term.hh.
References vcsn::dyn::make_weight().
bool vcsn::dyn::detail::constant_term_register | ( | const signature & | sig, |
constant_term_t | fn | ||
) |
|
static |
Definition at line 215 of file algos.cc.
Referenced by vcsn::dyn::constant_term().
context vcsn::dyn::detail::context_of | ( | const automaton & | aut | ) |
Bridge.
Definition at line 64 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by vcsn::ctx::detail::register_functions().
context vcsn::dyn::detail::context_of_expansion | ( | const expansion & | exp | ) |
Bridge (context_of).
Definition at line 82 of file make-context.hh.
References vcsn::dyn::make_context().
bool vcsn::dyn::detail::context_of_expansion_register | ( | const signature & | sig, |
context_of_expansion_t | fn | ||
) |
|
static |
Definition at line 233 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 73 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::context_of_expression_register | ( | const signature & | sig, |
context_of_expression_t | fn | ||
) |
|
static |
Definition at line 242 of file algos.cc.
Referenced by vcsn::dyn::context_of().
bool vcsn::dyn::detail::context_of_register | ( | const signature & | sig, |
context_of_t | fn | ||
) |
|
static |
Definition at line 224 of file algos.cc.
Referenced by vcsn::dyn::context_of().
automaton vcsn::dyn::detail::copy | ( | const automaton & | aut | ) |
Bridge.
Definition at line 421 of file copy.hh.
References vcsn::copy(), and vcsn::dyn::make_automaton().
automaton vcsn::dyn::detail::copy_convert | ( | const automaton & | aut, |
const context & | ctx | ||
) |
Bridge (copy).
Definition at line 409 of file copy.hh.
References vcsn::copy_into(), vcsn::dyn::make_automaton(), and vcsn::make_mutable_automaton().
bool vcsn::dyn::detail::copy_convert_register | ( | const signature & | sig, |
copy_convert_t | fn | ||
) |
|
static |
Definition at line 260 of file algos.cc.
Referenced by vcsn::dyn::copy().
expression vcsn::dyn::detail::copy_expression | ( | const expression & | exp, |
const context & | ctx, | ||
rat::identities | ids | ||
) |
Bridge (copy).
Definition at line 440 of file copy.hh.
References vcsn::rat::copy(), vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
bool vcsn::dyn::detail::copy_expression_register | ( | const signature & | sig, |
copy_expression_t | fn | ||
) |
|
static |
Definition at line 269 of file algos.cc.
Referenced by vcsn::dyn::copy().
bool vcsn::dyn::detail::copy_register | ( | const signature & | sig, |
copy_t | fn | ||
) |
Definition at line 251 of file algos.cc.
Referenced by vcsn::dyn::copy().
automaton vcsn::dyn::detail::costandard | ( | const automaton & | aut | ) |
Bridge.
Definition at line 147 of file standard.hh.
References vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::costandard_register | ( | const signature & | sig, |
costandard_t | fn | ||
) |
|
static |
Definition at line 278 of file algos.cc.
Referenced by vcsn::dyn::costandard().
automaton vcsn::dyn::detail::cotrie | ( | const polynomial & | poly | ) |
Bridge.
Definition at line 250 of file trie.hh.
References vcsn::cotrie(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::cotrie_register | ( | const signature & | sig, |
cotrie_t | fn | ||
) |
Definition at line 287 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 312 of file trie.hh.
References vcsn::cotrie(), vcsn::dyn::make_automaton(), and vcsn::detail::make_word_polynomialset().
bool vcsn::dyn::detail::cotrie_stream_register | ( | const signature & | sig, |
cotrie_stream_t | fn | ||
) |
|
static |
Definition at line 296 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 59 of file de-bruijn.hh.
References vcsn::de_bruijn(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::de_bruijn_register | ( | const signature & | sig, |
de_bruijn_t | fn | ||
) |
|
static |
Definition at line 305 of file algos.cc.
Referenced by vcsn::dyn::de_bruijn().
automaton vcsn::dyn::detail::delay_automaton | ( | const automaton & | aut | ) |
Bridge.
Definition at line 350 of file is-synchronized.hh.
bool vcsn::dyn::detail::delay_automaton_register | ( | const signature & | sig, |
delay_automaton_t | fn | ||
) |
|
static |
Definition at line 314 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 337 of file derivation.hh.
References vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.
bool vcsn::dyn::detail::derivation_register | ( | const signature & | sig, |
derivation_t | fn | ||
) |
|
static |
Definition at line 323 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 364 of file derived-term.hh.
References vcsn::derived_term(), vcsn::detail::derived_term_algo::expansion, vcsn::dyn::make_automaton(), vcsn::make_derived_term_automaton(), and vcsn::require().
bool vcsn::dyn::detail::derived_term_register | ( | const signature & | sig, |
derived_term_t | fn | ||
) |
|
static |
Definition at line 332 of file algos.cc.
Referenced by vcsn::dyn::derived_term().
automaton vcsn::dyn::detail::determinize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 350 of file determinize.hh.
enable_if_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Boolean Bridge.
Definition at line 308 of file determinize.hh.
References vcsn::detail::map().
enable_if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Weighted Bridge.
Definition at line 328 of file determinize.hh.
References vcsn::detail::map().
bool vcsn::dyn::detail::determinize_register | ( | const signature & | sig, |
determinize_t | fn | ||
) |
|
static |
Definition at line 341 of file algos.cc.
Referenced by vcsn::dyn::determinize().
automaton vcsn::dyn::detail::determinize_tag_ | ( | const Aut & | aut | ) |
Definition at line 299 of file determinize.hh.
References vcsn::determinize(), and vcsn::dyn::make_automaton().
automaton vcsn::dyn::detail::difference | ( | const automaton & | lhs, |
const automaton & | rhs | ||
) |
Bridge.
Definition at line 140 of file are-equivalent.hh.
References vcsn::difference(), and vcsn::dyn::make_automaton().
expression vcsn::dyn::detail::difference_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (difference).
Definition at line 171 of file are-equivalent.hh.
References vcsn::difference(), and vcsn::dyn::make_expression().
Referenced by vcsn::ctx::detail::register_functions_is_free().
bool vcsn::dyn::detail::difference_expression_register | ( | const signature & | sig, |
difference_expression_t | fn | ||
) |
|
static |
Definition at line 359 of file algos.cc.
Referenced by vcsn::dyn::difference().
bool vcsn::dyn::detail::difference_register | ( | const signature & | sig, |
difference_t | fn | ||
) |
|
static |
Definition at line 350 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 71 of file divkbaseb.hh.
References vcsn::divkbaseb(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::divkbaseb_register | ( | const signature & | sig, |
divkbaseb_t | fn | ||
) |
|
static |
Definition at line 368 of file algos.cc.
Referenced by vcsn::dyn::divkbaseb().
|
pure virtual |
autodecltype(insplit(aut)) std::enable_if_t<!labelset_t_of<Aut>::has_one() || I == 0, Aut&> vcsn::dyn::detail::do_insplit | ( | Aut & | aut | ) |
Definition at line 486 of file conjunction.hh.
automaton vcsn::dyn::detail::double_ring | ( | const context & | ctx, |
unsigned | n, | ||
const std::vector< unsigned > & | finals | ||
) |
Bridge.
Definition at line 77 of file double-ring.hh.
References vcsn::double_ring(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::double_ring_register | ( | const signature & | sig, |
double_ring_t | fn | ||
) |
|
static |
Definition at line 377 of file algos.cc.
Referenced by vcsn::dyn::double_ring().
|
inline |
A dynamic_cast in debug mode, static_cast with NDEBUG.
Definition at line 16 of file fwd.hh.
Referenced by vcsn::dyn::detail::expansion_base::as(), vcsn::dyn::detail::automaton_base::as(), vcsn::dyn::detail::label_base::as(), vcsn::dyn::detail::weight_base::as(), vcsn::dyn::detail::polynomial_base::as(), vcsn::dyn::detail::context_base::as(), and vcsn::dyn::detail::expression_base::as().
automaton vcsn::dyn::detail::eliminate_state | ( | const automaton & | aut, |
int | state | ||
) |
Bridge.
Definition at line 477 of file to-expression.hh.
References vcsn::eliminate_state(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::eliminate_state_register | ( | const signature & | sig, |
eliminate_state_t | fn | ||
) |
|
static |
Definition at line 386 of file algos.cc.
Referenced by vcsn::dyn::eliminate_state().
weight vcsn::dyn::detail::eval | ( | const automaton & | aut, |
const label & | lbl | ||
) |
Bridge.
Definition at line 142 of file eval.hh.
References vcsn::rat::ctx(), and vcsn::dyn::make_weight().
bool vcsn::dyn::detail::eval_register | ( | const signature & | sig, |
eval_t | fn | ||
) |
Definition at line 395 of file algos.cc.
Referenced by vcsn::dyn::eval().
|
inline |
Bridge.
Definition at line 165 of file expand.hh.
References vcsn::dyn::make_expression().
bool vcsn::dyn::detail::expand_register | ( | const signature & | sig, |
expand_t | fn | ||
) |
Definition at line 404 of file algos.cc.
Referenced by vcsn::dyn::expand().
expression vcsn::dyn::detail::expression_one | ( | const context & | ctx, |
rat::identities | ids | ||
) |
Bridge.
Definition at line 15 of file constant.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::expression_one_register | ( | const signature & | sig, |
expression_one_t | fn | ||
) |
|
static |
Definition at line 413 of file algos.cc.
Referenced by vcsn::dyn::expression_one().
expression vcsn::dyn::detail::expression_zero | ( | const context & | ctx, |
rat::identities | ids | ||
) |
Bridge.
Definition at line 24 of file constant.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::expression_zero_register | ( | const signature & | sig, |
expression_zero_t | fn | ||
) |
|
static |
Definition at line 422 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::factor(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::factor_register | ( | const signature & | sig, |
factor_t | fn | ||
) |
Definition at line 431 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 440 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 160 of file has-bounded-lag.hh.
bool vcsn::dyn::detail::has_bounded_lag_register | ( | const signature & | sig, |
has_bounded_lag_t | fn | ||
) |
|
static |
Definition at line 449 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.
bool vcsn::dyn::detail::has_lightening_cycle_register | ( | const signature & | sig, |
has_lightening_cycle_t | fn | ||
) |
|
static |
Definition at line 458 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.
bool vcsn::dyn::detail::has_twins_property_register | ( | const signature & | sig, |
has_twins_property_t | fn | ||
) |
|
static |
Definition at line 467 of file algos.cc.
Referenced by vcsn::dyn::has_twins_property().
rat::identities vcsn::dyn::detail::identities | ( | const expression & | exp | ) |
Bridge.
Definition at line 19 of file identities.hh.
References vcsn::detail::rs.
Referenced by vcsn::rat::expressionset_impl< Context >::conv(), vcsn::rat::expressionset_impl< Context >::print_set(), vcsn::dyn::read_expression(), and vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::identities_register | ( | const signature & | sig, |
identities_t | fn | ||
) |
|
static |
Definition at line 476 of file algos.cc.
Referenced by vcsn::dyn::identities().
automaton vcsn::dyn::detail::infiltration | ( | const std::vector< automaton > & | as | ) |
Bridge (infiltration).
Definition at line 639 of file conjunction.hh.
automaton vcsn::dyn::detail::infiltration_ | ( | const std::vector< automaton > & | as, |
vcsn::detail::index_sequence< I...> | |||
) |
Variadic bridge helper.
Definition at line 628 of file conjunction.hh.
References vcsn::infiltration(), and vcsn::dyn::make_automaton().
Referenced by vcsn::rat::printer< ExpSet >::format().
expression vcsn::dyn::detail::infiltration_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (infiltration).
Definition at line 669 of file conjunction.hh.
References vcsn::infiltration(), and vcsn::dyn::make_expression().
bool vcsn::dyn::detail::infiltration_expression_register | ( | const signature & | sig, |
infiltration_expression_t | fn | ||
) |
|
static |
Definition at line 494 of file algos.cc.
Referenced by vcsn::dyn::infiltration().
bool vcsn::dyn::detail::infiltration_register | ( | const signature & | sig, |
infiltration_t | fn | ||
) |
|
static |
Definition at line 485 of file algos.cc.
Referenced by vcsn::dyn::infiltration().
std::ostream& vcsn::dyn::detail::info | ( | const automaton & | aut, |
std::ostream & | out, | ||
bool | detailed | ||
) |
Bridge.
Definition at line 130 of file info.hh.
References vcsn::detail::out().
std::ostream& vcsn::dyn::detail::info_expression | ( | const expression & | exp, |
std::ostream & | o | ||
) |
Bridge (info).
Definition at line 183 of file info.hh.
References vcsn::info().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::info_expression_register | ( | const signature & | sig, |
info_expression_t | fn | ||
) |
|
static |
Definition at line 512 of file algos.cc.
Referenced by vcsn::dyn::info().
bool vcsn::dyn::detail::info_register | ( | const signature & | sig, |
info_t | fn | ||
) |
Definition at line 503 of file algos.cc.
Referenced by vcsn::dyn::info().
automaton vcsn::dyn::detail::insplit | ( | const automaton & | aut, |
bool | lazy | ||
) |
Bridge.
Definition at line 349 of file insplit.hh.
References vcsn::insplit(), vcsn::insplit_lazy(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::insplit_register | ( | const signature & | sig, |
insplit_t | fn | ||
) |
Definition at line 521 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.
bool vcsn::dyn::detail::is_accessible_register | ( | const signature & | sig, |
is_accessible_t | fn | ||
) |
|
static |
Definition at line 530 of file algos.cc.
Referenced by vcsn::dyn::is_accessible().
bool vcsn::dyn::detail::is_ambiguous | ( | const automaton & | aut | ) |
Bridge.
Definition at line 53 of file is-ambiguous.hh.
bool vcsn::dyn::detail::is_ambiguous_register | ( | const signature & | sig, |
is_ambiguous_t | fn | ||
) |
|
static |
Definition at line 539 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.
bool vcsn::dyn::detail::is_coaccessible_register | ( | const signature & | sig, |
is_coaccessible_t | fn | ||
) |
|
static |
Definition at line 548 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.
bool vcsn::dyn::detail::is_codeterministic_register | ( | const signature & | sig, |
is_codeterministic_t | fn | ||
) |
|
static |
Definition at line 557 of file algos.cc.
Referenced by vcsn::dyn::is_codeterministic().
bool vcsn::dyn::detail::is_complete | ( | const automaton & | aut | ) |
Bridge.
Definition at line 48 of file is-complete.hh.
bool vcsn::dyn::detail::is_complete_register | ( | const signature & | sig, |
is_complete_t | fn | ||
) |
|
static |
Definition at line 566 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.
bool vcsn::dyn::detail::is_costandard_register | ( | const signature & | sig, |
is_costandard_t | fn | ||
) |
|
static |
Definition at line 575 of file algos.cc.
Referenced by vcsn::dyn::is_costandard().
bool vcsn::dyn::detail::is_cycle_ambiguous | ( | const automaton & | aut | ) |
Bridge.
Definition at line 173 of file is-ambiguous.hh.
bool vcsn::dyn::detail::is_cycle_ambiguous_register | ( | const signature & | sig, |
is_cycle_ambiguous_t | fn | ||
) |
|
static |
Definition at line 584 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.
bool vcsn::dyn::detail::is_deterministic_register | ( | const signature & | sig, |
is_deterministic_t | fn | ||
) |
|
static |
Definition at line 593 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.
bool vcsn::dyn::detail::is_empty_register | ( | const signature & | sig, |
is_empty_t | fn | ||
) |
|
static |
Definition at line 602 of file algos.cc.
Referenced by vcsn::dyn::is_empty().
bool vcsn::dyn::detail::is_eps_acyclic | ( | const automaton & | aut | ) |
Bridge.
Definition at line 123 of file is-eps-acyclic.hh.
bool vcsn::dyn::detail::is_eps_acyclic_register | ( | const signature & | sig, |
is_eps_acyclic_t | fn | ||
) |
|
static |
Definition at line 611 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.
bool vcsn::dyn::detail::is_functional_register | ( | const signature & | sig, |
is_functional_t | fn | ||
) |
|
static |
Definition at line 620 of file algos.cc.
Referenced by vcsn::dyn::is_functional().
bool vcsn::dyn::detail::is_letterized | ( | const automaton & | aut | ) |
bool vcsn::dyn::detail::is_letterized_register | ( | const signature & | sig, |
is_letterized_t | fn | ||
) |
|
static |
Definition at line 629 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.
bool vcsn::dyn::detail::is_normalized_register | ( | const signature & | sig, |
is_normalized_t | fn | ||
) |
|
static |
Definition at line 638 of file algos.cc.
Referenced by vcsn::dyn::is_normalized().
bool vcsn::dyn::detail::is_out_sorted | ( | const automaton & | aut | ) |
bool vcsn::dyn::detail::is_out_sorted_register | ( | const signature & | sig, |
is_out_sorted_t | fn | ||
) |
|
static |
Definition at line 647 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.
bool vcsn::dyn::detail::is_partial_identity_register | ( | const signature & | sig, |
is_partial_identity_t | fn | ||
) |
|
static |
Definition at line 656 of file algos.cc.
Referenced by vcsn::dyn::is_partial_identity().
|
inline |
Bridge.
Definition at line 60 of file is-proper.hh.
bool vcsn::dyn::detail::is_proper_register | ( | const signature & | sig, |
is_proper_t | fn | ||
) |
|
static |
Definition at line 665 of file algos.cc.
Referenced by vcsn::dyn::is_proper().
bool vcsn::dyn::detail::is_realtime | ( | const automaton & | aut | ) |
Bridge.
Definition at line 260 of file letterize.hh.
bool vcsn::dyn::detail::is_realtime_register | ( | const signature & | sig, |
is_realtime_t | fn | ||
) |
|
static |
Definition at line 674 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.
bool vcsn::dyn::detail::is_standard_register | ( | const signature & | sig, |
is_standard_t | fn | ||
) |
|
static |
Definition at line 683 of file algos.cc.
Referenced by vcsn::dyn::is_standard().
bool vcsn::dyn::detail::is_synchronized | ( | const automaton & | aut | ) |
Bridge.
Definition at line 321 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::is_synchronized_by().
bool vcsn::dyn::detail::is_synchronized_by_register | ( | const signature & | sig, |
is_synchronized_by_t | fn | ||
) |
|
static |
Definition at line 701 of file algos.cc.
Referenced by vcsn::dyn::is_synchronized_by().
bool vcsn::dyn::detail::is_synchronized_register | ( | const signature & | sig, |
is_synchronized_t | fn | ||
) |
|
static |
Definition at line 692 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::is_synchronizing().
bool vcsn::dyn::detail::is_synchronizing_register | ( | const signature & | sig, |
is_synchronizing_t | fn | ||
) |
|
static |
Definition at line 710 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.
bool vcsn::dyn::detail::is_trim_register | ( | const signature & | sig, |
is_trim_t | fn | ||
) |
Definition at line 719 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.
bool vcsn::dyn::detail::is_useless_register | ( | const signature & | sig, |
is_useless_t | fn | ||
) |
|
static |
Definition at line 728 of file algos.cc.
Referenced by vcsn::dyn::is_useless().
bool vcsn::dyn::detail::is_valid | ( | const automaton & | aut | ) |
Bridge.
Definition at line 152 of file is-valid.hh.
References strip().
bool vcsn::dyn::detail::is_valid_expression | ( | const expression & | exp | ) |
Bridge (is_valid).
Definition at line 37 of file is-valid-expression.hh.
References vcsn::is_valid().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::is_valid_expression_register | ( | const signature & | sig, |
is_valid_expression_t | fn | ||
) |
|
static |
Definition at line 746 of file algos.cc.
Referenced by vcsn::dyn::is_valid().
bool vcsn::dyn::detail::is_valid_register | ( | const signature & | sig, |
is_valid_t | fn | ||
) |
|
static |
Definition at line 737 of file algos.cc.
Referenced by vcsn::dyn::is_valid().
auto vcsn::dyn::detail::join | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Return the join of the expressionset of two expressions and their values in this new expressionset.
Definition at line 80 of file expression.hh.
References join(), and vcsn::detail::rs.
auto vcsn::dyn::detail::join | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Return the join of the polynomialset of two polynomials and their values in this new polynomialset.
Definition at line 86 of file polynomial.hh.
References join(), and vcsn::detail::rs.
context vcsn::dyn::detail::join | ( | const context & | c1, |
const context & | c2 | ||
) |
Bridge.
Definition at line 102 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by join(), left_mult(), multiply_label(), multiply_weight(), right_mult(), sum_expansion(), and sum_weight().
bool vcsn::dyn::detail::join_register | ( | const signature & | sig, |
join_t | fn | ||
) |
Definition at line 755 of file algos.cc.
Referenced by vcsn::dyn::join().
automaton vcsn::dyn::detail::ladybird | ( | const dyn::context & | ctx, |
unsigned | n | ||
) |
Bridge.
Definition at line 56 of file ladybird.hh.
References vcsn::ladybird(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::ladybird_register | ( | const signature & | sig, |
ladybird_t | fn | ||
) |
|
static |
Definition at line 764 of file algos.cc.
Referenced by vcsn::dyn::ladybird().
expression vcsn::dyn::detail::ldiv_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (ldiv).
Definition at line 32 of file divide.hh.
References vcsn::dyn::make_expression().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::ldiv_expression_register | ( | const signature & | sig, |
ldiv_expression_t | fn | ||
) |
|
static |
Definition at line 773 of file algos.cc.
Referenced by vcsn::dyn::ldiv().
polynomial vcsn::dyn::detail::ldiv_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (ldiv).
Definition at line 43 of file divide.hh.
References vcsn::dyn::make_polynomial().
bool vcsn::dyn::detail::ldiv_polynomial_register | ( | const signature & | sig, |
ldiv_polynomial_t | fn | ||
) |
|
static |
Definition at line 782 of file algos.cc.
Referenced by vcsn::dyn::ldiv().
automaton vcsn::dyn::detail::left_mult | ( | const weight & | weight, |
const automaton & | aut, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 151 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), join(), make_context(), and vcsn::make_mutable_automaton().
expansion vcsn::dyn::detail::left_mult_expansion | ( | const weight & | weight, |
const expansion & | exp | ||
) |
Bridge (left_mult).
Definition at line 217 of file left-mult.hh.
References vcsn::join_weightset_expansionset(), vcsn::left_mult(), vcsn::dyn::make_expansion(), and vcsn::detail::rs.
bool vcsn::dyn::detail::left_mult_expansion_register | ( | const signature & | sig, |
left_mult_expansion_t | fn | ||
) |
|
static |
Definition at line 800 of file algos.cc.
Referenced by vcsn::dyn::left_mult().
expression vcsn::dyn::detail::left_mult_expression | ( | const weight & | weight, |
const expression & | exp | ||
) |
Bridge (left_mult).
Definition at line 272 of file left-mult.hh.
References vcsn::join_weightset_expressionset(), vcsn::left_mult(), vcsn::dyn::make_expression(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::left_mult_expression_register | ( | const signature & | sig, |
left_mult_expression_t | fn | ||
) |
|
static |
Definition at line 809 of file algos.cc.
Referenced by vcsn::dyn::left_mult().
bool vcsn::dyn::detail::left_mult_register | ( | const signature & | sig, |
left_mult_t | fn | ||
) |
|
static |
Definition at line 791 of file algos.cc.
Referenced by vcsn::dyn::left_mult().
automaton vcsn::dyn::detail::left_mult_tag | ( | const weight_t_of< Aut > & | w, |
Aut & | aut | ||
) |
Left-product.
Definition at line 143 of file left-mult.hh.
References vcsn::left_mult_here(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::less_than_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (less_than).
Definition at line 31 of file less-than.hh.
References vcsn::less_than().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::less_than_expression_register | ( | const signature & | sig, |
less_than_expression_t | fn | ||
) |
|
static |
Definition at line 818 of file algos.cc.
Referenced by vcsn::dyn::less_than().
automaton vcsn::dyn::detail::letterize | ( | const automaton & | aut | ) |
Bridge.
Definition at line 147 of file letterize.hh.
References vcsn::letterize(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::letterize_register | ( | const signature & | sig, |
letterize_t | fn | ||
) |
|
static |
Definition at line 827 of file algos.cc.
Referenced by vcsn::dyn::letterize().
automaton vcsn::dyn::detail::levenshtein | ( | const dyn::context & | ctx | ) |
Bridge.
Definition at line 66 of file levenshtein.hh.
References vcsn::levenshtein(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::levenshtein_register | ( | const signature & | sig, |
levenshtein_t | fn | ||
) |
|
static |
Definition at line 836 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 76 of file divide.hh.
References vcsn::dyn::lgcd(), and vcsn::dyn::make_polynomial().
bool vcsn::dyn::detail::lgcd_polynomial_register | ( | const signature & | sig, |
lgcd_polynomial_t | fn | ||
) |
|
static |
Definition at line 845 of file algos.cc.
Referenced by vcsn::dyn::lgcd().
automaton vcsn::dyn::detail::lift_automaton | ( | const automaton & | aut, |
vcsn::rat::identities | ids, | ||
integral_constant | |||
) |
Bridge.
Definition at line 260 of file lift.hh.
References vcsn::dyn::make_automaton().
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 308 of file lift.hh.
References vcsn::lift(), vcsn::detail::lift_expressionset(), and vcsn::dyn::make_expression().
bool vcsn::dyn::detail::lift_expression_register | ( | const signature & | sig, |
lift_expression_t | fn | ||
) |
|
static |
Definition at line 854 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 215 of file lightest.hh.
References vcsn::dyn::make_polynomial(), and vcsn::detail::make_word_polynomialset().
automaton vcsn::dyn::detail::lightest_automaton | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 43 of file lightest-automaton.hh.
References vcsn::lightest_automaton(), and vcsn::dyn::make_automaton().
bool vcsn::dyn::detail::lightest_automaton_register | ( | const signature & | sig, |
lightest_automaton_t | fn | ||
) |
|
static |
Definition at line 872 of file algos.cc.
Referenced by vcsn::dyn::lightest_automaton().
bool vcsn::dyn::detail::lightest_register | ( | const signature & | sig, |
lightest_t | fn | ||
) |
|
static |
Definition at line 863 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 213 of file print.hh.
References 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_editor* vcsn::dyn::detail::make_automaton_editor | ( | const context & | ctx | ) |
Bridge.
Definition at line 349 of file edit-automaton.hh.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::make_automaton_editor_register | ( | const signature & | sig, |
make_automaton_editor_t | fn | ||
) |
|
static |
Definition at line 881 of file algos.cc.
Referenced by vcsn::dyn::make_automaton_editor().
context vcsn::dyn::detail::make_context | ( | const std::string & | name | ) |
Bridge.
Definition at line 45 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by left_mult(), make_word_context(), project_context(), and right_mult().
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 122 of file make-context.hh.
References make_context(), and vcsn::detail::make_word_context().
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 890 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 109 of file minimize-hopcroft.hh.
automaton vcsn::dyn::detail::minimize | ( | const automaton & | aut, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 157 of file minimize.hh.
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean<Aut>), quotient_t<Aut> > vcsn::dyn::detail::minimize | ( | const Aut & | , |
moore_tag | |||
) |
Definition at line 201 of file minimize-moore.hh.
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 899 of file algos.cc.
Referenced by vcsn::dyn::minimize().
automaton vcsn::dyn::detail::minimize_tag_ | ( | const Aut & | aut | ) |
Definition at line 141 of file minimize.hh.
References vcsn::dyn::make_automaton(), and minimize().
automaton vcsn::dyn::detail::multiply | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 168 of file multiply.hh.
References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), and vcsn::multiply().
Referenced by multiply_label(), and multiply_polynomial().
expression vcsn::dyn::detail::multiply_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (multiply).
Definition at line 295 of file multiply.hh.
References vcsn::dyn::make_expression(), and vcsn::multiply().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::multiply_expression_register | ( | const signature & | sig, |
multiply_expression_t | fn | ||
) |
|
static |
Definition at line 917 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 365 of file multiply.hh.
References vcsn::dyn::make_expression(), and vcsn::multiply().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::multiply_expression_repeated_register | ( | const signature & | sig, |
multiply_expression_repeated_t | fn | ||
) |
|
static |
Definition at line 926 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 388 of file multiply.hh.
References join(), vcsn::dyn::make_label(), multiply(), and vcsn::detail::rs.
bool vcsn::dyn::detail::multiply_label_register | ( | const signature & | sig, |
multiply_label_t | fn | ||
) |
|
static |
Definition at line 935 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 412 of file multiply.hh.
References vcsn::dyn::make_polynomial(), and 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 |
Definition at line 944 of file algos.cc.
Referenced by vcsn::dyn::multiply().
bool vcsn::dyn::detail::multiply_register | ( | const signature & | sig, |
multiply_t | fn | ||
) |
|
static |
Definition at line 908 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 259 of file multiply.hh.
References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), 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 953 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 434 of file multiply.hh.
References join(), vcsn::dyn::make_weight(), 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 |
Definition at line 962 of file algos.cc.
Referenced by vcsn::dyn::multiply().
weight vcsn::dyn::detail::multiply_weight_repeated | ( | const weight & | wgt, |
int | min, | ||
int | max | ||
) |
Bridge (multiply).
Definition at line 447 of file multiply.hh.
References vcsn::dyn::make_weight(), and vcsn::multiply().
bool vcsn::dyn::detail::multiply_weight_repeated_register | ( | const signature & | sig, |
multiply_weight_repeated_t | fn | ||
) |
|
static |
Definition at line 971 of file algos.cc.
Referenced by vcsn::dyn::multiply().
automaton vcsn::dyn::detail::normalize | ( | const automaton & | aut | ) |
Bridge.
Definition at line 41 of file normalize.hh.
References vcsn::dyn::make_automaton(), and vcsn::normalize().
bool vcsn::dyn::detail::normalize_register | ( | const signature & | sig, |
normalize_t | fn | ||
) |
|
static |
Definition at line 980 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 989 of file algos.cc.
Referenced by vcsn::dyn::num_components().
size_t vcsn::dyn::detail::num_tapes | ( | const context & | ctx | ) |
Bridge.
Definition at line 158 of file make-context.hh.
References vcsn::num_tapes().
bool vcsn::dyn::detail::num_tapes_register | ( | const signature & | sig, |
num_tapes_t | fn | ||
) |
|
static |
Definition at line 998 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 263 of file pair.hh.
References vcsn::dyn::make_automaton(), and vcsn::pair().
bool vcsn::dyn::detail::pair_register | ( | const signature & | sig, |
pair_t | fn | ||
) |
Definition at line 1007 of file algos.cc.
Referenced by vcsn::dyn::pair().
automaton vcsn::dyn::detail::partial_identity | ( | const automaton & | aut | ) |
Bridge.
Definition at line 79 of file partial-identity.hh.
References vcsn::dyn::make_automaton(), and vcsn::partial_identity().
bool vcsn::dyn::detail::partial_identity_register | ( | const signature & | sig, |
partial_identity_t | fn | ||
) |
|
static |
Definition at line 1016 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::make_automaton(), and vcsn::prefix().
bool vcsn::dyn::detail::prefix_register | ( | const signature & | sig, |
prefix_t | fn | ||
) |
Definition at line 1025 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 | ||
) |
std::ostream& vcsn::dyn::detail::print_context | ( | const context & | ctx, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Bridge (print).
Definition at line 128 of file print.hh.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::print_context_register | ( | const signature & | sig, |
print_context_t | fn | ||
) |
|
static |
Definition at line 1043 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 158 of file print.hh.
References 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 264 of file print.hh.
References vcsn::print().
Referenced by vcsn::ctx::detail::register_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 177 of file print.hh.
References 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 232 of file print.hh.
References 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 1034 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 295 of file print.hh.
References 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::make_automaton().
context vcsn::dyn::detail::project_context | ( | const context & | ctx, |
integral_constant | |||
) |
Bridge (project).
Definition at line 23 of file project.hh.
References make_context().
bool vcsn::dyn::detail::project_context_register | ( | const signature & | sig, |
project_context_t | fn | ||
) |
label vcsn::dyn::detail::project_label | ( | const label & | lbl, |
integral_constant | |||
) |
Bridge (project).
Definition at line 106 of file project.hh.
References vcsn::dyn::make_label().
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 82 of file project.hh.
References vcsn::dyn::make_polynomial().
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 291 of file proper.hh.
References vcsn::dyn::make_automaton(), vcsn::proper(), and vcsn::proper_lazy().
bool vcsn::dyn::detail::proper_register | ( | const signature & | sig, |
proper_t | fn | ||
) |
Definition at line 1052 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::make_automaton(), and vcsn::push_weights().
bool vcsn::dyn::detail::push_weights_register | ( | const signature & | sig, |
push_weights_t | fn | ||
) |
|
static |
Definition at line 1061 of file algos.cc.
Referenced by vcsn::dyn::push_weights().
automaton vcsn::dyn::detail::random_automaton | ( | const context & | ctx, |
unsigned | num_states, | ||
float | density, | ||
unsigned | num_initial, | ||
unsigned | num_final, | ||
float | loop_chance | ||
) |
Bridge.
Definition at line 259 of file random.hh.
References vcsn::dyn::make_automaton(), and vcsn::random_automaton().
automaton vcsn::dyn::detail::random_automaton_deterministic | ( | const context & | ctx, |
unsigned | num_states | ||
) |
Bridge.
Definition at line 318 of file random.hh.
References vcsn::dyn::make_automaton(), and vcsn::random_automaton_deterministic().
bool vcsn::dyn::detail::random_automaton_deterministic_register | ( | const signature & | sig, |
random_automaton_deterministic_t | fn | ||
) |
|
static |
Definition at line 1079 of file algos.cc.
Referenced by vcsn::dyn::random_automaton_deterministic().
bool vcsn::dyn::detail::random_automaton_register | ( | const signature & | sig, |
random_automaton_t | fn | ||
) |
|
static |
Definition at line 1070 of file algos.cc.
Referenced by vcsn::dyn::random_automaton().
expression vcsn::dyn::detail::rdiv_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (rdiv).
Definition at line 108 of file divide.hh.
References vcsn::dyn::make_expression(), and vcsn::dyn::rdiv().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::rdiv_expression_register | ( | const signature & | sig, |
rdiv_expression_t | fn | ||
) |
|
static |
Definition at line 1088 of file algos.cc.
Referenced by vcsn::dyn::rdiv().
label vcsn::dyn::detail::read_label | ( | const context & | ctx, |
std::istream & | is, | ||
bool | quoted | ||
) |
Bridge.
Definition at line 34 of file read.hh.
References vcsn::dyn::make_label().
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 64 of file read.hh.
References vcsn::dyn::make_polynomial().
bool vcsn::dyn::detail::read_polynomial_register | ( | const signature & | sig, |
read_polynomial_t | fn | ||
) |
|
static |
Definition at line 1097 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 95 of file read.hh.
References vcsn::dyn::make_weight().
bool vcsn::dyn::detail::read_weight_register | ( | const signature & | sig, |
read_weight_t | fn | ||
) |
|
static |
Definition at line 1106 of file algos.cc.
Referenced by vcsn::dyn::read_weight().
automaton vcsn::dyn::detail::realtime | ( | const automaton & | aut | ) |
Bridge.
Definition at line 232 of file letterize.hh.
References vcsn::dyn::make_automaton(), and vcsn::realtime().
bool vcsn::dyn::detail::realtime_register | ( | const signature & | sig, |
realtime_t | fn | ||
) |
|
static |
Definition at line 1115 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::make_automaton().
bool vcsn::dyn::detail::reduce_register | ( | const signature & | sig, |
reduce_t | fn | ||
) |
Definition at line 1124 of file algos.cc.
Referenced by vcsn::dyn::reduce().
automaton vcsn::dyn::detail::right_mult | ( | const automaton & | aut, |
const weight & | weight, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 323 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), join(), make_context(), and vcsn::make_mutable_automaton().
expansion vcsn::dyn::detail::right_mult_expansion | ( | const expansion & | exp, |
const weight & | weight | ||
) |
Bridge (right_mult).
Definition at line 378 of file left-mult.hh.
References vcsn::join_weightset_expansionset(), vcsn::dyn::make_expansion(), vcsn::right_mult(), and vcsn::detail::rs.
bool vcsn::dyn::detail::right_mult_expansion_register | ( | const signature & | sig, |
right_mult_expansion_t | fn | ||
) |
|
static |
Definition at line 1142 of file algos.cc.
Referenced by vcsn::dyn::right_mult().
expression vcsn::dyn::detail::right_mult_expression | ( | const expression & | exp, |
const weight & | weight | ||
) |
Bridge (right_mult).
Definition at line 403 of file left-mult.hh.
References vcsn::join_weightset_expressionset(), vcsn::dyn::make_expression(), vcsn::right_mult(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::right_mult_expression_register | ( | const signature & | sig, |
right_mult_expression_t | fn | ||
) |
|
static |
Definition at line 1151 of file algos.cc.
Referenced by vcsn::dyn::right_mult().
bool vcsn::dyn::detail::right_mult_register | ( | const signature & | sig, |
right_mult_t | fn | ||
) |
|
static |
Definition at line 1133 of file algos.cc.
Referenced by vcsn::dyn::right_mult().
automaton vcsn::dyn::detail::right_mult_tag | ( | Aut & | aut, |
const weight_t_of< Aut > & | w | ||
) |
Right-product.
Definition at line 315 of file left-mult.hh.
References vcsn::dyn::make_automaton(), and vcsn::right_mult_here().
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 1160 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 295 of file shortest.hh.
References vcsn::dyn::make_polynomial(), and vcsn::detail::make_word_polynomialset().
bool vcsn::dyn::detail::shortest_register | ( | const signature & | sig, |
shortest_t | fn | ||
) |
|
static |
Definition at line 1169 of file algos.cc.
Referenced by vcsn::dyn::shortest().
automaton vcsn::dyn::detail::shuffle | ( | const std::vector< automaton > & | as | ) |
Bridge (shuffle).
Definition at line 553 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 543 of file conjunction.hh.
References vcsn::dyn::make_automaton(), and vcsn::shuffle().
Referenced by vcsn::rat::printer< ExpSet >::format(), vcsn::rat::expansionset< expressionset_t >::infiltration(), and vcsn::rat::expansionset< expressionset_t >::shuffle().
expression vcsn::dyn::detail::shuffle_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (shuffle).
Definition at line 584 of file conjunction.hh.
References vcsn::dyn::make_expression(), and vcsn::shuffle().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::shuffle_expression_register | ( | const signature & | sig, |
shuffle_expression_t | fn | ||
) |
|
static |
Definition at line 1187 of file algos.cc.
Referenced by vcsn::dyn::shuffle().
bool vcsn::dyn::detail::shuffle_register | ( | const signature & | sig, |
shuffle_t | fn | ||
) |
Definition at line 1178 of file algos.cc.
Referenced by vcsn::dyn::shuffle().
automaton vcsn::dyn::detail::sort | ( | const automaton & | aut | ) |
Bridge.
Definition at line 178 of file sort.hh.
References vcsn::dyn::make_automaton(), and vcsn::sort().
Referenced by vcsn::detail::sorter< Aut >::visit_successors_of_().
bool vcsn::dyn::detail::sort_register | ( | const signature & | sig, |
sort_t | fn | ||
) |
Definition at line 1196 of file algos.cc.
Referenced by vcsn::dyn::sort().
polynomial vcsn::dyn::detail::split | ( | const expression & | exp | ) |
Bridge.
Definition at line 277 of file split.hh.
References vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.
polynomial vcsn::dyn::detail::split_polynomial | ( | const polynomial & | poly | ) |
Bridge (split).
Definition at line 320 of file split.hh.
References vcsn::dyn::make_polynomial().
bool vcsn::dyn::detail::split_polynomial_register | ( | const signature & | sig, |
split_polynomial_t | fn | ||
) |
|
static |
Definition at line 1214 of file algos.cc.
Referenced by vcsn::dyn::split().
bool vcsn::dyn::detail::split_register | ( | const signature & | sig, |
split_t | fn | ||
) |
Definition at line 1205 of file algos.cc.
Referenced by vcsn::dyn::split().
automaton vcsn::dyn::detail::standard | ( | const automaton & | aut | ) |
Bridge.
Definition at line 138 of file standard.hh.
References vcsn::dyn::make_automaton(), and vcsn::standard().
automaton vcsn::dyn::detail::standard_expression | ( | const expression & | exp | ) |
Bridge (standard).
Definition at line 388 of file standard.hh.
References vcsn::dyn::make_automaton().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::standard_expression_register | ( | const signature & | sig, |
standard_expression_t | fn | ||
) |
|
static |
Definition at line 1232 of file algos.cc.
Referenced by vcsn::dyn::standard().
bool vcsn::dyn::detail::standard_register | ( | const signature & | sig, |
standard_t | fn | ||
) |
|
static |
Definition at line 1223 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::detail::dispatch_tags(), vcsn::dyn::make_automaton(), and vcsn::star().
unsigned vcsn::dyn::detail::star_height | ( | const expression & | exp | ) |
Bridge.
Definition at line 113 of file star-height.hh.
bool vcsn::dyn::detail::star_height_register | ( | const signature & | sig, |
star_height_t | fn | ||
) |
|
static |
Definition at line 1250 of file algos.cc.
Referenced by vcsn::dyn::star_height().
|
inline |
Bridge.
Definition at line 199 of file star-normal-form.hh.
References vcsn::dyn::make_expression().
bool vcsn::dyn::detail::star_normal_form_register | ( | const signature & | sig, |
star_normal_form_t | fn | ||
) |
|
static |
Definition at line 1259 of file algos.cc.
Referenced by vcsn::dyn::star_normal_form().
bool vcsn::dyn::detail::star_register | ( | const signature & | sig, |
star_t | fn | ||
) |
Definition at line 1241 of file algos.cc.
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::make_automaton(), and vcsn::strip().
Referenced by is_valid().
bool vcsn::dyn::detail::strip_register | ( | const signature & | sig, |
strip_t | fn | ||
) |
Definition at line 1268 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::make_automaton(), and vcsn::subword().
bool vcsn::dyn::detail::subword_register | ( | const signature & | sig, |
subword_t | fn | ||
) |
Definition at line 1277 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::make_automaton(), and vcsn::suffix().
bool vcsn::dyn::detail::suffix_register | ( | const signature & | sig, |
suffix_t | fn | ||
) |
Definition at line 1286 of file algos.cc.
Referenced by vcsn::dyn::suffix().
automaton vcsn::dyn::detail::sum | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 111 of file sum.hh.
References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), and vcsn::sum().
Referenced by sum_polynomial(), and sum_weight().
expansion vcsn::dyn::detail::sum_expansion | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
Bridge (sum).
Definition at line 171 of file sum.hh.
References join(), vcsn::dyn::make_expansion(), vcsn::detail::rs, and vcsn::sum().
bool vcsn::dyn::detail::sum_expansion_register | ( | const signature & | sig, |
sum_expansion_t | fn | ||
) |
|
static |
Definition at line 1304 of file algos.cc.
Referenced by vcsn::dyn::sum().
expression vcsn::dyn::detail::sum_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (sum).
Definition at line 194 of file sum.hh.
References vcsn::dyn::make_expression(), and vcsn::sum().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::sum_expression_register | ( | const signature & | sig, |
sum_expression_t | fn | ||
) |
|
static |
Definition at line 1313 of file algos.cc.
Referenced by vcsn::dyn::sum().
polynomial vcsn::dyn::detail::sum_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (sum).
Definition at line 148 of file sum.hh.
References vcsn::dyn::make_polynomial(), and sum().
bool vcsn::dyn::detail::sum_polynomial_register | ( | const signature & | sig, |
sum_polynomial_t | fn | ||
) |
|
static |
Definition at line 1322 of file algos.cc.
Referenced by vcsn::dyn::sum().
bool vcsn::dyn::detail::sum_register | ( | const signature & | sig, |
sum_t | fn | ||
) |
Definition at line 1295 of file algos.cc.
Referenced by vcsn::dyn::sum().
weight vcsn::dyn::detail::sum_weight | ( | const weight & | lhs, |
const weight & | rhs | ||
) |
Bridge (sum).
Definition at line 217 of file sum.hh.
References join(), vcsn::dyn::make_weight(), vcsn::detail::rs, and sum().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::sum_weight_register | ( | const signature & | sig, |
sum_weight_t | fn | ||
) |
|
static |
Definition at line 1331 of file algos.cc.
Referenced by vcsn::dyn::sum().
automaton vcsn::dyn::detail::synchronize | ( | const automaton & | aut | ) |
Bridge.
Definition at line 362 of file synchronize.hh.
References vcsn::dyn::make_automaton(), and vcsn::synchronize().
Referenced by vcsn::synchronize().
bool vcsn::dyn::detail::synchronize_register | ( | const signature & | sig, |
synchronize_t | fn | ||
) |
|
static |
Definition at line 1340 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::make_label(), 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 1349 of file algos.cc.
Referenced by vcsn::dyn::synchronizing_word().
|
inline |
Bridge.
Definition at line 208 of file thompson.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().
bool vcsn::dyn::detail::thompson_register | ( | const signature & | sig, |
thompson_t | fn | ||
) |
|
static |
Definition at line 1358 of file algos.cc.
Referenced by vcsn::dyn::thompson().
expansion vcsn::dyn::detail::to_expansion | ( | const expression & | exp | ) |
Bridge.
Definition at line 426 of file to-expansion.hh.
References vcsn::dyn::make_expansion(), and vcsn::detail::rs.
bool vcsn::dyn::detail::to_expansion_register | ( | const signature & | sig, |
to_expansion_t | fn | ||
) |
|
static |
Definition at line 1367 of file algos.cc.
Referenced by vcsn::dyn::to_expansion().
expression vcsn::dyn::detail::to_expression | ( | const automaton & | aut, |
vcsn::rat::identities | ids, | ||
const std::string & | algo | ||
) |
Bridge.
Definition at line 608 of file to-expression.hh.
References vcsn::dyn::make_expression(), vcsn::detail::rs, and vcsn::to_expression().
Referenced by to_expression_class().
expression vcsn::dyn::detail::to_expression_class | ( | const context & | ctx, |
rat::identities | ids, | ||
const letter_class_t & | letters, | ||
bool | accept | ||
) |
Bridge (to_expression).
Definition at line 721 of file to-expression.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), vcsn::detail::rs, and to_expression().
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::to_expression_class_register | ( | const signature & | sig, |
to_expression_class_t | fn | ||
) |
|
static |
Definition at line 1385 of file algos.cc.
Referenced by vcsn::dyn::to_expression().
expression vcsn::dyn::detail::to_expression_label | ( | const context & | ctx, |
rat::identities | ids, | ||
const label & | lbl | ||
) |
Bridge (to_expression).
Definition at line 632 of file to-expression.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::to_expression_label_register | ( | const signature & | sig, |
to_expression_label_t | fn | ||
) |
|
static |
Definition at line 1394 of file algos.cc.
Referenced by vcsn::dyn::to_expression().
bool vcsn::dyn::detail::to_expression_register | ( | const signature & | sig, |
to_expression_t | fn | ||
) |
|
static |
Definition at line 1376 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 266 of file transpose.hh.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::transpose_expression_register | ( | const signature & | sig, |
transpose_expression_t | fn | ||
) |
|
static |
Definition at line 1412 of file algos.cc.
Referenced by vcsn::dyn::transpose().
bool vcsn::dyn::detail::transpose_register | ( | const signature & | sig, |
transpose_t | fn | ||
) |
|
static |
Definition at line 1403 of file algos.cc.
Referenced by vcsn::dyn::transpose().
expression vcsn::dyn::detail::transposition_expression | ( | const expression & | exp | ) |
Bridge (transposition).
Definition at line 287 of file transpose.hh.
Referenced by vcsn::ctx::detail::register_functions().
bool vcsn::dyn::detail::transposition_expression_register | ( | const signature & | sig, |
transposition_expression_t | fn | ||
) |
|
static |
Definition at line 1421 of file algos.cc.
Referenced by vcsn::dyn::transposition().
automaton vcsn::dyn::detail::trie | ( | const polynomial & | poly | ) |
Bridge.
Definition at line 241 of file trie.hh.
References vcsn::dyn::make_automaton(), and vcsn::trie().
bool vcsn::dyn::detail::trie_register | ( | const signature & | sig, |
trie_t | fn | ||
) |
Definition at line 1430 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 301 of file trie.hh.
References vcsn::dyn::make_automaton(), 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 1439 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::make_automaton(), and vcsn::trim().
bool vcsn::dyn::detail::trim_register | ( | const signature & | sig, |
trim_t | fn | ||
) |
Definition at line 1448 of file algos.cc.
Referenced by vcsn::dyn::trim().
expansion vcsn::dyn::detail::tuple_ | ( | const std::vector< expansion > & | es, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 74 of file tuple.hh.
References vcsn::dyn::make_expansion(), vcsn::tuple(), and vcsn::tuple_expansionset().
expression vcsn::dyn::detail::tuple_ | ( | const std::vector< expression > & | es, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 115 of file tuple.hh.
References vcsn::dyn::make_expression(), vcsn::detail::rs, vcsn::tuple(), and vcsn::tuple_expressionset().
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 1457 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 |
Definition at line 1466 of file algos.cc.
Referenced by vcsn::dyn::tuple().
automaton vcsn::dyn::detail::u | ( | const context & | ctx, |
unsigned | n | ||
) |
Bridge.
Definition at line 70 of file u.hh.
References vcsn::dyn::make_automaton(), and vcsn::u().
bool vcsn::dyn::detail::u_register | ( | const signature & | sig, |
u_t | fn | ||
) |
Definition at line 1475 of file algos.cc.
Referenced by vcsn::dyn::u().
automaton vcsn::dyn::detail::universal | ( | const automaton & | aut | ) |
Bridge.
Definition at line 149 of file universal.hh.
References vcsn::dyn::make_automaton(), and vcsn::universal().
bool vcsn::dyn::detail::universal_register | ( | const signature & | sig, |
universal_t | fn | ||
) |
|
static |
Definition at line 1484 of file algos.cc.
Referenced by vcsn::dyn::universal().
weight vcsn::dyn::detail::weight_series | ( | const automaton & | aut | ) |
Bridge.
Definition at line 43 of file weight-series.hh.
References vcsn::rat::ctx(), and vcsn::dyn::make_weight().
bool vcsn::dyn::detail::weight_series_register | ( | const signature & | sig, |
weight_series_t | fn | ||
) |
|
static |
Definition at line 1493 of file algos.cc.
Referenced by vcsn::dyn::weight_series().
automaton vcsn::dyn::detail::zpc | ( | const expression & | exp, |
const std::string & | algo | ||
) |
Bridge.
Definition at line 366 of file zpc.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().
bool vcsn::dyn::detail::zpc_register | ( | const signature & | sig, |
zpc_t | fn | ||
) |
Definition at line 1502 of file algos.cc.
Referenced by vcsn::dyn::zpc().