 |
Vcsn
2.2
Be Rational
|
|
Vcsn
2.2
Be Rational
|
Classes | |
| class | automaton_base |
| Base class for automata. More... | |
| class | automaton_wrapper |
| A wrapped typed automaton. More... | |
| class | context_base |
| Template-less root for contexts. More... | |
| class | context_wrapper |
| A wrapped typed context. More... | |
| class | expansion_base |
| An abstract expansion. More... | |
| class | expansion_wrapper |
| Aggregate an expansion and its expansionset. More... | |
| class | expression_base |
| An abstract expression. More... | |
| class | 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... | |
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... | |
| 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.
Bridge.
The accessible subautomaton of aut.
Definition at line 206 of file accessible.hh.
References vcsn::accessible(), and vcsn::dyn::make_automaton().
Bridge.
An ambiguous word, or raise if there is none.
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::are_equivalent | ( | const automaton & | aut1, |
| const automaton & | aut2 | ||
| ) |
Bridge.
Whether compute the same series.
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_isomorphic | ( | const automaton & | aut1, |
| const automaton & | aut2 | ||
| ) |
Bridge.
Whether there exists an isomorphism between the states of lhs and those of rhs.
Definition at line 700 of file are-isomorphic.hh.
References are_isomorphic().
Referenced by vcsn::dyn::are_isomorphic().
| automaton vcsn::dyn::detail::cerny | ( | const context & | ctx, |
| unsigned | num_states | ||
| ) |
Bridge.
Produce a Černý automaton of num_states states.
Definition at line 64 of file cerny.hh.
References vcsn::cerny(), and vcsn::dyn::make_automaton().
Bridge.
The coaccessible subautomaton of aut.
Definition at line 215 of file accessible.hh.
References vcsn::coaccessible(), and vcsn::dyn::make_automaton().
| 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().
| 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_tag_ | ( | const Aut & | aut | ) |
Definition at line 186 of file minimize.hh.
References vcsn::dyn::make_automaton(), minimize(), and transpose().
Bridge.
The complement of aut.
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().
| 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().
Bridge.
A completed copy of aut.
Definition at line 76 of file complete.hh.
References vcsn::complete(), and vcsn::dyn::make_automaton().
| automaton vcsn::dyn::detail::compose | ( | automaton & | lhs, |
| automaton & | rhs, | ||
| bool | lazy | ||
| ) |
Bridge.
The composition of transducers lhs and rhs.
Definition at line 429 of file compose.hh.
References vcsn::compose(), vcsn::compose_lazy(), and vcsn::dyn::make_automaton().
| 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().
Bridge.
The conjugate of aut.
Definition at line 58 of file conjugate.hh.
References conjugate(), and vcsn::dyn::make_automaton().
Referenced by vcsn::dyn::conjugate().
| automaton vcsn::dyn::detail::conjunction | ( | const std::vector< automaton > & | as, |
| bool | lazy | ||
| ) |
Bridge (conjunction).
The conjunction (aka synchronized product) of automata.
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().
| 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().
| 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().
| weight vcsn::dyn::detail::constant_term | ( | const expression & | exp | ) |
Bridge.
The weight associated to the empty word in e.
Definition at line 204 of file constant-term.hh.
References vcsn::dyn::make_weight().
Bridge.
The context of this automaton.
Definition at line 64 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by vcsn::rat::parser::parse(), and 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().
| 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().
Bridge.
A copy of aut.
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().
| 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.
Bridge.
A standardized transpositive a.
Definition at line 147 of file standard.hh.
References costandard(), and vcsn::dyn::make_automaton().
Referenced by vcsn::dyn::costandard().
| automaton vcsn::dyn::detail::cotrie | ( | const polynomial & | poly | ) |
Bridge.
A reversed trie-like automaton (multiple initial states, single final state) automaton to accept p.
Definition at line 250 of file trie.hh.
References vcsn::cotrie(), and vcsn::dyn::make_automaton().
| 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().
| automaton vcsn::dyn::detail::de_bruijn | ( | const dyn::context & | ctx, |
| unsigned | n | ||
| ) |
Bridge.
A simple NFA for (a+b)*a(a+b)^n.
Definition at line 59 of file de-bruijn.hh.
References vcsn::de_bruijn(), and vcsn::dyn::make_automaton().
Bridge.
The automaton with the delay of each state.
Definition at line 350 of file is-synchronized.hh.
| polynomial vcsn::dyn::detail::derivation | ( | const expression & | exp, |
| const label & | lbl, | ||
| bool | breaking | ||
| ) |
Bridge.
Derive exp with respect to s.
Definition at line 337 of file derivation.hh.
References vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.
| automaton vcsn::dyn::detail::derived_term | ( | const expression & | exp, |
| const std::string & | algo | ||
| ) |
Bridge.
The derived-term automaton of exp.
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().
Referenced by vcsn::dyn::to_automaton().
| 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().
| 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.
An automaton whose behavior is that of lhs on words not accepted by rhs.
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().
| automaton vcsn::dyn::detail::divkbaseb | ( | const context & | ctx, |
| unsigned | divisor, | ||
| unsigned | base | ||
| ) |
Bridge.
An automaton which accepts a word n representing a number in base b iff k|n.
Definition at line 71 of file divkbaseb.hh.
References vcsn::divkbaseb(), and vcsn::dyn::make_automaton().
|
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.
The double_ring automaton with n states and f the list of finals.
Definition at line 77 of file double-ring.hh.
References vcsn::double_ring(), and vcsn::dyn::make_automaton().
|
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.
The LAO automaton aut with state s removed.
Definition at line 477 of file to-expression.hh.
References vcsn::eliminate_state(), and vcsn::dyn::make_automaton().
| weight vcsn::dyn::detail::eval | ( | const automaton & | aut, |
| const label & | lbl | ||
| ) |
Bridge.
Evaluate l on aut.
Definition at line 142 of file eval.hh.
References vcsn::rat::ctx(), eval(), and vcsn::dyn::make_weight().
Referenced by vcsn::dyn::eval().
|
inline |
Bridge.
Distribute product over addition recursively under the starred subexpressions and group the equal monomials.
Definition at line 165 of file expand.hh.
References expand(), and vcsn::dyn::make_expression().
Referenced by vcsn::dyn::expand().
| expression vcsn::dyn::detail::expression_one | ( | const context & | ctx, |
| rat::identities | ids | ||
| ) |
Bridge.
The expression for \e.
Definition at line 15 of file constant.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().
| expression vcsn::dyn::detail::expression_zero | ( | const context & | ctx, |
| rat::identities | ids | ||
| ) |
Bridge.
The expression for \z.
Definition at line 24 of file constant.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().
Bridge.
Create a factor automaton from aut.
Definition at line 121 of file prefix.hh.
References vcsn::factor(), and vcsn::dyn::make_automaton().
| automaton vcsn::dyn::detail::focus | ( | const automaton & | aut, |
| integral_constant | |||
| ) |
| bool vcsn::dyn::detail::has_bounded_lag | ( | const automaton & | aut | ) |
Bridge.
Whether the transducer has bounded lag.
Definition at line 160 of file has-bounded-lag.hh.
References has_bounded_lag().
Referenced by vcsn::dyn::has_bounded_lag().
| bool vcsn::dyn::detail::has_lightening_cycle | ( | const automaton & | aut | ) |
Bridge.
Whether the automaton has a cycle with lightening weight.
Definition at line 35 of file has-lightening-cycle.hh.
References has_lightening_cycle().
Referenced by vcsn::dyn::has_lightening_cycle().
| bool vcsn::dyn::detail::has_twins_property | ( | const automaton & | aut | ) |
Bridge.
Whether the automaton has the twins property.
Definition at line 168 of file has-twins-property.hh.
References has_twins_property().
Referenced by vcsn::dyn::has_twins_property().
| rat::identities vcsn::dyn::detail::identities | ( | const expression & | exp | ) |
Bridge.
The identities of expression exp.
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().
| automaton vcsn::dyn::detail::infiltration | ( | const std::vector< automaton > & | as | ) |
Bridge (infiltration).
The infiltration product of automata.
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().
| std::ostream& vcsn::dyn::detail::info | ( | const automaton & | aut, |
| std::ostream & | out, | ||
| bool | detailed | ||
| ) |
Bridge.
Output various facts about an automaton.
Definition at line 130 of file info.hh.
References info(), and vcsn::detail::out().
Referenced by vcsn::dyn::info(), and vcsn::dyn::print().
| 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().
| automaton vcsn::dyn::detail::insplit | ( | const automaton & | aut, |
| bool | lazy | ||
| ) |
Bridge.
Split automaton on the incoming transition.
Definition at line 349 of file insplit.hh.
References vcsn::insplit(), vcsn::insplit_lazy(), and vcsn::dyn::make_automaton().
| bool vcsn::dyn::detail::is_accessible | ( | const automaton & | aut | ) |
Bridge.
Whether aut is accessible.
Definition at line 233 of file accessible.hh.
References is_accessible().
Referenced by vcsn::dyn::is_accessible().
| bool vcsn::dyn::detail::is_ambiguous | ( | const automaton & | aut | ) |
Bridge.
Whether aut is ambiguous.
Definition at line 53 of file is-ambiguous.hh.
References is_ambiguous().
Referenced by vcsn::dyn::is_ambiguous().
| bool vcsn::dyn::detail::is_coaccessible | ( | const automaton & | aut | ) |
Bridge.
Whether aut is coaccessible.
Definition at line 242 of file accessible.hh.
References is_coaccessible().
Referenced by vcsn::dyn::is_coaccessible().
| bool vcsn::dyn::detail::is_codeterministic | ( | const automaton & | aut | ) |
Bridge.
Whether aut is codeterministic.
Definition at line 93 of file is-deterministic.hh.
References is_codeterministic().
Referenced by vcsn::dyn::is_codeterministic().
| bool vcsn::dyn::detail::is_complete | ( | const automaton & | aut | ) |
Bridge.
Whether aut is complete.
Definition at line 48 of file is-complete.hh.
References is_complete().
Referenced by vcsn::dyn::is_complete().
| bool vcsn::dyn::detail::is_costandard | ( | const automaton & | aut | ) |
Bridge.
Whether is costandard (unique final state, with weight one, no outcoming transition).
Definition at line 63 of file standard.hh.
References is_costandard().
Referenced by vcsn::dyn::is_costandard().
| bool vcsn::dyn::detail::is_cycle_ambiguous | ( | const automaton & | aut | ) |
Bridge.
Whether the automaton is cycle-ambiguous.
Definition at line 173 of file is-ambiguous.hh.
References is_cycle_ambiguous().
Referenced by vcsn::dyn::is_cycle_ambiguous().
| bool vcsn::dyn::detail::is_deterministic | ( | const automaton & | aut | ) |
Bridge.
Whether aut is deterministic.
Definition at line 85 of file is-deterministic.hh.
References is_deterministic().
Referenced by vcsn::dyn::is_deterministic().
| bool vcsn::dyn::detail::is_empty | ( | const automaton & | aut | ) |
Bridge.
Whether has no state.
Definition at line 269 of file accessible.hh.
References is_empty().
Referenced by vcsn::dyn::is_empty().
| bool vcsn::dyn::detail::is_eps_acyclic | ( | const automaton & | aut | ) |
Bridge.
Whether has no cycle of spontaneous transitions.
Definition at line 123 of file is-eps-acyclic.hh.
References is_eps_acyclic().
Referenced by vcsn::dyn::is_eps_acyclic().
| bool vcsn::dyn::detail::is_functional | ( | const automaton & | aut | ) |
Bridge.
Whether aut is functional.
Definition at line 31 of file is-functional.hh.
References is_functional().
Referenced by vcsn::dyn::is_functional().
| bool vcsn::dyn::detail::is_letterized | ( | const automaton & | aut | ) |
Bridge.
Whether aut is letterized.
Definition at line 202 of file letterize.hh.
References is_letterized().
Referenced by vcsn::dyn::is_letterized(), and vcsn::is_realtime().
| bool vcsn::dyn::detail::is_normalized | ( | const automaton & | aut | ) |
Bridge.
Whether is normalized (in the Thompson sense), i.e., standard and co-standard.
Definition at line 33 of file normalize.hh.
References is_normalized().
Referenced by vcsn::dyn::is_normalized().
| bool vcsn::dyn::detail::is_out_sorted | ( | const automaton & | aut | ) |
Bridge.
Whether the outgoing transitions of each state have increasing labels.
Definition at line 76 of file sort.hh.
References is_out_sorted().
Referenced by vcsn::dyn::is_out_sorted().
| bool vcsn::dyn::detail::is_partial_identity | ( | const automaton & | aut | ) |
Bridge.
Whether aut realizes a partial identity.
Definition at line 80 of file is-partial-identity.hh.
References is_partial_identity().
Referenced by vcsn::dyn::is_partial_identity().
|
inline |
Bridge.
Whether has no spontaneous transition.
Definition at line 60 of file is-proper.hh.
References is_proper().
Referenced by vcsn::dyn::is_proper().
| bool vcsn::dyn::detail::is_realtime | ( | const automaton & | aut | ) |
Bridge.
Whether has no spontaneous transition, and is letterized.
Definition at line 260 of file letterize.hh.
References is_realtime().
Referenced by vcsn::dyn::is_realtime().
| bool vcsn::dyn::detail::is_standard | ( | const automaton & | aut | ) |
Bridge.
Whether is standard (unique initial state, with weight one, no incoming transition).
Definition at line 54 of file standard.hh.
References is_standard().
Referenced by vcsn::dyn::is_standard().
| bool vcsn::dyn::detail::is_synchronized | ( | const automaton & | aut | ) |
| bool vcsn::dyn::detail::is_synchronized_by | ( | const automaton & | aut, |
| const label & | word | ||
| ) |
Bridge.
Whether the word synchronizes aut.
Definition at line 72 of file synchronizing-word.hh.
References vcsn::is_synchronized_by().
| bool vcsn::dyn::detail::is_synchronizing | ( | const automaton & | aut | ) |
Bridge.
Whether is synchronizing.
Definition at line 402 of file synchronizing-word.hh.
References vcsn::is_synchronizing().
| bool vcsn::dyn::detail::is_trim | ( | const automaton & | aut | ) |
Bridge.
Whether has no useless state.
Definition at line 251 of file accessible.hh.
References is_trim().
Referenced by vcsn::dyn::is_trim().
| bool vcsn::dyn::detail::is_useless | ( | const automaton & | aut | ) |
Bridge.
Whether has no useful state.
Definition at line 260 of file accessible.hh.
References is_useless().
Referenced by vcsn::dyn::is_useless().
| bool vcsn::dyn::detail::is_valid | ( | const automaton & | aut | ) |
Bridge.
Whether automaton is valid (epsilon-cycles converge).
Definition at line 152 of file is-valid.hh.
References is_valid(), and strip().
Referenced by vcsn::dyn::is_valid().
| 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().
| 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.
The join between two contexts, i.e., their lowest common supertype.
Definition at line 102 of file make-context.hh.
References join(), and vcsn::dyn::make_context().
Referenced by join(), vcsn::dyn::join(), vcsn::detail::join_impl< tupleset< VS1... >, tupleset< VS2... > >::join(), vcsn::dyn::left_mult(), multiply_label(), multiply_weight(), vcsn::dyn::right_mult(), sum_expansion(), and sum_weight().
| automaton vcsn::dyn::detail::ladybird | ( | const dyn::context & | ctx, |
| unsigned | n | ||
| ) |
Bridge.
The ladybird automaton with n states.
Definition at line 56 of file ladybird.hh.
References vcsn::ladybird(), and vcsn::dyn::make_automaton().
| 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().
| 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().
| automaton vcsn::dyn::detail::left_mult | ( | const weight & | weight, |
| const automaton & | aut, | ||
| const std::string & | algo | ||
| ) |
Bridge.
The left-multiplication of an automaton with w as weight.
Definition at line 151 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), join(), make_context(), and vcsn::make_mutable_automaton().
Referenced by vcsn::rat::parser::parse().
| 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.
| 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().
| 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().
Bridge.
The automaton with letter transitions instead of words.
Definition at line 147 of file letterize.hh.
References vcsn::letterize(), and vcsn::dyn::make_automaton().
| automaton vcsn::dyn::detail::levenshtein | ( | const dyn::context & | ctx | ) |
Bridge.
The transducer representing the Levenshtein distance.
Definition at line 66 of file levenshtein.hh.
References vcsn::levenshtein(), and vcsn::dyn::make_automaton().
| 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().
| 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().
| 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().
| polynomial vcsn::dyn::detail::lightest | ( | const automaton & | aut, |
| unsigned | num, | ||
| const std::string & | algo | ||
| ) |
Bridge.
The approximated behavior of an automaton with smallest weights.
Definition at line 215 of file lightest.hh.
References lightest(), vcsn::dyn::make_polynomial(), and vcsn::detail::make_word_polynomialset().
Referenced by vcsn::dyn::lightest().
| automaton vcsn::dyn::detail::lightest_automaton | ( | const automaton & | aut, |
| const std::string & | algo | ||
| ) |
Bridge.
The shortest path automaton using the given algorithm.
Definition at line 43 of file lightest-automaton.hh.
References vcsn::lightest_automaton(), and vcsn::dyn::make_automaton().
| 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().
| automaton_editor* vcsn::dyn::detail::make_automaton_editor | ( | const context & | ctx | ) |
Bridge.
Build an automatonset from its context.
Definition at line 349 of file edit-automaton.hh.
Referenced by vcsn::ctx::detail::register_functions(), vcsn::lazy_automaton_editor::result(), and vcsn::detail::dot::driver::setup_().
| 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 vcsn::dyn::left_mult(), vcsn::dyn::make_word_context(), project_context(), and vcsn::dyn::right_mult().
Bridge.
The context for words.
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().
| 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.
| 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.
| 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.
Multiply (concatenate) two automata.
Definition at line 168 of file multiply.hh.
References vcsn::detail::dispatch_tags(), vcsn::dyn::make_automaton(), and vcsn::multiply().
Referenced by multiply_label(), multiply_polynomial(), and vcsn::rat::parser::parse().
| 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().
| 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().
| 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.
| 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().
| 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().
| 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().
| 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().
Bridge.
Normalize automaton aut.
Definition at line 41 of file normalize.hh.
References vcsn::dyn::make_automaton(), and vcsn::normalize().
| std::size_t vcsn::dyn::detail::num_components | ( | const automaton & | aut | ) |
| size_t vcsn::dyn::detail::num_tapes | ( | const context & | ctx | ) |
Bridge.
The number of input tapes.
Definition at line 158 of file make-context.hh.
References vcsn::num_tapes().
Referenced by vcsn::rat::driver::context(), and vcsn::rat::parser::parse().
| automaton vcsn::dyn::detail::pair | ( | const automaton & | aut, |
| bool | keep_initials | ||
| ) |
Bridge.
Build the pair automaton of the given automaton.
Definition at line 263 of file pair.hh.
References vcsn::dyn::make_automaton(), and vcsn::pair().
Bridge.
Create a partial identity transducer from aut.
Definition at line 79 of file partial-identity.hh.
References vcsn::dyn::make_automaton(), and vcsn::partial_identity().
Bridge.
Create a prefix automaton from aut.
Definition at line 84 of file prefix.hh.
References vcsn::dyn::make_automaton(), and vcsn::prefix().
| std::ostream& vcsn::dyn::detail::print | ( | const automaton & | aut, |
| std::ostream & | o, | ||
| const std::string & | fmt | ||
| ) |
Bridge.
Print automaton a on o using format format.
Definition at line 109 of file print.hh.
References print().
Referenced by vcsn::dyn::print(), and vcsn::rat::parser::yy_print_().
| 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().
| 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().
| 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().
| 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().
| 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().
| 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().
| 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().
| 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().
| 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().
| automaton vcsn::dyn::detail::proper | ( | const automaton & | aut, |
| direction | dir, | ||
| bool | prune, | ||
| const std::string & | algo | ||
| ) |
Bridge.
An equivalent automaton without spontaneous transitions.
Definition at line 291 of file proper.hh.
References vcsn::dyn::make_automaton(), vcsn::proper(), and vcsn::proper_lazy().
Bridge.
The weight pushing automaton of aut.
Definition at line 71 of file push-weights.hh.
References vcsn::dyn::make_automaton(), and vcsn::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.
Produce a random automaton.
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.
Produce a random deterministic automaton.
Definition at line 318 of file random.hh.
References vcsn::dyn::make_automaton(), and vcsn::random_automaton_deterministic().
| 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().
| 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().
| polynomial vcsn::dyn::detail::read_polynomial | ( | const context & | ctx, |
| std::istream & | is | ||
| ) |
Bridge.
Read a polynomial from a stream.
Definition at line 64 of file read.hh.
References vcsn::dyn::make_polynomial(), and read_polynomial().
Referenced by vcsn::dyn::read_polynomial().
| weight vcsn::dyn::detail::read_weight | ( | const context & | ctx, |
| std::istream & | is | ||
| ) |
Bridge.
Read a weight from a stream.
Definition at line 95 of file read.hh.
References vcsn::dyn::make_weight(), and read_weight().
Referenced by vcsn::rat::driver::make_weight(), and vcsn::dyn::read_weight().
Bridge.
Create the realtime automaton (letterized and proper).
Definition at line 232 of file letterize.hh.
References vcsn::dyn::make_automaton(), and vcsn::realtime().
Bridge.
Reduce aut.
Definition at line 621 of file reduce.hh.
References vcsn::dyn::make_automaton(), and reduce().
Referenced by vcsn::dyn::reduce().
| automaton vcsn::dyn::detail::right_mult | ( | const automaton & | aut, |
| const weight & | weight, | ||
| const std::string & | algo | ||
| ) |
Bridge.
The right-mult automaton with w as weight.
Definition at line 323 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), join(), make_context(), and vcsn::make_mutable_automaton().
Referenced by vcsn::rat::parser::parse().
| 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.
| 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().
| 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().
| polynomial vcsn::dyn::detail::shortest | ( | const automaton & | aut, |
| boost::optional< unsigned > | num, | ||
| boost::optional< unsigned > | len | ||
| ) |
Bridge.
The approximated behavior of an automaton.
Definition at line 295 of file shortest.hh.
References vcsn::dyn::make_polynomial(), vcsn::detail::make_word_polynomialset(), and shortest().
Referenced by vcsn::dyn::shortest().
| 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().
Bridge.
A copy of a with normalized state numbers.
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_().
| polynomial vcsn::dyn::detail::split | ( | const expression & | exp | ) |
Bridge.
Break exp.
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().
Bridge.
A standardized a.
Definition at line 138 of file standard.hh.
References vcsn::dyn::make_automaton(), and vcsn::standard().
Referenced by vcsn::dyn::to_automaton().
| 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().
| automaton vcsn::dyn::detail::star | ( | const automaton & | a, |
| const std::string & | algo | ||
| ) |
Bridge.
Star of an automaton.
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 | ) |
|
inline |
Bridge.
A normalized form where star is applied only to proper expressions.
Definition at line 199 of file star-normal-form.hh.
References vcsn::dyn::make_expression(), and star_normal_form().
Referenced by vcsn::dyn::star_normal_form().
Bridge.
The automaton in a with its metadata layers removed.
Definition at line 46 of file strip.hh.
References vcsn::dyn::make_automaton(), and vcsn::strip().
Referenced by vcsn::dyn::is_valid(), vcsn::dyn::read_automaton(), and vcsn::dyn::to_automaton().
Bridge.
Create a subword automaton from aut.
Definition at line 174 of file prefix.hh.
References vcsn::dyn::make_automaton(), and vcsn::subword().
Bridge.
Create a suffix automaton from aut.
Definition at line 44 of file prefix.hh.
References vcsn::dyn::make_automaton(), and vcsn::suffix().
| automaton vcsn::dyn::detail::sum | ( | const automaton & | lhs, |
| const automaton & | rhs, | ||
| const std::string & | algo | ||
| ) |
Bridge.
Sum of two automata.
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().
| 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().
| 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().
| 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().
Bridge.
Create a synchronized transducer from aut.
Definition at line 362 of file synchronize.hh.
References vcsn::dyn::make_automaton(), and vcsn::synchronize().
Referenced by vcsn::synchronize().
| label vcsn::dyn::detail::synchronizing_word | ( | const automaton & | aut, |
| const std::string & | algo | ||
| ) |
Bridge.
A synchronizing word, or raise if there is none.
Definition at line 442 of file synchronizing-word.hh.
References vcsn::dyn::make_label(), vcsn::detail::make_wordset(), and vcsn::synchronizing_word().
|
inline |
Bridge.
The Thompson automaton of e.
Definition at line 208 of file thompson.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().
Referenced by vcsn::dyn::to_automaton().
| expansion vcsn::dyn::detail::to_expansion | ( | const expression & | exp | ) |
Bridge.
First order development of a exp.
Definition at line 426 of file to-expansion.hh.
References vcsn::dyn::make_expansion(), and vcsn::detail::rs.
| expression vcsn::dyn::detail::to_expression | ( | const automaton & | aut, |
| vcsn::rat::identities | ids, | ||
| const std::string & | algo | ||
| ) |
Bridge.
An expression denoting the language of aut.
Definition at line 608 of file to-expression.hh.
References vcsn::dyn::make_expression(), vcsn::detail::rs, and vcsn::to_expression().
Referenced by vcsn::rat::driver::make_atom(), vcsn::rat::driver::make_expression(), and 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().
| 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().
Bridge.
Transpose aut.
Definition at line 247 of file transpose.hh.
Referenced by cominimize_tag_().
| 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().
| 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().
| automaton vcsn::dyn::detail::trie | ( | const polynomial & | poly | ) |
Bridge.
A trie-like automaton (single initial state, multiple final states) to accept p.
Definition at line 241 of file trie.hh.
References vcsn::dyn::make_automaton(), and vcsn::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().
Bridge.
The trim subautomaton of aut.
Definition at line 224 of file accessible.hh.
References vcsn::dyn::make_automaton(), and vcsn::trim().
Referenced by vcsn::dyn::to_automaton().
| 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().
| expression vcsn::dyn::detail::tuple_expression | ( | const std::vector< expression > & | es | ) |
| automaton vcsn::dyn::detail::u | ( | const context & | ctx, |
| unsigned | n | ||
| ) |
Bridge.
The Brzozowski universal witness.
Definition at line 70 of file u.hh.
References vcsn::dyn::make_automaton(), and vcsn::u().
Bridge.
The universal automaton of aut.
Definition at line 149 of file universal.hh.
References vcsn::dyn::make_automaton(), and vcsn::universal().
Bridge.
Compute weight of the series.
Definition at line 43 of file weight-series.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_weight(), and weight_series().
Referenced by vcsn::dyn::weight_series().
| automaton vcsn::dyn::detail::zpc | ( | const expression & | exp, |
| const std::string & | algo | ||
| ) |
Bridge.
The ZPC automaton of exp.
Definition at line 366 of file zpc.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().
Referenced by vcsn::dyn::to_automaton().
1.8.10 
