![]() |
Vcsn
2.3a
Be Rational
|
Namespaces | |
detail | |
Classes | |
class | automaton |
A dyn automaton. More... | |
class | context |
Template-less root for contexts. More... | |
struct | jit_error |
An exception suited for our compilation errors. More... | |
class | value_impl |
A dyn Value/ValueSet. More... | |
Typedefs | |
using | expansion = value_impl< detail::expansion_tag > |
using | expression = value_impl< detail::expression_tag > |
using | label = value_impl< detail::label_tag > |
using | polynomial = value_impl< detail::polynomial_tag > |
using | weight = value_impl< detail::weight_tag > |
using | word = label |
The type of a word. More... | |
Functions | |
automaton | accessible (const automaton &aut) |
The accessible subautomaton of aut. More... | |
word | ambiguous_word (const automaton &aut) |
An ambiguous word, or raise if there is none. More... | |
bool | are_equivalent (const automaton &lhs, const automaton &rhs) |
Whether compute the same series. More... | |
bool | are_equivalent (const expression &lhs, const expression &rhs) |
Whether denote the same series. More... | |
bool | are_isomorphic (const automaton &lhs, const automaton &rhs) |
Whether there exists an isomorphism between the states of lhs and those of rhs. More... | |
automaton | cerny (const context &ctx, unsigned num_states) |
Produce a Černý automaton of num_states states. More... | |
automaton | coaccessible (const automaton &aut) |
The coaccessible subautomaton of aut. More... | |
automaton | codeterminize (const automaton &aut, const std::string &algo="auto") |
The codeterminized automaton. More... | |
automaton | cominimize (const automaton &aut, const std::string &algo="auto") |
The cominimized automaton. More... | |
automaton | complement (const automaton &aut) |
The complement of aut. More... | |
expansion | complement (const expansion &x) |
Complement this expansion. More... | |
automaton | complete (const automaton &aut) |
A completed copy of aut. More... | |
automaton | component (const automaton &aut, unsigned num) |
The automaton of a strongly connected component. More... | |
automaton | compose (const automaton &lhs, const automaton &rhs, bool lazy=false) |
The composition of transducers lhs and rhs. More... | |
expansion | compose (const expansion &lhs, const expansion &rhs) |
The composition of two expansions. More... | |
expression | concatenate (const expression &lhs, const expression &rhs) |
Concatenate two expressions. More... | |
automaton | condense (const automaton &aut) |
The condensation of aut such that each state is a strongly connected component. More... | |
automaton | conjunction (const automaton &lhs, const automaton &rhs, bool lazy=false) |
The conjunction (aka synchronized product) of automata. More... | |
automaton | conjunction (const std::vector< automaton > &as, bool lazy=false) |
The conjunction (aka synchronized product) of automata. More... | |
automaton | conjunction (const automaton &aut, unsigned n) |
Repeated conjunction of aut with itself. More... | |
expansion | conjunction (const expansion &lhs, const expansion &rhs) |
The Hadamard product of expansions lhs and rhs. More... | |
automaton | conjugate (const automaton &aut) |
The conjugate of aut. More... | |
weight | constant_term (const expression &e) |
The weight associated to the empty word in e. More... | |
context | context_of (const automaton &a) |
The context of this automaton. More... | |
context | context_of (const expansion &r) |
The context of this expansion. More... | |
automaton | copy (const automaton &aut) |
A copy of aut. More... | |
automaton | copy (const automaton &aut, const context &ctx) |
A copy of aut converted to context ctx. More... | |
expression | copy (const expression &exp, const context &ctx, identities ids) |
Copy of exp, but built with ctx. More... | |
automaton | costandard (const automaton &a) |
A co-standardized a. More... | |
automaton | cotrie (const polynomial &p) |
A reversed trie-like automaton (multiple initial states, single final state) automaton to accept p. More... | |
automaton | cotrie (const context &ctx, std::istream &is, const std::string &format="default") |
A reversed trie-like automaton (multiple initial states, single final state) automaton to accept the series contained in is. More... | |
automaton | de_bruijn (const context &ctx, unsigned n) |
A simple NFA for (a+b)*a(a+b)^n. More... | |
automaton | delay_automaton (const automaton &a) |
The automaton with the delay of each state. More... | |
polynomial | derivation (const expression &exp, const label &lbl, bool breaking=false) |
Derive exp with respect to s. More... | |
automaton | derived_term (const expression &exp, const std::string &algo="auto") |
The derived-term automaton of exp. More... | |
automaton | determinize (const automaton &aut, const std::string &algo="auto") |
The determinized automaton. More... | |
automaton | difference (const automaton &lhs, const automaton &rhs) |
An automaton whose behavior is that of lhs on words not accepted by rhs. More... | |
expression | difference (const expression &lhs, const expression &rhs) |
Words accepted by lhs, but not by rhs. More... | |
automaton | divkbaseb (const context &ctx, unsigned divisor, unsigned base) |
An automaton which accepts a word n representing a number in base b iff k|n. More... | |
automaton | double_ring (const context &ctx, unsigned n, const std::vector< unsigned > &f) |
The double_ring automaton with n states and f the list of finals. More... | |
automaton | eliminate_state (const automaton &aut, int s=-1) |
The LAO automaton aut with state s removed. More... | |
weight | evaluate (const automaton &aut, const word &l) |
Evaluate l on aut. More... | |
expression | expand (const expression &e) |
Distribute product over addition recursively under the starred subexpressions and group the equal monomials. More... | |
expression | expression_one (const context &c, identities ids) |
The expression for \\e . More... | |
expression | expression_zero (const context &c, identities ids) |
The expression for \\z . More... | |
automaton | factor (const automaton &aut) |
Create a factor automaton from aut. More... | |
automaton | filter (const automaton &aut, const std::vector< unsigned > &ss) |
The subautomaton based on aut, with only states in ss visible. More... | |
automaton | focus (const automaton &aut, unsigned tape) |
Focus on a specific tape of a tupleset automaton. More... | |
bool | has_twins_property (const automaton &aut) |
Whether the automaton has the twins property. More... | |
bool | has_lightening_cycle (const automaton &aut) |
Whether the automaton has a cycle with lightening weight. More... | |
bool | has_bounded_lag (const automaton &aut) |
Whether the transducer has bounded lag. More... | |
identities | identities_of (const expression &exp) |
The identities of expression exp. More... | |
automaton | inductive (const expression &e, const std::string &algo="auto") |
The inductive translation of e in an automaton. More... | |
automaton | infiltrate (const automaton &lhs, const automaton &rhs) |
The infiltration of automata lhs and rhs. More... | |
automaton | infiltrate (const std::vector< automaton > &as) |
The infiltration product of automata. More... | |
expression | infiltrate (const expression &lhs, const expression &rhs) |
The infiltration product of expressions lhs and rhs. More... | |
std::ostream & | info (const automaton &aut, std::ostream &out=std::cout, unsigned details=2) |
Output various facts about an automaton. More... | |
std::ostream & | info (const expression &exp, std::ostream &out=std::cout) |
Output various facts about exp. More... | |
automaton | insplit (const automaton &aut, bool lazy=false) |
Split automaton on the incoming transition. More... | |
bool | is_accessible (const automaton &aut) |
Whether aut is accessible. More... | |
bool | is_ambiguous (const automaton &aut) |
Whether aut is ambiguous. More... | |
bool | is_coaccessible (const automaton &aut) |
Whether aut is coaccessible. More... | |
bool | is_codeterministic (const automaton &aut) |
Whether aut is codeterministic. More... | |
bool | is_complete (const automaton &aut) |
Whether aut is complete. More... | |
bool | is_costandard (const automaton &aut) |
Whether is costandard (unique final state, with weight one, no outcoming transition). More... | |
bool | is_cycle_ambiguous (const automaton &aut) |
Whether the automaton is cycle-ambiguous. More... | |
bool | is_deterministic (const automaton &aut) |
Whether aut is deterministic. More... | |
bool | is_empty (const automaton &aut) |
Whether has no state. More... | |
bool | is_eps_acyclic (const automaton &aut) |
Whether has no cycle of spontaneous transitions. More... | |
bool | is_functional (const automaton &aut) |
Whether aut is functional. More... | |
bool | is_letterized (const automaton &aut) |
Whether aut is letterized. More... | |
bool | is_partial_identity (const automaton &aut) |
Whether aut realizes a partial identity. More... | |
bool | is_normalized (const automaton &aut) |
Whether is normalized (in the Thompson sense), i.e., standard and co-standard. More... | |
bool | is_out_sorted (const automaton &aut) |
Whether the outgoing transitions of each state have increasing labels. More... | |
bool | is_proper (const automaton &aut) |
Whether has no spontaneous transition. More... | |
bool | is_realtime (const automaton &aut) |
Whether has no spontaneous transition, and is letterized. More... | |
bool | is_standard (const automaton &aut) |
Whether is standard (unique initial state, with weight one, no incoming transition). More... | |
bool | is_synchronized (const automaton &aut) |
Whether is synchronized. More... | |
bool | is_synchronized_by (const automaton &aut, const word &word) |
Whether the word synchronizes aut. More... | |
bool | is_synchronizing (const automaton &aut) |
Whether is synchronizing. More... | |
bool | is_trim (const automaton &aut) |
Whether has no useless state. More... | |
bool | is_useless (const automaton &aut) |
Whether has no useful state. More... | |
bool | is_valid (const automaton &e) |
Whether automaton is valid (epsilon-cycles converge). More... | |
bool | is_valid (const expression &e) |
Whether rational expression is valid (all the starred sub-expressions are starrable). More... | |
context | join (const context &lhs, const context &rhs) |
The join between two contexts, i.e., their lowest common supertype. More... | |
automaton | ladybird (const context &ctx, unsigned n) |
The ladybird automaton with n states. More... | |
automaton | ldivide (const automaton &lhs, const automaton &rhs) |
Left-division of two automata (lhs \ rhs). More... | |
expansion | ldivide (const expansion &lhs, const expansion &rhs) |
Left-division of two expansions (lhs \ rhs). More... | |
polynomial | lgcd (const polynomial &lhs, const polynomial &rhs) |
Left greatest common divisor of two polynomials (lhs \ rhs). More... | |
automaton | lweight (const weight &w, const automaton &aut, const std::string &algo="auto") |
The left-multiplication of an automaton with w as weight. More... | |
expansion | lweight (const weight &w, const expansion &exp) |
The left-multiplication of an expansion with w as weight. More... | |
bool | less_than (const expression &lhs, const expression &rhs) |
Ordering between expressions. More... | |
automaton | letterize (const automaton &aut) |
The automaton with letter transitions instead of words. More... | |
automaton | levenshtein (const context &ls) |
The transducer representing the Levenshtein distance. More... | |
automaton | lift (const automaton &aut, const std::vector< unsigned > &tapes={}, identities ids={}) |
Lift some tapes of the transducer, or turn an automaton into a spontaneous automaton. More... | |
expression | lift (const expression &e) |
The lifted LAO rational expression from e. More... | |
polynomial | lightest (const automaton &aut, unsigned num=1, const std::string &algo="auto") |
The approximated behavior of an automaton with smallest weights. More... | |
automaton | lightest_automaton (const automaton &aut, unsigned num=1, const std::string &algo="auto") |
The shortest path automaton using the given algorithm. More... | |
context | make_context (const std::string &name) |
Build a context from its name. More... | |
automaton_editor * | make_automaton_editor (const context &ctx) |
Build an automatonset from its context. More... | |
context | make_word_context (const context &ctx) |
The context for words. More... | |
automaton | multiply (const automaton &lhs, const automaton &rhs, const std::string &algo="auto") |
Multiply (concatenate) two automata. More... | |
automaton | multiply (const automaton &aut, int min, int max=-2, const std::string &algo="auto") |
Repeated multiplication (concatenation) of an automaton with itself. More... | |
expression | multiply (const expression &lhs, const expression &rhs) |
Multiply (concatenate) two expressions. More... | |
expression | multiply (const expression &e, int min, int max=-2) |
Repeated multiplication (concatenation) of an expression with itself. More... | |
label | multiply (const label &l, int num) |
Repeated multiplication of a label with itself. More... | |
automaton | minimize (const automaton &aut, const std::string &algo="auto") |
The minimized automaton. More... | |
automaton | normalize (const automaton &aut) |
Normalize automaton aut. More... | |
std::size_t | num_components (const automaton &aut) |
The number of strongly connected components. More... | |
std::size_t | num_tapes (const context &ctx) |
The number of input tapes. More... | |
automaton | pair (const automaton &aut, bool keep_initials=false) |
Build the pair automaton of the given automaton. More... | |
automaton | partial_identity (const automaton &aut) |
Create a partial identity transducer from aut. More... | |
expression | partial_identity (const expression &e) |
Create a partial-identity two-tape expression from e. More... | |
automaton | prefix (const automaton &aut) |
Create a prefix automaton from aut. More... | |
std::ostream & | print (const automaton &aut, std::ostream &out=std::cout, const std::string &format="default") |
Print automaton a on out using format format. More... | |
std::ostream & | print (const context &c, std::ostream &out=std::cout, const std::string &format="default") |
Print context c on out using format format. More... | |
std::ostream & | print (const expansion &e, std::ostream &out=std::cout, const std::string &format="default") |
Print expansion e on out using format format. More... | |
automaton | quotkbaseb (const context &ctx, unsigned divisor, unsigned base) |
A transducer that computes the quotient of the division of a word n by k in base b iff k|n. More... | |
void | set_format (std::ostream &out, const std::string &format) |
Specify the output format for out. More... | |
std::string | get_format (std::ostream &out) |
Get the output format for out. More... | |
automaton | project (const automaton &aut, unsigned tape) |
Keep a single tape from a multiple-tape automaton. More... | |
context | project (const context &ctx, unsigned tape) |
Keep a single tape from a multiple-tape context. More... | |
expansion | project (const expansion &xpn, unsigned tape) |
Keep a single tape from a multiple-tape expansion. More... | |
automaton | proper (const automaton &aut, direction dir=direction::backward, bool prune=true, const std::string &algo="auto") |
An equivalent automaton without spontaneous transitions. More... | |
automaton | push_weights (const automaton &aut) |
The weight pushing automaton of aut. More... | |
automaton | random_automaton (const context &ctx, unsigned num_states, float density=0.1, unsigned num_initial=1, unsigned num_final=1, boost::optional< unsigned > max_labels={}, float loop_chance=0.0) |
A random automaton. More... | |
automaton | random_automaton_deterministic (const context &ctx, unsigned num_states) |
A random deterministic automaton. More... | |
expression | random_expression (const context &ctx, const std::string ¶m, identities ids) |
A random expression. More... | |
weight | random_weight (const context &ctx, const std::string ¶m) |
A random weight. More... | |
automaton | rdivide (const automaton &lhs, const automaton &rhs) |
Right-division of two automata (lhs / rhs). More... | |
expression | rdivide (const expression &lhs, const expression &rhs) |
Right-division of two expressions (lhs / rhs). More... | |
automaton | read_automaton (std::istream &is, const std::string &format="default", bool strip=true) |
Read an automaton from a stream. More... | |
expression | read_expression (const context &ctx, identities ids, std::istream &is, const std::string &format="default") |
Read an expression from a stream. More... | |
label | read_label (const context &ctx, std::istream &is, const std::string &format="default") |
Read a label from a stream. More... | |
polynomial | read_polynomial (const context &ctx, std::istream &is) |
Read a polynomial from a stream. More... | |
weight | read_weight (const context &ctx, std::istream &is) |
Read a weight from a stream. More... | |
automaton | realtime (const automaton &aut) |
Create the realtime automaton (letterized and proper). More... | |
automaton | reduce (const automaton &aut) |
Reduce aut. More... | |
automaton | rweight (const automaton &aut, const weight &w, const std::string &algo="auto") |
The right-mult automaton with w as weight. More... | |
expansion | rweight (const expansion &aut, const weight &w) |
The right-multiplication of an expansion with w as weight. More... | |
automaton | scc (const automaton &aut, const std::string &algo="auto") |
Build the SCC automaton whose states are labeled with number of the strongly-connected component they belong to. More... | |
polynomial | shortest (const automaton &aut, boost::optional< unsigned > num={}, boost::optional< unsigned > len={}) |
The approximated behavior of an automaton. More... | |
automaton | shuffle (const automaton &lhs, const automaton &rhs) |
The shuffle product of automata lhs and rhs. More... | |
automaton | shuffle (const std::vector< automaton > &as) |
The shuffle product of automata. More... | |
expression | shuffle (const expression &lhs, const expression &rhs) |
The shuffle product of expressions lhs and rhs. More... | |
automaton | sort (const automaton &a) |
A copy of a with normalized state numbers. More... | |
polynomial | split (const expression &exp) |
Break exp. More... | |
automaton | standard (const automaton &a) |
A standardized a. More... | |
automaton | standard (const expression &e) |
The standard automaton of e. More... | |
automaton | star (const automaton &aut, const std::string &algo="auto") |
Star of an automaton. More... | |
unsigned | star_height (const expression &rs) |
Star height of an expression. More... | |
expression | star_normal_form (const expression &e) |
A normalized form where star is applied only to proper expressions. More... | |
automaton | strip (const automaton &a) |
The automaton in a with its metadata layers removed. More... | |
automaton | suffix (const automaton &aut) |
Create a suffix automaton from aut. More... | |
automaton | subword (const automaton &aut) |
Create a subword automaton from aut. More... | |
automaton | add (const automaton &lhs, const automaton &rhs, const std::string &algo="auto") |
Sum of two automata. More... | |
expression | add (const expression &lhs, const expression &rhs) |
Sum of two expressions. More... | |
automaton | synchronize (const automaton &aut) |
Create a synchronized transducer from aut. More... | |
word | synchronizing_word (const automaton &aut, const std::string &algo="greedy") |
A synchronizing word, or raise if there is none. More... | |
automaton | thompson (const expression &e) |
The Thompson automaton of e. More... | |
automaton | to_automaton (const expression &exp, const std::string &algo="auto") |
An automaton denoting the language of exp. More... | |
expansion | to_expansion (const expression &exp) |
First order development of a exp. More... | |
expression | to_expression (const automaton &aut, identities ids={}, const std::string &algo="auto") |
An expression denoting the language of aut. More... | |
expression | to_expression (const context &ctx, identities ids, const label &l) |
An expression denoting the label of l. More... | |
expression | to_expression (const context &ctx, identities ids, const letter_class_t &letters, bool accept=true) |
An expression matching one letter in a letter class. More... | |
automaton | transpose (automaton &aut) |
Transpose aut. More... | |
expression | transpose (const expression &e) |
Transpose e. More... | |
expression | transposition (const expression &r) |
Add the transposition operator to r. More... | |
automaton | trie (const polynomial &p) |
A trie-like automaton (single initial state, multiple final states) to accept p. More... | |
automaton | trie (const context &ctx, std::istream &is, const std::string &format="default") |
A trie-like automaton (single initial state, multiple final states) to accept the series contained in is. More... | |
automaton | trim (const automaton &aut) |
The trim subautomaton of aut. More... | |
automaton | tuple (const automaton &lhs, const automaton &rhs) |
Build a two-tape automaton from two automata. More... | |
automaton | tuple (const std::vector< automaton > &as) |
Build a k-tape automaton from k automata. More... | |
context | tuple (const context &lhs, const context &rhs) |
Tuple two contexts. More... | |
context | tuple (const std::vector< context > &ctxs) |
A k-tape context from k contexts. More... | |
expansion | tuple (const std::vector< expansion > &rs) |
Build a k-tape expansion from k expansions. More... | |
expression | tuple (const expression &lhs, const expression &rhs) |
Build a two-tape expression from two expressions. More... | |
std::string | type (const automaton &a) |
The implementation type of a. More... | |
automaton | u (const context &ctx, unsigned n) |
The Brzozowski universal witness. More... | |
automaton | universal (const automaton &aut) |
The universal automaton of aut. More... | |
weight | weight_one (const context &c) |
The weight one. More... | |
weight | weight_series (const automaton &aut) |
Compute weight of the series. More... | |
weight | weight_zero (const context &c) |
The weight zero. More... | |
automaton | zpc (const expression &exp, const std::string &algo="auto") |
The ZPC automaton of exp. More... | |
std::ostream & | operator<< (std::ostream &o, const automaton &a) |
Output automaton a on o. More... | |
std::ostream & | operator<< (std::ostream &o, const context &c) |
Output context c on o. More... | |
std::ostream & | operator<< (std::ostream &o, const expansion &e) |
Output expansion e on o. More... | |
template<typename ValueSetLhs , typename ValueSetRhs , typename Tag > | |
auto | join (const value_impl< Tag > &lhs, const value_impl< Tag > &rhs) |
Return the join of the valuesets of two dyn values and their values in this new valueset. More... | |
automaton | read_daut (std::istream &is) |
automaton | read_efsm (std::istream &is) |
automaton | read_fado (std::istream &is) |
static integral_constant | to_integral_constant (unsigned tape) |
automaton | lift (const automaton &aut, const std::vector< unsigned > &tapes, vcsn::rat::identities ids) |
expression | read_expression (const context &ctx, rat::identities ids, std::istream &is, const std::string &f) |
void | compile (const std::string &ctx) |
Compile, and load, a DSO with instantiations for ctx. More... | |
void | compile (const std::string &algo, const signature &sig) |
Compile, and load, a DSO which instantiates algo for sig. More... | |
Variables | |
xalloc< const std::string * > | format_flag |
typedef value_impl< detail::expansion_tag > vcsn::dyn::expansion |
typedef value_impl< detail::label_tag > vcsn::dyn::label |
typedef value_impl< detail::weight_tag > vcsn::dyn::weight |
using vcsn::dyn::word = typedef label |
The accessible subautomaton of aut.
The accessible subautomaton of aut.
Definition at line 206 of file accessible.hh.
References vcsn::dyn::detail::accessible(), and vcsn::dyn::automaton::as().
Referenced by accessible().
Sum of two automata.
lhs | an automaton. |
rhs | another one. |
algo | how to compute the result
|
Sum of two automata.
Definition at line 124 of file add.hh.
References vcsn::add(), vcsn::dyn::automaton::as(), and vcsn::detail::dispatch_tags().
Referenced by vcsn::dyn::detail::add_polynomial(), and vcsn::dyn::detail::add_weight().
expression vcsn::dyn::add | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Sum of two expressions.
Sum of two weights.
Sum of two polynomials.
Sum of two expansions.
An ambiguous word, or raise if there is none.
An ambiguous word, or raise if there is none.
Definition at line 124 of file is-ambiguous.hh.
References vcsn::ambiguous_word(), vcsn::dyn::automaton::as(), and vcsn::detail::make_wordset().
Whether compute the same series.
Whether compute the same series.
Definition at line 66 of file are-equivalent.hh.
References vcsn::are_equivalent(), and vcsn::dyn::automaton::as().
bool vcsn::dyn::are_equivalent | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Whether denote the same series.
Whether there exists an isomorphism between the states of lhs and those of rhs.
Whether there exists an isomorphism between the states of lhs and those of rhs.
Definition at line 709 of file are-isomorphic.hh.
References vcsn::dyn::detail::are_isomorphic(), and vcsn::dyn::automaton::as().
Referenced by are_isomorphic().
Produce a Černý automaton of num_states states.
Produce a Černý automaton of num_states states.
Definition at line 64 of file cerny.hh.
References vcsn::dyn::context::as(), and vcsn::cerny().
The coaccessible subautomaton of aut.
The coaccessible subautomaton of aut.
Definition at line 215 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::coaccessible().
Referenced by coaccessible().
The codeterminized automaton.
aut | the automaton to codeterminize |
algo |
|
The codeterminized automaton.
Definition at line 430 of file determinize.hh.
Referenced by vcsn::dyn::detail::codeterminize_tag_().
The cominimized automaton.
aut | the automaton to cominimize |
algo | the specific algorithm to use |
The cominimized automaton.
Definition at line 196 of file minimize.hh.
References vcsn::dyn::automaton::as().
void vcsn::dyn::compile | ( | const std::string & | ctx | ) |
Compile, and load, a DSO with instantiations for ctx.
Definition at line 380 of file translate.cc.
Referenced by vcsn::dyn::detail::Registry< Fun >::get(), and make_context().
void vcsn::dyn::compile | ( | const std::string & | algo, |
const signature & | sig | ||
) |
Compile, and load, a DSO which instantiates algo for sig.
Definition at line 386 of file translate.cc.
The complement of aut.
The complement of aut.
Definition at line 63 of file complement.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::complement().
Referenced by complement().
Complement this expansion.
Add the complement operator to r.
A completed copy of aut.
A completed copy of aut.
Definition at line 80 of file complete.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::complete().
Referenced by complete().
The composition of transducers lhs and rhs.
lhs | the left transducer |
rhs | the right transducer |
lazy | whether to perform the computations on demand. |
The composition of transducers lhs and rhs.
Definition at line 495 of file compose.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::detail::compose(), and vcsn::compose_lazy().
Referenced by compose().
polynomial vcsn::dyn::compose | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
The composition of two expansions.
The composition of two polynomials.
The composition of two expressions.
expression vcsn::dyn::concatenate | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Concatenate two expressions.
Do not use this routine, see multiply instead.
Referenced by vcsn::rat::parser::parse().
The conjugate of aut.
The conjugate of aut.
Definition at line 59 of file conjugate.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::conjugate().
Referenced by conjugate().
automaton vcsn::dyn::conjunction | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
bool | lazy = false |
||
) |
The conjunction (aka synchronized product) of automata.
Performs the meet of the contexts.
lhs | the left automaton |
rhs | the right automaton |
lazy | whether to perform the computations on demand. |
Definition at line 24 of file others.cc.
Referenced by vcsn::is_cycle_ambiguous_scc().
The conjunction (aka synchronized product) of automata.
Performs the meet of the contexts.
as | the automata |
lazy | whether to perform the computations on demand. |
The conjunction (aka synchronized product) of automata.
Definition at line 664 of file conjunction.hh.
Repeated conjunction of aut with itself.
polynomial vcsn::dyn::conjunction | ( | const expansion & | lhs, |
const expansion & | rhs | ||
) |
The Hadamard product of expansions lhs and rhs.
The Hadamard product of polynomials lhs and rhs.
The Hadamard product of expressions lhs and rhs.
weight vcsn::dyn::constant_term | ( | const expression & | exp | ) |
The weight associated to the empty word in e.
The weight associated to the empty word in e.
Definition at line 216 of file constant-term.hh.
References vcsn::dyn::value_impl< Tag >::as().
Referenced by vcsn::rat::constant_term_visitor< ExpSet >::visit_tuple< bool, Dummy >::work_().
The context of this automaton.
The context of this automaton.
Definition at line 63 of file make-context.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().
The context of this expansion.
The context of this polynomial.
The context of this expression.
A copy of aut.
A copy of aut.
Definition at line 435 of file copy.hh.
References vcsn::dyn::automaton::as(), and vcsn::rat::copy().
A copy of aut converted to context ctx.
expression vcsn::dyn::copy | ( | const expression & | exp, |
const context & | ctx, | ||
identities | ids | ||
) |
Copy of exp, but built with ctx.
A co-standardized a.
A co-standardized a.
Definition at line 148 of file standard.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::costandard().
Referenced by costandard().
automaton vcsn::dyn::cotrie | ( | const polynomial & | poly | ) |
A reversed trie-like automaton (multiple initial states, single final state) automaton to accept p.
p | the polynomial that describes the (finite) series |
A reversed trie-like automaton (multiple initial states, single final state) automaton to accept p.
Definition at line 251 of file trie.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::cotrie().
automaton vcsn::dyn::cotrie | ( | const context & | ctx, |
std::istream & | is, | ||
const std::string & | format = "default" |
||
) |
A reversed trie-like automaton (multiple initial states, single final state) automaton to accept the series contained in is.
ctx | the (word-based) context used to read the words. |
is | the input stream. |
format | the format of the file: "words" or "monomials". |
automaton vcsn::dyn::de_bruijn | ( | const dyn::context & | ctx, |
unsigned | n | ||
) |
A simple NFA for (a+b)*a(a+b)^n.
A simple NFA for (a+b)*a(a+b)^n.
Definition at line 57 of file de-bruijn.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::de_bruijn().
Referenced by de_bruijn().
The automaton with the delay of each state.
The automaton with the delay of each state.
Definition at line 349 of file is-synchronized.hh.
polynomial vcsn::dyn::derivation | ( | const expression & | exp, |
const label & | lbl, | ||
bool | breaking | ||
) |
Derive exp with respect to s.
exp | the input expression |
lbl | the label used for derivation |
breaking | whether to split the result |
Derive exp with respect to s.
Definition at line 356 of file derivation.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), and vcsn::detail::rs.
automaton vcsn::dyn::derived_term | ( | const expression & | exp, |
const std::string & | algo | ||
) |
The derived-term automaton of exp.
exp | the input expression |
algo | how the derived terms are computed:
|
The derived-term automaton of exp.
Definition at line 372 of file derived-term.hh.
References vcsn::dyn::detail::derived_term(), vcsn::detail::derived_term_algo::expansion, vcsn::make_derived_term_automaton(), vcsn::require(), and vcsn::res.
Referenced by derived_term(), and to_automaton().
The determinized automaton.
aut | the automaton to determinize |
algo |
|
The determinized automaton.
Definition at line 357 of file determinize.hh.
Referenced by vcsn::dyn::detail::determinize_tag_().
An automaton whose behavior is that of lhs on words not accepted by rhs.
lhs | a LAL automaton |
rhs | a LAL Boolean automaton |
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::dyn::automaton::as(), and vcsn::difference().
expression vcsn::dyn::difference | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Words accepted by lhs, but not by rhs.
An automaton which accepts a word n representing a number in base b iff k|n.
An automaton which accepts a word n representing a number in base b iff k|n.
Definition at line 69 of file divkbaseb.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::divkbaseb().
Referenced by divkbaseb().
automaton vcsn::dyn::double_ring | ( | const context & | ctx, |
unsigned | n, | ||
const std::vector< unsigned > & | finals | ||
) |
The double_ring automaton with n states and f the list of finals.
The double_ring automaton with n states and f the list of finals.
Definition at line 75 of file double-ring.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::double_ring().
Referenced by double_ring().
The LAO automaton aut with state s removed.
The LAO automaton aut with state s removed.
Definition at line 478 of file to-expression.hh.
References vcsn::dyn::automaton::as(), and vcsn::eliminate_state().
Evaluate l on aut.
Evaluate p on aut.
Evaluate l on aut.
Definition at line 212 of file evaluate.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::evaluate(), and vcsn::res.
expression vcsn::dyn::expand | ( | const expression & | exp | ) |
Distribute product over addition recursively under the starred subexpressions and group the equal monomials.
Distribute product over addition recursively under the starred subexpressions and group the equal monomials.
Definition at line 30 of file expand.hh.
References vcsn::dyn::detail::expand().
Referenced by expand().
expression vcsn::dyn::expression_one | ( | const context & | ctx, |
identities | ids | ||
) |
The expression for \\e
.
The expression for \\e
.
Definition at line 15 of file constant.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_expression_functions().
expression vcsn::dyn::expression_zero | ( | const context & | ctx, |
identities | ids | ||
) |
The expression for \\z
.
The expression for \\z
.
Definition at line 24 of file constant.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_expression_functions().
Create a factor automaton from aut.
Create a factor automaton from aut.
Definition at line 121 of file prefix.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::factor().
Referenced by factor().
Focus on a specific tape of a tupleset automaton.
Definition at line 44 of file others.cc.
References to_integral_constant().
std::string vcsn::dyn::get_format | ( | std::ostream & | out | ) |
Get the output format for out.
Definition at line 171 of file print.cc.
References format_flag.
Referenced by operator<<().
bool vcsn::dyn::has_bounded_lag | ( | const automaton & | aut | ) |
Whether the transducer has bounded lag.
Whether the transducer has bounded lag.
Definition at line 162 of file has-bounded-lag.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::has_bounded_lag().
Referenced by has_bounded_lag().
bool vcsn::dyn::has_lightening_cycle | ( | const automaton & | aut | ) |
Whether the automaton has a cycle with lightening weight.
Whether the automaton has a cycle with lightening weight.
Definition at line 35 of file has-lightening-cycle.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::has_lightening_cycle().
Referenced by has_lightening_cycle().
bool vcsn::dyn::has_twins_property | ( | const automaton & | aut | ) |
Whether the automaton has the twins property.
Whether the automaton has the twins property.
Definition at line 168 of file has-twins-property.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::has_twins_property().
Referenced by has_twins_property().
identities vcsn::dyn::identities_of | ( | const expression & | exp | ) |
The identities of expression exp.
The identities of expression exp.
Definition at line 20 of file identities-of.hh.
References vcsn::detail::rs.
Referenced by vcsn::ctx::detail::register_expression_functions().
automaton vcsn::dyn::inductive | ( | const expression & | exp, |
const std::string & | algo | ||
) |
The inductive translation of e in an automaton.
e | the expressions |
algo | how to compute the result
|
The inductive translation of e in an automaton.
Definition at line 326 of file inductive.hh.
References vcsn::dyn::automaton::as().
Referenced by to_automaton().
The infiltration product of automata.
Performs the join of their types.
The infiltration product of automata.
Definition at line 897 of file conjunction.hh.
expression vcsn::dyn::infiltrate | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
The infiltration product of expressions lhs and rhs.
Performs the join of their type.
std::ostream& vcsn::dyn::info | ( | const automaton & | aut, |
std::ostream & | out, | ||
unsigned | details | ||
) |
Output various facts about an automaton.
aut | the automaton under study |
out | the output stream where to print the info |
details | levels of details from 1 (fewer), to 3 (more). |
Output various facts about an automaton.
Definition at line 136 of file info.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::detail::info(), and vcsn::detail::out().
Referenced by info().
std::ostream& vcsn::dyn::info | ( | const expression & | exp, |
std::ostream & | out = std::cout |
||
) |
Output various facts about exp.
Split automaton on the incoming transition.
In an insplit automaton, each state has either only spontaneous incoming transitions or only proper incoming transitions.
aut | automaton to insplit |
lazy | whether to perform the computations on demand. |
Split automaton on the incoming transition.
Definition at line 303 of file insplit.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::insplit().
Referenced by insplit().
bool vcsn::dyn::is_accessible | ( | const automaton & | aut | ) |
Whether aut is accessible.
Whether aut is accessible.
Definition at line 233 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_accessible().
Referenced by is_accessible().
bool vcsn::dyn::is_ambiguous | ( | const automaton & | aut | ) |
Whether aut is ambiguous.
Whether aut is ambiguous.
Definition at line 97 of file is-ambiguous.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_ambiguous().
Referenced by is_ambiguous().
bool vcsn::dyn::is_coaccessible | ( | const automaton & | aut | ) |
Whether aut is coaccessible.
Whether aut is coaccessible.
Definition at line 242 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_coaccessible().
Referenced by is_coaccessible().
bool vcsn::dyn::is_codeterministic | ( | const automaton & | aut | ) |
Whether aut is codeterministic.
Whether aut is codeterministic.
Definition at line 93 of file is-deterministic.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_codeterministic().
Referenced by is_codeterministic().
bool vcsn::dyn::is_complete | ( | const automaton & | aut | ) |
Whether aut is complete.
Whether aut is complete.
Definition at line 52 of file is-complete.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_complete().
Referenced by is_complete().
bool vcsn::dyn::is_costandard | ( | const automaton & | aut | ) |
Whether is costandard (unique final state, with weight one, no outcoming transition).
Whether is costandard (unique final state, with weight one, no outcoming transition).
Definition at line 63 of file standard.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_costandard().
Referenced by is_costandard().
bool vcsn::dyn::is_cycle_ambiguous | ( | const automaton & | aut | ) |
Whether the automaton is cycle-ambiguous.
Whether the automaton is cycle-ambiguous.
Definition at line 197 of file is-ambiguous.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_cycle_ambiguous().
Referenced by is_cycle_ambiguous().
bool vcsn::dyn::is_deterministic | ( | const automaton & | aut | ) |
Whether aut is deterministic.
Whether aut is deterministic.
Definition at line 85 of file is-deterministic.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_deterministic().
Referenced by is_deterministic().
bool vcsn::dyn::is_empty | ( | const automaton & | aut | ) |
Whether has no state.
Whether has no state.
Definition at line 269 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_empty().
Referenced by is_empty().
bool vcsn::dyn::is_eps_acyclic | ( | const automaton & | aut | ) |
Whether has no cycle of spontaneous transitions.
Whether has no cycle of spontaneous transitions.
Definition at line 145 of file is-acyclic.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_eps_acyclic().
Referenced by is_eps_acyclic().
bool vcsn::dyn::is_functional | ( | const automaton & | aut | ) |
Whether aut is functional.
Whether aut is functional.
Definition at line 31 of file is-functional.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_functional().
Referenced by is_functional().
bool vcsn::dyn::is_letterized | ( | const automaton & | aut | ) |
Whether aut is letterized.
Whether aut is letterized.
Definition at line 201 of file letterize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_letterized().
Referenced by is_letterized(), and vcsn::is_realtime().
bool vcsn::dyn::is_normalized | ( | const automaton & | aut | ) |
Whether is normalized (in the Thompson sense), i.e., standard and co-standard.
Whether is normalized (in the Thompson sense), i.e., standard and co-standard.
Definition at line 33 of file normalize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_normalized().
Referenced by is_normalized().
bool vcsn::dyn::is_out_sorted | ( | const automaton & | aut | ) |
Whether the outgoing transitions of each state have increasing labels.
Whether the outgoing transitions of each state have increasing labels.
Definition at line 75 of file sort.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_out_sorted().
Referenced by is_out_sorted().
bool vcsn::dyn::is_partial_identity | ( | const automaton & | aut | ) |
Whether aut realizes a partial identity.
Whether aut realizes a partial identity.
Definition at line 80 of file is-partial-identity.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_partial_identity().
Referenced by is_partial_identity().
bool vcsn::dyn::is_proper | ( | const automaton & | aut | ) |
Whether has no spontaneous transition.
Whether has no spontaneous transition.
Definition at line 58 of file is-proper.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_proper().
Referenced by is_proper().
bool vcsn::dyn::is_realtime | ( | const automaton & | aut | ) |
Whether has no spontaneous transition, and is letterized.
Whether has no spontaneous transition, and is letterized.
Definition at line 259 of file letterize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_realtime().
Referenced by is_realtime().
bool vcsn::dyn::is_standard | ( | const automaton & | aut | ) |
Whether is standard (unique initial state, with weight one, no incoming transition).
Whether is standard (unique initial state, with weight one, no incoming transition).
Definition at line 54 of file standard.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_standard().
Referenced by is_standard().
bool vcsn::dyn::is_synchronized | ( | const automaton & | aut | ) |
Whether is synchronized.
Whether is synchronized.
Definition at line 320 of file is-synchronized.hh.
Whether the word synchronizes aut.
Whether the word synchronizes aut.
Definition at line 72 of file synchronizing-word.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), and vcsn::is_synchronized_by().
bool vcsn::dyn::is_synchronizing | ( | const automaton & | aut | ) |
Whether is synchronizing.
Whether is synchronizing.
Definition at line 402 of file synchronizing-word.hh.
References vcsn::dyn::automaton::as(), and vcsn::is_synchronizing().
bool vcsn::dyn::is_trim | ( | const automaton & | aut | ) |
Whether has no useless state.
Whether has no useless state.
Definition at line 251 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_trim().
Referenced by is_trim().
bool vcsn::dyn::is_useless | ( | const automaton & | aut | ) |
Whether has no useful state.
Whether has no useful state.
Definition at line 260 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::is_useless().
Referenced by is_useless().
bool vcsn::dyn::is_valid | ( | const automaton & | aut | ) |
Whether automaton is valid (epsilon-cycles converge).
Whether automaton is valid (epsilon-cycles converge).
Definition at line 150 of file is-valid.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::detail::is_valid(), and vcsn::dyn::detail::strip().
Referenced by is_valid().
bool vcsn::dyn::is_valid | ( | const expression & | e | ) |
Whether rational expression is valid (all the starred sub-expressions are starrable).
auto vcsn::dyn::join | ( | const value_impl< Tag > & | lhs, |
const value_impl< Tag > & | rhs | ||
) |
Return the join of the valuesets of two dyn values and their values in this new valueset.
Definition at line 141 of file value.hh.
References join(), and vcsn::detail::rs.
The join between two contexts, i.e., their lowest common supertype.
The join between two contexts, i.e., their lowest common supertype.
Definition at line 110 of file make-context.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::join().
Referenced by vcsn::detail::tupleset_impl< ValueSets >::generators_(), join(), vcsn::detail::join_impl< tupleset< VS1... >, tupleset< VS2... > >::join(), lweight(), vcsn::dyn::detail::multiply_label(), vcsn::dyn::detail::multiply_weight(), and rweight().
automaton vcsn::dyn::ladybird | ( | const dyn::context & | ctx, |
unsigned | n | ||
) |
The ladybird automaton with n states.
The ladybird automaton with n states.
Definition at line 54 of file ladybird.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::ladybird().
Referenced by ladybird().
Left-division of two automata (lhs \ rhs).
Left-division of two automata (lhs \ rhs).
Definition at line 732 of file conjunction.hh.
References vcsn::dyn::automaton::as().
Referenced by vcsn::dyn::detail::ldivide_expansion(), vcsn::dyn::detail::ldivide_expression(), vcsn::dyn::detail::ldivide_label(), vcsn::dyn::detail::ldivide_polynomial(), and vcsn::dyn::detail::ldivide_weight().
Left-division of two expansions (lhs \ rhs).
Left-division of two weights (lhs \ rhs).
Left-division of two polynomials (lhs \ rhs).
Left-division of two labels (lhs \ rhs).
Left-division of two expressions (lhs \ rhs).
bool vcsn::dyn::less_than | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Ordering between expressions.
The automaton with letter transitions instead of words.
The automaton with letter transitions instead of words.
Definition at line 146 of file letterize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::letterize().
Referenced by letterize().
automaton vcsn::dyn::levenshtein | ( | const dyn::context & | ctx | ) |
The transducer representing the Levenshtein distance.
The transducer representing the Levenshtein distance.
Definition at line 63 of file levenshtein.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::levenshtein().
Referenced by levenshtein().
polynomial vcsn::dyn::lgcd | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Left greatest common divisor of two polynomials (lhs \ rhs).
Referenced by vcsn::dyn::detail::lgcd_polynomial().
automaton vcsn::dyn::lift | ( | const automaton & | aut, |
const std::vector< unsigned > & | tapes, | ||
vcsn::rat::identities | ids | ||
) |
Definition at line 69 of file others.cc.
References vcsn::signature::sig, vcsn::rat::to_string(), and vcsn::vname().
automaton vcsn::dyn::lift | ( | const automaton & | aut, |
const std::vector< unsigned > & | tapes = {} , |
||
identities | ids = {} |
||
) |
Lift some tapes of the transducer, or turn an automaton into a spontaneous automaton.
Each <k>l
transition is mapped to a <<k>l>\\e
transition.
aut | the input automaton |
tapes | the tapes to lift to weights |
ids | the identities of the expression |
expression vcsn::dyn::lift | ( | const expression & | e | ) |
The lifted LAO rational expression from e.
polynomial vcsn::dyn::lightest | ( | const automaton & | aut, |
unsigned | num, | ||
const std::string & | algo | ||
) |
The approximated behavior of an automaton with smallest weights.
aut | the automaton whose behavior to approximate |
num | number of words looked for. |
algo | the specific algorithm to use |
The approximated behavior of an automaton with smallest weights.
Definition at line 227 of file lightest.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::detail::lightest(), and vcsn::detail::make_word_polynomialset().
Referenced by lightest().
automaton vcsn::dyn::lightest_automaton | ( | const automaton & | aut, |
unsigned | k, | ||
const std::string & | algo | ||
) |
The shortest path automaton using the given algorithm.
The shortest path automaton using the given algorithm.
Definition at line 54 of file lightest-automaton.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::lightest_automaton().
Referenced by lightest_automaton().
automaton vcsn::dyn::lweight | ( | const weight & | weight, |
const automaton & | aut, | ||
const std::string & | algo | ||
) |
The left-multiplication of an automaton with w as weight.
w | the weight to left-multiply |
aut | the input automaton. |
algo | how to compute the result.
|
The left-multiplication of an automaton with w as weight.
Definition at line 149 of file weight.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::copy_into(), vcsn::detail::ctx, vcsn::dyn::detail::join(), vcsn::dyn::detail::make_context(), and vcsn::make_mutable_automaton().
polynomial vcsn::dyn::lweight | ( | const weight & | w, |
const expansion & | exp | ||
) |
The left-multiplication of an expansion with w as weight.
The left-multiplication of a polynomial with w as weight.
The left-multiplication of an expression with w as weight.
automaton_editor* vcsn::dyn::make_automaton_editor | ( | const context & | ctx | ) |
Build an automatonset from its context.
Build an automatonset from its context.
Definition at line 349 of file edit-automaton.hh.
References vcsn::dyn::context::as().
Referenced by vcsn::ctx::detail::register_functions(), vcsn::lazy_automaton_editor::result(), and vcsn::detail::dot::driver::setup_().
context vcsn::dyn::make_context | ( | const std::string & | name | ) |
Build a context from its name.
Definition at line 97 of file others.cc.
References compile(), vcsn::ast::normalize_context(), and vcsn::sname().
Referenced by vcsn::rat::driver::context(), vcsn::lazy_automaton_editor::result(), and vcsn::detail::dot::driver::setup_().
The context for words.
The context for words.
Definition at line 130 of file make-context.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::make_word_context().
Referenced by make_word_context(), and vcsn::ctx::detail::register_functions().
The minimized automaton.
aut | the automaton to minimize |
algo | the specific algorithm to use |
The minimized automaton.
Definition at line 158 of file minimize.hh.
References vcsn::dyn::automaton::as().
automaton vcsn::dyn::multiply | ( | const automaton & | lhs, |
const automaton & | rhs, | ||
const std::string & | algo | ||
) |
Multiply (concatenate) two automata.
lhs | an automaton. |
rhs | another one. |
algo | how to compute the result
|
Multiply (concatenate) two automata.
Definition at line 169 of file multiply.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::multiply().
Referenced by vcsn::dyn::detail::multiply_label(), vcsn::dyn::detail::multiply_polynomial(), and vcsn::rat::parser::parse().
automaton vcsn::dyn::multiply | ( | const automaton & | aut, |
int | min, | ||
int | max = -2 , |
||
const std::string & | algo = "auto" |
||
) |
Repeated multiplication (concatenation) of an automaton with itself.
aut | the automaton. |
min | the minimum number. If -1, denotes 0. |
max | the maximum number. If -1, denotes infinity, using star. If -2, denotes the same value as min. |
algo | how to compute the result
|
expression vcsn::dyn::multiply | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Multiply (concatenate) two expressions.
Multiply two weights.
Multiply two polynomials.
Multiply (concatenate) two labels.
expression vcsn::dyn::multiply | ( | const expression & | e, |
int | min, | ||
int | max = -2 |
||
) |
Repeated multiplication (concatenation) of an expression with itself.
Repeated multiplication of a weight with itself.
e | the expression. |
min | the minimum number. If -1, denotes 0. |
max | the maximum number. If -1, denotes infinity, using star. If -2, denotes the same value as min. |
e | the weight. |
min | the minimum number. If -1, denotes 0. |
max | the maximum number. If -1, denotes infinity, using star. If -2, denotes the same value as min. |
Repeated multiplication of a label with itself.
l | the label. |
num | the exponent. |
Normalize automaton aut.
Normalize automaton aut.
Definition at line 41 of file normalize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::normalize().
Referenced by normalize().
std::size_t vcsn::dyn::num_components | ( | const automaton & | aut | ) |
std::size_t vcsn::dyn::num_tapes | ( | const context & | ctx | ) |
The number of input tapes.
The number of input tapes.
Definition at line 166 of file make-context.hh.
References vcsn::dyn::context::as(), and vcsn::num_tapes().
Referenced by vcsn::rat::driver::context(), and vcsn::rat::parser::parse().
std::ostream & vcsn::dyn::operator<< | ( | std::ostream & | o, |
const automaton & | a | ||
) |
Output automaton a on o.
Definition at line 178 of file print.cc.
References get_format(), and print().
std::ostream & vcsn::dyn::operator<< | ( | std::ostream & | o, |
const context & | c | ||
) |
Output context c on o.
Definition at line 184 of file print.cc.
References get_format(), and print().
std::ostream & vcsn::dyn::operator<< | ( | std::ostream & | o, |
const expansion & | e | ||
) |
Output expansion e on o.
Output weight w on o.
Output polynomial p on o.
Output label l on o.
Output expression r on o.
Definition at line 190 of file print.cc.
References get_format(), and print().
Build the pair automaton of the given automaton.
Build the pair automaton of the given automaton.
Definition at line 264 of file pair.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::pair().
Referenced by pair().
Create a partial identity transducer from aut.
Create a partial identity transducer from aut.
Definition at line 81 of file partial-identity.hh.
References vcsn::dyn::automaton::as(), and vcsn::rat::partial_identity().
Referenced by vcsn::dyn::detail::partial_identity_expression().
expression vcsn::dyn::partial_identity | ( | const expression & | e | ) |
Create a partial-identity two-tape expression from e.
Create a prefix automaton from aut.
Create a prefix automaton from aut.
Definition at line 84 of file prefix.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::prefix().
Referenced by prefix().
std::ostream& vcsn::dyn::print | ( | const automaton & | aut, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Print automaton a on out using format format.
aut | the automaton to format |
out | the output stream where to print the dot file |
format | the output format.
|
Print automaton a on out using format format.
Definition at line 121 of file print.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::print().
Referenced by operator<<(), print(), and vcsn::rat::parser::yy_print_().
std::ostream& vcsn::dyn::print | ( | const context & | c, |
std::ostream & | out = std::cout , |
||
const std::string & | format = "default" |
||
) |
Print context c on out using format format.
std::ostream & vcsn::dyn::print | ( | const expansion & | e, |
std::ostream & | out = std::cout , |
||
const std::string & | format = "default" |
||
) |
Print expansion e on out using format format.
Print weight w on out using format format.
Print polynomial p on out using format format.
Print label l on out using format format.
Print expression e on out using format format.
Definition at line 23 of file print.cc.
References vcsn::detail::out(), and vcsn::str_escape().
Keep a single tape from a multiple-tape automaton.
Definition at line 113 of file others.cc.
References to_integral_constant().
Referenced by vcsn::rat::driver::context().
Keep a single tape from a multiple-tape context.
Definition at line 121 of file others.cc.
References to_integral_constant().
Keep a single tape from a multiple-tape expansion.
Keep a single tape from a multiple-tape label.
Keep a single tape from a multiple-tape polynomial.
Keep a single tape from a multiple-tape expression.
Definition at line 129 of file others.cc.
References to_integral_constant().
automaton vcsn::dyn::proper | ( | const automaton & | aut, |
direction | dir, | ||
bool | prune, | ||
const std::string & | algo | ||
) |
An equivalent automaton without spontaneous transitions.
aut | the automaton in which to remove them |
dir | the direction of the closure |
prune | whether to delete states that become inaccessible |
algo | how elimination is performed
|
An equivalent automaton without spontaneous transitions.
Definition at line 299 of file proper.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::detail::proper(), and vcsn::proper_lazy().
Referenced by proper().
The weight pushing automaton of aut.
The weight pushing automaton of aut.
Definition at line 71 of file push-weights.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::push_weights().
Referenced by push_weights().
A transducer that computes the quotient of the division of a word n by k in base b iff k|n.
A transducer that computes the quotient of the division of a word n by k in base b iff k|n.
Definition at line 76 of file quotkbaseb.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::quotkbaseb().
Referenced by quotkbaseb().
automaton vcsn::dyn::random_automaton | ( | const context & | ctx, |
unsigned | num_states, | ||
float | density, | ||
unsigned | num_initial, | ||
unsigned | num_final, | ||
boost::optional< unsigned > | max_labels, | ||
float | loop_chance | ||
) |
A random automaton.
ctx | The context of the result. |
num_states | The number of states wanted in the automata (>0). All states will be connected, and there will be no dead state. However, some might not be coaccessible. |
density | The density of the automata. This is the probability (between 0.0 and 1.0), to add a transition between two states. All states have at least one outgoing transition, so d is considered only when adding the remaining transition. A density of 1 means all states will be connected to each other. |
num_initial | The number of initial states wanted (0 <= num_initial <= num_states) |
num_final | The number of final states wanted (0 <= num_final <= num_states) |
max_labels | The maximum number of labels per transition. Defaults to the number of generators. |
loop_chance | The probability (between 0.0 and 1.0) for each state to have a loop. |
A random automaton.
Definition at line 202 of file random-automaton.hh.
References vcsn::dyn::context::as(), and vcsn::random_automaton().
A random deterministic automaton.
ctx | The context of the result. |
num_states | The number of states wanted in the automata (>0). |
A random deterministic automaton.
Definition at line 259 of file random-automaton.hh.
References vcsn::dyn::context::as(), and vcsn::random_automaton_deterministic().
expression vcsn::dyn::random_expression | ( | const context & | ctx, |
const std::string & | param, | ||
identities | ids | ||
) |
A random expression.
ctx | The context of the result. |
param | A string containing every operator and associated probability (as a weight) the user want on the generated expression. It can also contain the maximum of symbols of the expression. example: "+=1,.=2,{T}=0.5,length=6" |
ids | The identities to use for the expression |
A random expression.
Definition at line 287 of file random-expression.hh.
References vcsn::dyn::context::as(), vcsn::make_expressionset(), vcsn::dyn::detail::random_expression(), and vcsn::detail::rs.
Referenced by random_expression().
A random weight.
ctx | The context of the result. |
param | A string containing paramaters for the generation such as the min and max, or an element you want with specific probability. example: "1=0.2,10=0.3,min=0,max=20" |
A random weight.
Definition at line 31 of file random-weight.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::random_weight().
Referenced by random_weight().
Right-division of two automata (lhs / rhs).
Right-division of two automata (lhs / rhs).
Definition at line 767 of file conjunction.hh.
References vcsn::dyn::automaton::as(), and vcsn::rdivide().
Referenced by vcsn::rat::parser::parse(), vcsn::dyn::detail::rdivide_expression(), vcsn::dyn::detail::rdivide_label(), and vcsn::dyn::detail::rdivide_weight().
expression vcsn::dyn::rdivide | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Right-division of two expressions (lhs / rhs).
Right-division of two weights (lhs / rhs).
Right-division of two labels (lhs / rhs).
automaton vcsn::dyn::read_automaton | ( | std::istream & | is, |
const std::string & | format = "default" , |
||
bool | strip = true |
||
) |
Read an automaton from a stream.
is | the input stream. |
format | its format. |
strip | whether to return a stripped automaton, or a named automaton. |
Definition at line 34 of file read.cc.
References read_daut(), read_efsm(), read_fado(), vcsn::res, and strip().
automaton vcsn::dyn::read_daut | ( | std::istream & | is | ) |
Definition at line 125 of file daut.cc.
References vcsn::require().
Referenced by read_automaton().
automaton vcsn::dyn::read_efsm | ( | std::istream & | is | ) |
Definition at line 103 of file efsm.cc.
References vcsn::detail::ctx, vcsn::lazy_automaton_editor::open(), and vcsn::require().
Referenced by read_automaton().
expression vcsn::dyn::read_expression | ( | const context & | ctx, |
rat::identities | ids, | ||
std::istream & | is, | ||
const std::string & | f | ||
) |
Definition at line 60 of file read.cc.
References vcsn::detail::ctx, vcsn::rat::ids(), and vcsn::rat::read().
expression vcsn::dyn::read_expression | ( | const context & | ctx, |
identities | ids, | ||
std::istream & | is, | ||
const std::string & | format = "default" |
||
) |
Read an expression from a stream.
ctx | the context. |
ids | the identities to apply. |
is | the input stream. |
format | the expression's format. |
Referenced by vcsn::rat::expressionset_impl< Context >::conv().
automaton vcsn::dyn::read_fado | ( | std::istream & | is | ) |
Definition at line 42 of file fado.cc.
References vcsn::lazy_automaton_editor::open(), and vcsn::require().
Referenced by read_automaton().
label vcsn::dyn::read_label | ( | const context & | ctx, |
std::istream & | is, | ||
const std::string & | format = "default" |
||
) |
Read a label from a stream.
ctx | the context. |
is | the input stream. |
format | the label's format. |
Definition at line 85 of file read.cc.
Referenced by vcsn::rat::driver::make_label().
polynomial vcsn::dyn::read_polynomial | ( | const context & | ctx, |
std::istream & | is | ||
) |
Read a polynomial from a stream.
ctx | its context, from which is built its polynomialset. |
is | the stream to parse. |
Read a polynomial from a stream.
Definition at line 60 of file read.hh.
References vcsn::dyn::context::as(), vcsn::dyn::detail::read_polynomial(), and vcsn::res.
Referenced by read_polynomial().
Read a weight from a stream.
ctx | the context. |
is | the input stream. |
Read a weight from a stream.
Definition at line 90 of file read.hh.
References vcsn::dyn::context::as(), vcsn::dyn::detail::read_weight(), and vcsn::res.
Referenced by vcsn::rat::driver::make_weight(), and read_weight().
Create the realtime automaton (letterized and proper).
Create the realtime automaton (letterized and proper).
Definition at line 231 of file letterize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::realtime().
Referenced by realtime().
Reduce aut.
Reduce aut.
Definition at line 621 of file reduce.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::reduce().
Referenced by reduce().
automaton vcsn::dyn::rweight | ( | const automaton & | aut, |
const weight & | weight, | ||
const std::string & | algo | ||
) |
The right-mult automaton with w as weight.
aut | the input automaton. |
w | the weight to right-multiply |
algo | how to compute the result. In most cases, "standard" and "general" have equal results. The only difference in when when w is null, in which case "general" produces an empty automaton, while "standard" produces an automaton with a single state, which is initial (and, of course, no final states).
|
The right-mult automaton with w as weight.
Definition at line 351 of file weight.hh.
References vcsn::dyn::automaton::as(), vcsn::dyn::value_impl< Tag >::as(), vcsn::copy_into(), vcsn::detail::ctx, vcsn::dyn::detail::join(), vcsn::dyn::detail::make_context(), and vcsn::make_mutable_automaton().
polynomial vcsn::dyn::rweight | ( | const expansion & | aut, |
const weight & | w | ||
) |
The right-multiplication of an expansion with w as weight.
The right-multiplication of a polynomial with w as weight.
The right-multiplication of an expression with w as weight.
Build the SCC automaton whose states are labeled with number of the strongly-connected component they belong to.
aut | the input automaton. |
algo | the specific algorithm to use. |
Build the SCC automaton whose states are labeled with number of the strongly-connected component they belong to.
void vcsn::dyn::set_format | ( | std::ostream & | out, |
const std::string & | format | ||
) |
polynomial vcsn::dyn::shortest | ( | const automaton & | aut, |
boost::optional< unsigned > | num, | ||
boost::optional< unsigned > | len | ||
) |
The approximated behavior of an automaton.
aut | the automaton whose behavior to approximate |
num | number of words looked for. |
len | maximum length of words looked for. |
The approximated behavior of an automaton.
Definition at line 318 of file shortest.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::make_word_polynomialset(), and vcsn::dyn::detail::shortest().
Referenced by shortest().
The shuffle product of automata.
Performs the join of their types.
The shuffle product of automata.
Definition at line 811 of file conjunction.hh.
expression vcsn::dyn::shuffle | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
The shuffle product of expressions lhs and rhs.
Performs the join of their type.
A copy of a with normalized state numbers.
A copy of a with normalized state numbers.
Definition at line 176 of file sort.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::sort().
Referenced by sort(), and vcsn::detail::sorter< Aut >::visit_successors_of_().
polynomial vcsn::dyn::split | ( | const expression & | exp | ) |
Break exp.
Break all the expressions in p.
Break exp.
Definition at line 275 of file split.hh.
References vcsn::dyn::value_impl< Tag >::as(), vcsn::rat::make_expression_polynomialset(), and vcsn::detail::rs.
Referenced by vcsn::split_polynomial().
A standardized a.
A standardized a.
Definition at line 139 of file standard.hh.
References vcsn::dyn::automaton::as(), and vcsn::standard().
Referenced by to_automaton().
automaton vcsn::dyn::standard | ( | const expression & | e | ) |
The standard automaton of e.
Star of an automaton.
aut | the input automaton. |
algo | how to compute the result.
|
Star of an automaton.
Definition at line 124 of file star.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::star().
unsigned vcsn::dyn::star_height | ( | const expression & | exp | ) |
Star height of an expression.
Star height of an expression.
Definition at line 158 of file star-height.hh.
References vcsn::dyn::detail::star_height().
Referenced by star_height().
expression vcsn::dyn::star_normal_form | ( | const expression & | exp | ) |
A normalized form where star is applied only to proper expressions.
A normalized form where star is applied only to proper expressions.
Definition at line 198 of file star-normal-form.hh.
References vcsn::dyn::detail::star_normal_form().
Referenced by star_normal_form().
The automaton in a with its metadata layers removed.
The automaton in a with its metadata layers removed.
Definition at line 46 of file strip.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::strip().
Referenced by is_valid(), read_automaton(), strip(), and to_automaton().
Create a subword automaton from aut.
For each non-spontaneous transition, add a spontaneous transition with same source, destination, and weight.
Create a subword automaton from aut.
Definition at line 174 of file prefix.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::subword().
Referenced by subword().
Create a suffix automaton from aut.
Create a suffix automaton from aut.
Definition at line 44 of file prefix.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::suffix().
Referenced by suffix().
Create a synchronized transducer from aut.
Create a synchronized transducer from aut.
Definition at line 362 of file synchronize.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::synchronize().
Referenced by vcsn::synchronize(), and synchronize().
A synchronizing word, or raise if there is none.
A synchronizing word, or raise if there is none.
Definition at line 442 of file synchronizing-word.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::make_wordset(), and vcsn::synchronizing_word().
automaton vcsn::dyn::thompson | ( | const expression & | exp | ) |
The Thompson automaton of e.
The Thompson automaton of e.
Definition at line 215 of file thompson.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::detail::make_nullableset_context().
Referenced by to_automaton().
automaton vcsn::dyn::to_automaton | ( | const expression & | exp, |
const std::string & | algo = "auto" |
||
) |
An automaton denoting the language of exp.
exp | the expression defining the series. |
algo | the conversion algorithm.
|
Definition at line 176 of file others.cc.
References derived_term(), inductive(), standard(), strip(), thompson(), trim(), and zpc().
expansion vcsn::dyn::to_expansion | ( | const expression & | exp | ) |
First order development of a exp.
exp | the input expression |
First order development of a exp.
Definition at line 427 of file to-expansion.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::detail::rs.
expression vcsn::dyn::to_expression | ( | const automaton & | aut, |
identities | ids, | ||
const std::string & | algo | ||
) |
An expression denoting the language of aut.
aut | the input automaton |
ids | the identities to use for the expression |
algo | the state selection strategy |
An expression denoting the language of aut.
Definition at line 616 of file to-expression.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::rs, and vcsn::to_expression().
Referenced by vcsn::rat::driver::make_atom(), vcsn::rat::driver::make_expression(), and vcsn::dyn::detail::to_expression_class().
expression vcsn::dyn::to_expression | ( | const context & | ctx, |
identities | ids, | ||
const label & | l | ||
) |
An expression denoting the label of l.
expression vcsn::dyn::to_expression | ( | const context & | ctx, |
identities | ids, | ||
const letter_class_t & | letters, | ||
bool | accept = true |
||
) |
An expression matching one letter in a letter class.
ctx | The context to use. |
ids | The identities to use for the expression |
letters | The letter class as a set of ranges. |
accept | Whether to accept these characters ([abc]) as opposed to refusing them ([^abc]). |
|
static |
Definition at line 36 of file others.cc.
References vcsn::rat::to_string().
Referenced by focus(), and project().
Transpose aut.
Transpose aut.
Definition at line 273 of file transpose.hh.
Referenced by vcsn::dyn::detail::cominimize_tag_(), and vcsn::rat::parser::parse().
expression vcsn::dyn::transpose | ( | const expression & | e | ) |
Transpose e.
expression vcsn::dyn::transposition | ( | const expression & | r | ) |
Add the transposition operator to r.
automaton vcsn::dyn::trie | ( | const polynomial & | poly | ) |
A trie-like automaton (single initial state, multiple final states) to accept p.
p | the polynomial that describes the (finite) series |
A trie-like automaton (single initial state, multiple final states) to accept p.
Definition at line 242 of file trie.hh.
References vcsn::dyn::value_impl< Tag >::as(), and vcsn::trie().
automaton vcsn::dyn::trie | ( | const context & | ctx, |
std::istream & | is, | ||
const std::string & | format = "default" |
||
) |
A trie-like automaton (single initial state, multiple final states) to accept the series contained in is.
ctx | the (word-based) context used to read the words. |
is | the input stream. |
format | the format of the file: "words" or "monomials". |
The trim subautomaton of aut.
The trim subautomaton of aut.
Definition at line 224 of file accessible.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::trim().
Referenced by to_automaton(), and trim().
Build a two-tape automaton from two automata.
lhs | the left automaton |
rhs | the right automaton |
Definition at line 219 of file others.cc.
Referenced by vcsn::rat::parser::parse(), and tuple().
Build a k-tape automaton from k automata.
as | the automata |
Build a k-tape automaton from k automata.
Definition at line 210 of file tuple-automaton.hh.
Referenced by vcsn::dyn::detail::tuple_().
A k-tape context from k contexts.
ctxs | the contexts |
polynomial vcsn::dyn::tuple | ( | const std::vector< expansion > & | rs | ) |
Build a k-tape expansion from k expansions.
Build a k-tape polynomial from k polynomials.
Build a k-tape expression from k expressions.
expression vcsn::dyn::tuple | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
std::string vcsn::dyn::type | ( | const automaton & | a | ) |
The implementation type of a.
Definition at line 239 of file others.cc.
References vcsn::dyn::automaton::vname().
Referenced by vcsn::lazy_automaton_editor::add_transition(), vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::as_label_(), vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::is_label_(), vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >::join(), vcsn::detail::join_impl< expansionset< expressionset< Ctx1 > >, expansionset< expressionset< Ctx2 > > >::join(), vcsn::ast::parse_type(), vcsn::detail::dot::parser::by_type::token(), vcsn::rat::parser::by_type::token(), vcsn::detail::dot::parser::by_type::type_get(), and vcsn::rat::parser::by_type::type_get().
The Brzozowski universal witness.
The Brzozowski universal witness.
Definition at line 68 of file u.hh.
References vcsn::dyn::context::as(), and vcsn::dyn::detail::u().
Referenced by u().
The universal automaton of aut.
The universal automaton of aut.
Definition at line 148 of file universal.hh.
References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::universal().
Referenced by universal().
The weight one.
The weight one.
Definition at line 33 of file constant.hh.
References vcsn::dyn::context::as().
Compute weight of the series.
Compute weight of the series.
Definition at line 55 of file weight-series.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::ctx, vcsn::res, and vcsn::dyn::detail::weight_series().
Referenced by weight_series().
The weight zero.
The weight zero.
Definition at line 42 of file constant.hh.
References vcsn::dyn::context::as().
automaton vcsn::dyn::zpc | ( | const expression & | exp, |
const std::string & | algo | ||
) |
The ZPC automaton of exp.
exp | the expression to build the automaton from. |
algo | the specific algorithm to use. It can be "regular"/"auto" or the variant "compact". |
The ZPC automaton of exp.
Definition at line 376 of file zpc.hh.
References vcsn::dyn::automaton::as(), vcsn::detail::ctx, and vcsn::detail::make_nullableset_context().
Referenced by to_automaton().
xalloc<const std::string*> vcsn::dyn::format_flag |
Definition at line 161 of file print.cc.
Referenced by get_format(), and set_format().