![]() |
Vcsn
2.1
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<typename Aut , typename Type > | |
using | if_boolean_t = vcsn::enable_if_t< std::is_same< weightset_t_of< Aut >, b >::value, Type > |
template<typename Aut , typename Type > | |
using | if_not_boolean_t = vcsn::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, Type > |
Functions | |
template<typename Aut > | |
automaton | accessible (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | coaccessible (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | trim (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_accessible (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_coaccessible (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_trim (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_useless (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_empty (const automaton &aut) |
Bridge. More... | |
template<typename Aut1 , typename 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<typename Lhs , typename 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<typename Aut1 , typename 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<typename Aut > | |
automaton | complement (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
expression | complement_expression (const expression &exp) |
Bridge (complement). More... | |
template<typename Aut > | |
automaton | complete (const automaton &aut) |
Bridge. More... | |
template<typename Lhs , typename Rhs > | |
automaton | compose (automaton &lhs, automaton &rhs) |
Bridge. More... | |
template<std::size_t I, typename Aut > | |
vcsn::enable_if_t< labelset_t_of< Aut >::has_one()&&I!=0, Aut > | do_insplit (Aut &aut) |
template<std::size_t I, typename Aut > | |
vcsn::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<typename 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 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<typename Aut , typename Ctx > | |
automaton | copy_convert (const automaton &aut, const context &ctx) |
Bridge (copy). More... | |
template<typename 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<typename Aut , typename String > | |
if_boolean_t< Aut, automaton > | determinize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<typename Aut , typename String > | |
if_not_boolean_t< Aut, automaton > | determinize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<typename Aut , typename String > | |
automaton | determinize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename Aut , typename String > | |
if_boolean_t< Aut, automaton > | codeterminize_ (const automaton &aut, const std::string &algo) |
Boolean Bridge. More... | |
template<typename Aut , typename String > | |
if_not_boolean_t< Aut, automaton > | codeterminize_ (const automaton &aut, const std::string &algo) |
Weighted Bridge. More... | |
template<typename 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<typename Aut , typename LabelSet > | |
weight | eval (const automaton &aut, const label &lbl) |
Bridge. More... | |
template<typename ExpSet > | |
expression | expand (const expression &exp) |
Bridge. More... | |
template<typename Aut , typename Unsigneds > | |
automaton | filter (const automaton &aut, const std::vector< unsigned > &states) |
Bridge. More... | |
template<typename Aut , typename Tape > | |
automaton | focus (const automaton &aut, integral_constant) |
Bridge. More... | |
template<typename Aut > | |
bool | has_bounded_lag (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | has_twins_property (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
rat::identities | identities (const expression &exp) |
Bridge. More... | |
template<typename 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<typename Aut > | |
automaton | insplit (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_ambiguous (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
label | ambiguous_word (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_cycle_ambiguous (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_complete (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_deterministic (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_codeterministic (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_eps_acyclic (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_functional (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_partial_identity (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_proper (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_synchronized (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | delay_automaton (const automaton &aut) |
Bridge. More... | |
template<typename ExpSet > | |
bool | is_valid_expression (const expression &exp) |
Bridge (is_valid). More... | |
template<typename Aut > | |
bool | is_valid (const automaton &aut) |
Bridge. More... | |
template<typename Ctx , typename Unsigned > | |
automaton | ladybird (const dyn::context &ctx, unsigned n) |
Bridge. More... | |
template<typename WeightSet , typename Aut > | |
automaton | left_mult (const weight &weight, const automaton &aut) |
Bridge. More... | |
template<typename WeightSet , typename ExpSet > | |
expression | left_mult_expression (const weight &weight, const expression &exp) |
Bridge (left_mult). More... | |
template<typename Aut , typename WeightSet > | |
automaton | right_mult (const automaton &aut, const weight &weight) |
Bridge. 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<typename Aut > | |
automaton | letterize (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_letterized (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | realtime (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_realtime (const automaton &aut) |
Bridge. More... | |
template<typename Context > | |
automaton | levenshtein (const dyn::context &ctx) |
Bridge. More... | |
template<typename 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<typename Aut , typename Num > | |
polynomial | lightest (const automaton &aut, boost::optional< unsigned > num) |
Bridge. More... | |
template<typename Ctx > | |
context | make_context (const std::string &name) |
Bridge. More... | |
template<typename 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 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<typename Aut , typename String > | |
vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski< Aut >), automaton > | minimize_ (const automaton &aut, const std::string &algo) |
template<typename Aut , typename String > | |
vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski< Aut >), automaton > | minimize_ (const automaton &aut, const std::string &algo) |
template<typename Aut , typename String > | |
automaton | minimize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename Aut , typename String > | |
vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski< Aut >), automaton > | cominimize_ (const automaton &aut, const std::string &algo) |
template<typename Aut , typename String > | |
vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski< Aut >), automaton > | cominimize_ (const automaton &aut, const std::string &algo) |
template<typename Aut , typename String > | |
automaton | cominimize (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename Lhs , typename Rhs > | |
automaton | multiply (const automaton &lhs, const automaton &rhs) |
Bridge. More... | |
template<typename Aut , typename Int1 , typename Int2 > | |
automaton | multiply_repeated (const automaton &a, int min, int max) |
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<typename Aut > | |
bool | is_normalized (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | normalize (const automaton &aut) |
Bridge. More... | |
template<typename Aut , typename > | |
automaton | pair (const automaton &aut, bool keep_initials) |
Bridge. More... | |
template<typename Aut > | |
automaton | partial_identity (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | suffix (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | prefix (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | factor (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | subword (const automaton &aut) |
Bridge. More... | |
template<typename 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<typename 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 Aut , typename Dir , typename Bool , typename String > | |
automaton | proper (const automaton &aut, direction dir, bool prune, const std::string &algo) |
Bridge. More... | |
template<typename 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<typename Aut > | |
automaton | reduce (const automaton &aut) |
Bridge. More... | |
template<typename Aut , typename String > | |
automaton | scc (const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename Aut > | |
std::size_t | num_components (const automaton &aut) |
Bridge. More... | |
template<typename Aut , typename Unsigned > | |
automaton | component (const automaton &aut, unsigned num) |
Bridge. More... | |
template<typename Aut > | |
automaton | condense (const automaton &aut) |
Bridge. More... | |
template<typename Aut , typename Num , typename Len > | |
polynomial | shortest (const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len) |
Bridge. More... | |
template<typename Aut > | |
bool | is_out_sorted (const automaton &aut) |
Bridge. More... | |
template<typename 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<typename Aut > | |
bool | is_standard (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | is_costandard (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
automaton | standard (const automaton &aut) |
Bridge. More... | |
template<typename 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<typename Aut > | |
automaton | star (const automaton &a) |
Bridge. More... | |
template<typename Aut > | |
automaton | strip (const automaton &aut) |
Bridge. More... | |
template<typename Lhs , typename Rhs > | |
automaton | sum (const automaton &lhs, const automaton &rhs) |
Bridge. More... | |
template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
polynomial | sum_polynomial (const polynomial &lhs, const polynomial &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<typename Aut > | |
automaton | synchronize (const automaton &aut) |
Bridge. More... | |
template<typename Aut , typename LabelSet > | |
bool | is_synchronized_by (const automaton &aut, const label &word) |
Bridge. More... | |
template<typename Aut > | |
bool | is_synchronizing (const automaton &aut) |
Bridge. More... | |
template<typename 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<typename Aut , typename Int > | |
automaton | eliminate_state (const automaton &aut, int state) |
Bridge. More... | |
template<typename 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<typename 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 > | |
automaton | trie_stream (const context &ctx, std::istream &is) |
Bridge (trie). More... | |
template<typename Context , typename Istream > | |
automaton | cotrie_stream (const context &ctx, std::istream &is) |
Bridge (cotrie). 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<typename Lhs , typename Rhs > | |
automaton | union_a (const automaton &lhs, const automaton &rhs) |
Bridge. More... | |
template<typename Aut > | |
automaton | universal (const automaton &aut) |
Bridge. More... | |
template<typename 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 To , typename From > | |
To | dyn_cast (From &&from) |
A dynamic_cast in debug mode, static_cast with NDEBUG. More... | |
using vcsn::dyn::detail::if_boolean_t = typedef vcsn::enable_if_t<std::is_same<weightset_t_of<Aut>, b>::value, Type> |
Definition at line 531 of file determinize.hh.
using vcsn::dyn::detail::if_not_boolean_t = typedef vcsn::enable_if_t<!std::is_same<weightset_t_of<Aut>, b>::value, Type> |
Definition at line 535 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 97 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 701 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().
|
inline |
Boolean Bridge.
Definition at line 593 of file determinize.hh.
|
inline |
Weighted Bridge.
Definition at line 608 of file determinize.hh.
|
inline |
Definition at line 134 of file minimize.hh.
References vcsn::cominimize(), vcsn::cominimize_brzozowski(), and vcsn::dyn::make_automaton().
|
inline |
Definition at line 146 of file minimize.hh.
References vcsn::cominimize(), and vcsn::dyn::make_automaton().
Bridge.
The complement of aut.
Definition at line 62 of file complement.hh.
References vcsn::complement(), and vcsn::dyn::make_automaton().
expression vcsn::dyn::detail::complement_expression | ( | const expression & | exp | ) |
Bridge (complement).
Definition at line 81 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 | ||
) |
Bridge.
The composition of transducers lhs and rhs.
Definition at line 307 of file compose.hh.
References vcsn::compose(), and vcsn::dyn::make_automaton().
expression vcsn::dyn::detail::concatenate_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (concatenate).
Definition at line 234 of file multiply.hh.
References vcsn::join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
automaton vcsn::dyn::detail::conjunction | ( | const std::vector< automaton > & | as, |
bool | lazy | ||
) |
Bridge (conjunction).
The conjunction (aka synchronized product) of automata.
Definition at line 615 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 598 of file conjunction.hh.
References vcsn::conjunction(), vcsn::conjunction_lazy(), do_insplit(), and vcsn::dyn::make_automaton().
Referenced by vcsn::rat::printer< ExpSet >::format().
expression vcsn::dyn::detail::conjunction_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (conjunction).
Definition at line 877 of file conjunction.hh.
References vcsn::conjunction(), vcsn::join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
automaton vcsn::dyn::detail::conjunction_repeated | ( | const automaton & | aut, |
unsigned | n | ||
) |
Bridge (conjunction).
Definition at line 846 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 63 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by vcsn::ctx::detail::register_functions().
context vcsn::dyn::detail::context_of_expression | ( | const expression & | exp | ) |
Bridge (context_of).
Definition at line 72 of file make-context.hh.
References vcsn::dyn::make_context().
Referenced by vcsn::ctx::detail::register_functions().
Bridge.
A copy of aut.
Definition at line 337 of file copy.hh.
References vcsn::copy(), and vcsn::dyn::make_automaton().
|
inline |
Bridge (copy).
Definition at line 324 of file copy.hh.
References vcsn::copy_into(), vcsn::dyn::make_automaton(), and vcsn::make_mutable_automaton().
|
inline |
Bridge (copy).
Definition at line 357 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 151 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 191 of file trie.hh.
References cotrie(), and vcsn::dyn::make_automaton().
Referenced by vcsn::dyn::cotrie(), and cotrie_stream().
automaton vcsn::dyn::detail::cotrie_stream | ( | const context & | ctx, |
std::istream & | is | ||
) |
Bridge (cotrie).
Definition at line 250 of file trie.hh.
References 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 347 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.
Referenced by vcsn::dyn::to_automaton().
|
inline |
Bridge.
The derived-term automaton of exp.
Definition at line 265 of file derived-term.hh.
References vcsn::derived_term(), vcsn::dyn::make_automaton(), and vcsn::detail::rs.
Referenced by vcsn::dyn::to_automaton().
|
inline |
Boolean Bridge.
Definition at line 542 of file determinize.hh.
|
inline |
Weighted Bridge.
Definition at line 557 of file determinize.hh.
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().
vcsn::enable_if_t<labelset_t_of<Aut>::has_one() && I != 0, Aut> vcsn::dyn::detail::do_insplit | ( | Aut & | aut | ) |
Definition at line 583 of file conjunction.hh.
References vcsn::detail::insplit().
vcsn::enable_if_t<!labelset_t_of<Aut>::has_one() || I == 0, Aut&> vcsn::dyn::detail::do_insplit | ( | Aut & | aut | ) |
Definition at line 590 of file conjunction.hh.
Referenced by conjunction_().
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 14 of file fwd.hh.
Referenced by vcsn::dyn::detail::expansion_base::as(), vcsn::dyn::detail::weight_base::as(), vcsn::dyn::detail::automaton_base::as(), vcsn::dyn::detail::label_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 453 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 113 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_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(), 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 750 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 739 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 781 of file conjunction.hh.
References vcsn::infiltration(), vcsn::join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.
std::ostream& vcsn::dyn::detail::info | ( | const automaton & | aut, |
std::ostream & | out, | ||
bool | detailed | ||
) |
Bridge.
Output various facts about an automaton.
Definition at line 258 of file info.hh.
References info().
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 311 of file info.hh.
References vcsn::info().
Referenced by vcsn::ctx::detail::register_functions().
Bridge.
Split automaton on the incoming transition.
Definition at line 120 of file insplit.hh.
References vcsn::insplit(), 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 52 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().
|
inline |
Bridge.
Whether is costandard (unique final state, with weight one, no outcoming transition).
Definition at line 64 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 177 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 33 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().
|
inline |
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 395 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().
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 92 of file make-context.hh.
References join(), and vcsn::dyn::make_context().
Referenced by vcsn::dyn::join(), vcsn::detail::join_impl< tupleset< VS1...>, tupleset< VS2...> >::join(), ldiv_expression(), ldiv_polynomial(), vcsn::dyn::left_mult(), less_than_expression(), lgcd_polynomial(), multiply_label(), multiply_polynomial(), multiply_weight(), rdiv_expression(), vcsn::dyn::right_mult(), sum_expression(), sum_polynomial(), 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 join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
polynomial vcsn::dyn::detail::ldiv_polynomial | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Bridge (ldiv).
Definition at line 45 of file divide.hh.
References join(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.
automaton vcsn::dyn::detail::left_mult | ( | const weight & | weight, |
const automaton & | aut | ||
) |
Bridge.
The left-multiplication of an automaton with w as weight.
Definition at line 104 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), join(), vcsn::left_mult_here(), vcsn::dyn::make_automaton(), make_context(), and vcsn::make_mutable_automaton().
Referenced by vcsn::rat::parser::parse().
expression vcsn::dyn::detail::left_mult_expression | ( | const weight & | weight, |
const expression & | exp | ||
) |
Bridge (left_mult).
Definition at line 175 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::less_than_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (less_than).
Definition at line 31 of file less-than.hh.
References join(), vcsn::less_than(), and vcsn::detail::rs.
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 63 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 80 of file divide.hh.
References join(), vcsn::dyn::lgcd(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.
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, |
boost::optional< unsigned > | num | ||
) |
Bridge.
The approximated behavior of an automaton with smallest weights.
Definition at line 193 of file lightest.hh.
References lightest(), vcsn::dyn::make_polynomial(), and vcsn::detail::make_word_polynomialset().
Referenced by vcsn::dyn::lightest().
std::ostream& vcsn::dyn::detail::list_polynomial | ( | const polynomial & | polynomial, |
std::ostream & | o | ||
) |
Bridge (list).
Definition at line 208 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 44 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 112 of file make-context.hh.
References make_context(), and vcsn::detail::make_word_context().
Referenced by vcsn::ctx::detail::register_functions().
|
inline |
Definition at line 93 of file minimize.hh.
References vcsn::dyn::make_automaton(), vcsn::minimize(), and vcsn::minimize_brzozowski().
|
inline |
Definition at line 105 of file minimize.hh.
References vcsn::dyn::make_automaton(), and vcsn::minimize().
automaton vcsn::dyn::detail::multiply | ( | const automaton & | lhs, |
const automaton & | rhs | ||
) |
Bridge.
Multiply (concatenate) two standard automata.
Definition at line 104 of file multiply.hh.
References 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 215 of file multiply.hh.
References vcsn::join(), vcsn::dyn::make_expression(), vcsn::multiply(), and vcsn::detail::rs.
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 289 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 312 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 336 of file multiply.hh.
References join(), vcsn::dyn::make_polynomial(), multiply(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions_is_free().
automaton vcsn::dyn::detail::multiply_repeated | ( | const automaton & | a, |
int | min, | ||
int | max | ||
) |
Bridge (multiply).
Definition at line 184 of file multiply.hh.
References 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 359 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 372 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().
|
inline |
size_t vcsn::dyn::detail::num_tapes | ( | const context & | ctx | ) |
Bridge.
The number of input tapes.
Definition at line 148 of file make-context.hh.
References vcsn::num_tapes().
Referenced by vcsn::rat::driver::context().
automaton vcsn::dyn::detail::pair | ( | const automaton & | aut, |
bool | keep_initials | ||
) |
Bridge.
Build the pair automaton of the given automaton.
Definition at line 255 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 104 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 123 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 153 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 259 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 172 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 227 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 290 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 36 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 66 of file project.hh.
References make_context().
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 187 of file proper.hh.
References vcsn::dyn::make_automaton(), and vcsn::proper().
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 239 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 298 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 114 of file divide.hh.
References join(), vcsn::dyn::make_expression(), vcsn::dyn::rdiv(), and vcsn::detail::rs.
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 | ||
) |
Bridge.
The right-mult automaton with w as weight.
Definition at line 218 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), join(), vcsn::dyn::make_automaton(), make_context(), vcsn::make_mutable_automaton(), and vcsn::right_mult_here().
Referenced by vcsn::rat::parser::parse().
expression vcsn::dyn::detail::right_mult_expression | ( | const expression & | exp, |
const weight & | weight | ||
) |
Bridge (right_mult).
Definition at line 254 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().
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 275 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 650 of file conjunction.hh.
References vcsn::dyn::make_automaton(), and vcsn::shuffle().
Referenced by vcsn::rat::printer< ExpSet >::format().
expression vcsn::dyn::detail::shuffle_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (shuffle).
Definition at line 692 of file conjunction.hh.
References vcsn::join(), vcsn::dyn::make_expression(), vcsn::detail::rs, 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 141 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 393 of file standard.hh.
References vcsn::dyn::make_automaton().
Referenced by vcsn::ctx::detail::register_functions().
Bridge.
Star of a standard automaton.
Definition at line 74 of file star.hh.
References 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 51 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 178 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 | ||
) |
Bridge.
Sum of two standard automata.
Definition at line 82 of file sum.hh.
References vcsn::dyn::make_automaton(), and vcsn::sum().
Referenced by sum_polynomial(), and sum_weight().
expression vcsn::dyn::detail::sum_expression | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Bridge (sum).
Definition at line 139 of file sum.hh.
References join(), vcsn::dyn::make_expression(), vcsn::detail::rs, 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 115 of file sum.hh.
References join(), vcsn::dyn::make_polynomial(), vcsn::detail::rs, and sum().
weight vcsn::dyn::detail::sum_weight | ( | const weight & | lhs, |
const weight & | rhs | ||
) |
Bridge (sum).
Definition at line 163 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 364 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 435 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 580 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 693 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 604 of file to-expression.hh.
References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_functions().
expression vcsn::dyn::detail::transpose_expression | ( | const expression & | exp | ) |
Bridge (transpose).
Definition at line 274 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 295 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 182 of file trie.hh.
References vcsn::dyn::make_automaton(), and trie().
Referenced by vcsn::dyn::trie(), and trie_stream().
automaton vcsn::dyn::detail::trie_stream | ( | const context & | ctx, |
std::istream & | is | ||
) |
Bridge (trie).
Definition at line 240 of file trie.hh.
References vcsn::dyn::make_automaton(), vcsn::detail::make_word_polynomialset(), and trie().
Bridge.
The trim subautomaton of aut.
Definition at line 224 of file accessible.hh.
References vcsn::dyn::make_automaton(), and vcsn::trim().
expression vcsn::dyn::detail::tuple_ | ( | const std::vector< expression > & | es, |
vcsn::detail::index_sequence< I...> | |||
) |
Bridge helper.
Definition at line 59 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().
|
inline |
Bridge.
Union of two automata (plain graph union).
Definition at line 49 of file union.hh.
References vcsn::dyn::make_automaton(), and vcsn::union_a().
Bridge.
The universal automaton of aut.
Definition at line 137 of file universal.hh.
References vcsn::dyn::make_automaton(), and vcsn::universal().
Bridge.
Compute weight of the series.
Definition at line 27 of file weight-series.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_weight(), and weight_series().
Referenced by vcsn::dyn::weight_series().
|
inline |
Bridge.
The ZPC automaton of exp.
Definition at line 358 of file zpc.hh.
References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().
Referenced by vcsn::dyn::to_automaton().