![]() |
Vcsn
2.1
Be Rational
|
Namespaces | |
detail | |
Classes | |
struct | jit_error |
An exception suited for our compilation errors. More... | |
Typedefs | |
using | automaton = std::shared_ptr< detail::automaton_base > |
using | expansion = std::shared_ptr< const detail::expansion_base > |
using | expression = std::shared_ptr< detail::expression_base > |
using | context = std::shared_ptr< const detail::context_base > |
A dyn::context. More... | |
using | label = std::shared_ptr< const detail::label_base > |
using | polynomial = std::shared_ptr< const detail::polynomial_base > |
using | weight = std::shared_ptr< const detail::weight_base > |
Functions | |
automaton | accessible (const automaton &aut) |
The accessible subautomaton of aut. More... | |
label | 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... | |
expression | complement (const expression &r) |
Add the complement operator to r. 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 (automaton &lhs, automaton &rhs) |
The composition of transducers lhs and rhs. 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... | |
expression | conjunction (const expression &lhs, const expression &rhs) |
The Hadamard product of expressions lhs and rhs. 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 expression &r) |
The context of this expression. 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, rat::identities ids) |
Copy of exp, but built with ctx. More... | |
automaton | costandard (const automaton &a) |
A standardized transpositive 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) |
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 | eval (const automaton &aut, const label &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, rat::identities ids) |
The expression for \e . More... | |
expression | expression_zero (const context &c, rat::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_bounded_lag (const automaton &aut) |
Whether the transducer has bounded lag. More... | |
rat::identities | identities (const expression &exp) |
The identities of expression exp. More... | |
automaton | infiltration (const automaton &lhs, const automaton &rhs) |
The infiltration of automata lhs and rhs. More... | |
automaton | infiltration (const std::vector< automaton > &as) |
The infiltration product of automata. More... | |
expression | infiltration (const expression &lhs, const expression &rhs) |
The infiltration product of expressions lhs and rhs. More... | |
std::ostream & | info (const automaton &aut, std::ostream &out, bool detailed=false) |
Output various facts about an automaton. More... | |
std::ostream & | info (const expression &exp, std::ostream &out) |
Output various facts about exp. More... | |
automaton | insplit (const automaton &aut) |
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 label &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... | |
polynomial | ldiv (const polynomial &lhs, const polynomial &rhs) |
Left-division of two polynomials (lhs \ rhs). More... | |
expression | ldiv (const expression &lhs, const expression &rhs) |
Left-division of two expressions (lhs \ rhs). More... | |
polynomial | lgcd (const polynomial &lhs, const polynomial &rhs) |
Left greatest common divisor of two polynomials (lhs \ rhs). More... | |
automaton | left_mult (const weight &w, const automaton &aut) |
The left-multiplication of an automaton with w as weight. More... | |
expression | left_mult (const weight &w, const expression &exp) |
The left-multiplication of an expression 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={}, rat::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, boost::optional< unsigned > num={}) |
The approximated behavior of an automaton with smallest weights. 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) |
Multiply (concatenate) two standard automata. More... | |
automaton | multiply (const automaton &aut, int min, int max) |
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) |
Repeated multiplication (concatenation) of an expression with itself. More... | |
label | multiply (const label &lhs, const label &rhs) |
Multiply (concatenate) two labels. More... | |
polynomial | multiply (const polynomial &lhs, const polynomial &rhs) |
Multiply two polynomials. More... | |
weight | multiply (const weight &lhs, const weight &rhs) |
Multiply two weights. More... | |
weight | multiply (const weight &e, int min, int max) |
Repeated multiplication of a weight 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... | |
automaton | prefix (const automaton &aut) |
Create a prefix automaton from aut. More... | |
std::ostream & | print (const automaton &aut, std::ostream &out, const std::string &format="default") |
Print automaton a on o using format format. More... | |
std::ostream & | print (const context &c, std::ostream &o, const std::string &format="default") |
Print context c on o using format format. More... | |
std::ostream & | print (const expansion &e, std::ostream &o, const std::string &format="default") |
Print expansion e on o using format format. More... | |
std::ostream & | print (const expression &e, std::ostream &o, const std::string &format="default") |
Print expression e on o using format format. More... | |
std::ostream & | print (const label &l, std::ostream &o, const std::string &format="default") |
Print label l on o using format format. More... | |
std::ostream & | print (const polynomial &p, std::ostream &o, const std::string &format="default") |
Print polynomial p on o using format format. More... | |
std::ostream & | print (const weight &w, std::ostream &o, const std::string &format="default") |
Print weight w on o using format format. More... | |
void | set_format (std::ostream &o, const std::string &format) |
Specify the output format for o. More... | |
std::string | get_format (std::ostream &o) |
Get the output format for o. 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... | |
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, float loop_chance=0.0) |
Produce a random automaton. More... | |
automaton | random_automaton_deterministic (const context &ctx, unsigned num_states) |
Produce a random deterministic automaton. More... | |
expression | rdiv (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, rat::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 | right_mult (const automaton &aut, const weight &w) |
The right-mult automaton with w as weight. More... | |
expression | right_mult (const expression &aut, const weight &w) |
The right-multiplication of an expression 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... | |
polynomial | split (const polynomial &p) |
Break all the expressions in p. 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) |
Star of a standard 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 | sum (const automaton &lhs, const automaton &rhs) |
Sum of two standard automata. More... | |
expression | sum (const expression &lhs, const expression &rhs) |
Sum of two expressions. More... | |
polynomial | sum (const polynomial &lhs, const polynomial &rhs) |
Sum of two polynomials. More... | |
weight | sum (const weight &lhs, const weight &rhs) |
Sum of two weights. More... | |
automaton | synchronize (const automaton &aut) |
Create a synchronized transducer from aut. More... | |
label | 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, rat::identities ids={}, const std::string &algo="auto") |
An expression denoting the language of aut. More... | |
expression | to_expression (const context &ctx, rat::identities ids, const label &l) |
An expression denoting the label of l. More... | |
expression | to_expression (const context &ctx, rat::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) |
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... | |
expression | tuple (const expression &lhs, const expression &rhs) |
Build a two-tape expression from two expressions. More... | |
expression | tuple (const std::vector< expression > &rs) |
Build a k-tape expression from k 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 | union_a (const automaton &lhs, const automaton &rhs) |
Union of two automata (plain graph union). More... | |
automaton | universal (const automaton &aut) |
The universal automaton of aut. More... | |
weight | weight_series (const automaton &aut) |
Compute weight of the series. More... | |
automaton | zpc (const expression &exp, const std::string &algo="auto") |
The ZPC automaton of exp. More... | |
template<typename Aut > | |
automaton | make_automaton (const Aut &aut) |
Build a dyn::automaton. More... | |
template<typename LabelSet , typename WeightSet > | |
context | make_context (const vcsn::context< LabelSet, WeightSet > &ctx) |
Build a dyn::context from a static one. More... | |
template<typename ExpansionSet > | |
expansion | make_expansion (const ExpansionSet &ps, const typename ExpansionSet::value_t &expansion) |
template<typename ExpSet > | |
expression | make_expression (const ExpSet &rs, const typename ExpSet::value_t &r) |
template<typename LabelSet > | |
label | make_label (const LabelSet &ls, const typename LabelSet::value_t &l) |
template<typename LabelSet > | |
label | make_word (const LabelSet &ls, const typename LabelSet::value_t &l) |
template<typename PolynomialSet > | |
polynomial | make_polynomial (const PolynomialSet &ps, const typename PolynomialSet::value_t &p) |
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... | |
template<typename WeightSet > | |
weight | make_weight (const WeightSet &ws, const typename WeightSet::value_t &w) |
automaton | read_efsm (std::istream &is) |
automaton | read_fado (std::istream &is) |
static integral_constant | to_integral_constant (unsigned tape) |
Variables | |
xalloc< std::string * > | format_flag |
typedef std::shared_ptr< detail::automaton_base > vcsn::dyn::automaton |
Definition at line 69 of file automaton.hh.
using vcsn::dyn::context = typedef std::shared_ptr<const detail::context_base> |
A dyn::context.
typedef std::shared_ptr< const detail::expansion_base > vcsn::dyn::expansion |
Definition at line 73 of file expansion.hh.
typedef std::shared_ptr< detail::expression_base > vcsn::dyn::expression |
Definition at line 78 of file expression.hh.
typedef std::shared_ptr< const detail::label_base > vcsn::dyn::label |
typedef std::shared_ptr< const detail::polynomial_base > vcsn::dyn::polynomial |
typedef std::shared_ptr< const detail::weight_base > vcsn::dyn::weight |
The accessible subautomaton of aut.
The accessible subautomaton of aut.
Definition at line 206 of file accessible.hh.
References vcsn::accessible(), and make_automaton().
An ambiguous word, or raise if there is none.
An ambiguous word, or raise if there is none.
Definition at line 97 of file is-ambiguous.hh.
References vcsn::ambiguous_word(), make_label(), 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().
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 701 of file are-isomorphic.hh.
References vcsn::dyn::detail::are_isomorphic().
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::cerny(), and make_automaton().
The coaccessible subautomaton of aut.
The coaccessible subautomaton of aut.
Definition at line 215 of file accessible.hh.
References vcsn::coaccessible(), and make_automaton().
The codeterminized automaton.
aut | the automaton to codeterminize |
algo |
|
The codeterminized automaton.
Definition at line 623 of file determinize.hh.
The cominimized automaton.
aut | the automaton to cominimize |
algo | the specific algorithm to use |
The cominimized automaton.
Definition at line 156 of file minimize.hh.
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 62 of file complement.hh.
References vcsn::complement(), and make_automaton().
expression vcsn::dyn::complement | ( | const expression & | r | ) |
Add the complement operator to r.
A completed copy of aut.
A completed copy of aut.
Definition at line 76 of file complete.hh.
References vcsn::complete(), and make_automaton().
The composition of transducers lhs and rhs.
The composition of transducers lhs and rhs.
Definition at line 307 of file compose.hh.
References vcsn::compose(), and make_automaton().
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 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 615 of file conjunction.hh.
Repeated conjunction of aut with itself.
expression vcsn::dyn::conjunction | ( | const expression & | lhs, |
const expression & | 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 204 of file constant-term.hh.
References make_weight().
The context of this automaton.
The context of this automaton.
Definition at line 63 of file make-context.hh.
References make_context().
Referenced by vcsn::ctx::detail::register_functions().
context vcsn::dyn::context_of | ( | const expression & | r | ) |
The context of this expression.
A copy of aut.
A copy of aut.
Definition at line 337 of file copy.hh.
References vcsn::copy(), and make_automaton().
A copy of aut converted to context ctx.
expression vcsn::dyn::copy | ( | const expression & | exp, |
const context & | ctx, | ||
rat::identities | ids | ||
) |
Copy of exp, but built with ctx.
A standardized transpositive a.
A standardized transpositive a.
Definition at line 151 of file standard.hh.
References vcsn::dyn::detail::costandard(), and make_automaton().
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 191 of file trie.hh.
References vcsn::dyn::detail::cotrie(), and make_automaton().
Referenced by cotrie(), and vcsn::dyn::detail::cotrie_stream().
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. |
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 59 of file de-bruijn.hh.
References vcsn::de_bruijn(), and make_automaton().
The automaton with the delay of each state.
The automaton with the delay of each state.
Definition at line 347 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 337 of file derivation.hh.
References vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), make_polynomial(), and vcsn::detail::rs.
Referenced by to_automaton().
|
inline |
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 265 of file derived-term.hh.
References vcsn::derived_term(), make_automaton(), and vcsn::detail::rs.
Referenced by to_automaton().
The determinized automaton.
aut | the automaton to determinize |
algo |
|
The determinized automaton.
Definition at line 572 of file determinize.hh.
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::difference(), and make_automaton().
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 71 of file divkbaseb.hh.
References vcsn::divkbaseb(), and make_automaton().
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 77 of file double-ring.hh.
References vcsn::double_ring(), and make_automaton().
The LAO automaton aut with state s removed.
The LAO automaton aut with state s removed.
Definition at line 453 of file to-expression.hh.
References vcsn::eliminate_state(), and make_automaton().
Evaluate l on aut.
Evaluate l on aut.
Definition at line 113 of file eval.hh.
References vcsn::rat::ctx(), vcsn::dyn::detail::eval(), and make_weight().
Referenced by eval().
|
inline |
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 165 of file expand.hh.
References vcsn::dyn::detail::expand(), and make_expression().
Referenced by expand().
expression vcsn::dyn::expression_one | ( | const context & | ctx, |
rat::identities | ids | ||
) |
The expression for \e
.
The expression for \e
.
Definition at line 15 of file constant.hh.
References make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().
expression vcsn::dyn::expression_zero | ( | const context & | ctx, |
rat::identities | ids | ||
) |
The expression for \z
.
The expression for \z
.
Definition at line 24 of file constant.hh.
References make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.
Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().
Create a factor automaton from aut.
Create a factor automaton from aut.
Definition at line 121 of file prefix.hh.
References vcsn::factor(), and make_automaton().
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 & | o | ) |
bool vcsn::dyn::has_bounded_lag | ( | const automaton & | aut | ) |
Whether the transducer has bounded lag.
Whether the transducer has bounded lag.
Definition at line 160 of file has-bounded-lag.hh.
References vcsn::dyn::detail::has_bounded_lag().
Referenced by has_bounded_lag().
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::detail::has_twins_property().
Referenced by has_twins_property().
rat::identities vcsn::dyn::identities | ( | const expression & | exp | ) |
The identities of expression exp.
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().
The infiltration product of automata.
Performs the join of their types.
The infiltration product of automata.
Definition at line 750 of file conjunction.hh.
expression vcsn::dyn::infiltration | ( | 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, | ||
bool | detailed | ||
) |
Output various facts about an automaton.
aut | the automaton under study |
out | the output stream where to print the info |
detailed | whether to print even facts costly to compute. |
Output various facts about an automaton.
Definition at line 258 of file info.hh.
References vcsn::dyn::detail::info().
Referenced by info(), and print().
std::ostream& vcsn::dyn::info | ( | const expression & | exp, |
std::ostream & | out | ||
) |
Output various facts about exp.
Split automaton on the incoming transition.
Every state either has only epsilon incoming transitions or non-epsilon ones.
Split automaton on the incoming transition.
Definition at line 120 of file insplit.hh.
References vcsn::insplit(), and make_automaton().
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::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 52 of file is-ambiguous.hh.
References 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::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::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 48 of file is-complete.hh.
References vcsn::dyn::detail::is_complete().
Referenced by is_complete().
|
inline |
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 64 of file standard.hh.
References 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 177 of file is-ambiguous.hh.
References 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::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::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 123 of file is-eps-acyclic.hh.
References 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 33 of file is-functional.hh.
References 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 202 of file letterize.hh.
References 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::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 76 of file sort.hh.
References 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::detail::is_partial_identity().
Referenced by is_partial_identity().
|
inline |
Whether has no spontaneous transition.
Whether has no spontaneous transition.
Definition at line 60 of file is-proper.hh.
References 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 260 of file letterize.hh.
References vcsn::dyn::detail::is_realtime().
Referenced by is_realtime().
|
inline |
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::detail::is_standard().
Referenced by is_standard().
bool vcsn::dyn::is_synchronized | ( | const automaton & | aut | ) |
Whether is synchronized.
Whether is synchronized.
Definition at line 318 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::is_synchronized_by().
bool vcsn::dyn::is_synchronizing | ( | const automaton & | aut | ) |
Whether is synchronizing.
Whether is synchronizing.
Definition at line 395 of file synchronizing-word.hh.
References 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::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::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 152 of file is-valid.hh.
References 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).
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 92 of file make-context.hh.
References vcsn::dyn::detail::join(), and make_context().
Referenced by join(), vcsn::detail::join_impl< tupleset< VS1...>, tupleset< VS2...> >::join(), vcsn::dyn::detail::ldiv_expression(), vcsn::dyn::detail::ldiv_polynomial(), left_mult(), vcsn::dyn::detail::less_than_expression(), vcsn::dyn::detail::lgcd_polynomial(), vcsn::dyn::detail::multiply_label(), vcsn::dyn::detail::multiply_polynomial(), vcsn::dyn::detail::multiply_weight(), vcsn::dyn::detail::rdiv_expression(), right_mult(), vcsn::dyn::detail::sum_expression(), vcsn::dyn::detail::sum_polynomial(), and vcsn::dyn::detail::sum_weight().
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 56 of file ladybird.hh.
References vcsn::ladybird(), and make_automaton().
polynomial vcsn::dyn::ldiv | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Left-division of two polynomials (lhs \ rhs).
expression vcsn::dyn::ldiv | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Left-division of two expressions (lhs \ rhs).
The left-multiplication of an automaton with w as weight.
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(), vcsn::dyn::detail::join(), vcsn::left_mult_here(), make_automaton(), vcsn::dyn::detail::make_context(), and vcsn::make_mutable_automaton().
Referenced by vcsn::rat::parser::parse().
expression vcsn::dyn::left_mult | ( | const weight & | w, |
const expression & | exp | ||
) |
The left-multiplication of an expression with w as weight.
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 147 of file letterize.hh.
References vcsn::letterize(), and make_automaton().
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::levenshtein(), and make_automaton().
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 = {} , |
||
rat::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 |
Definition at line 69 of file others.cc.
References vcsn::signature::sig, vcsn::rat::to_string(), and vcsn::vname().
expression vcsn::dyn::lift | ( | const expression & | e | ) |
The lifted LAO rational expression from e.
polynomial vcsn::dyn::lightest | ( | const automaton & | aut, |
boost::optional< unsigned > | num | ||
) |
The approximated behavior of an automaton with smallest weights.
aut | the automaton whose behavior to approximate |
num | number of words looked for. |
The approximated behavior of an automaton with smallest weights.
Definition at line 193 of file lightest.hh.
References vcsn::dyn::detail::lightest(), make_polynomial(), and vcsn::detail::make_word_polynomialset().
Referenced by lightest().
|
inline |
Build a dyn::automaton.
Definition at line 75 of file automaton.hh.
Referenced by accessible(), cerny(), coaccessible(), vcsn::dyn::detail::cominimize_(), complement(), complete(), compose(), vcsn::dyn::detail::conjunction_(), vcsn::dyn::detail::conjunction_repeated(), copy(), vcsn::dyn::detail::copy_convert(), costandard(), cotrie(), vcsn::dyn::detail::cotrie_stream(), de_bruijn(), derived_term(), difference(), divkbaseb(), double_ring(), eliminate_state(), factor(), vcsn::dyn::detail::infiltration_(), insplit(), ladybird(), left_mult(), letterize(), levenshtein(), vcsn::dyn::detail::lift_automaton(), vcsn::dyn::detail::minimize_(), multiply(), vcsn::dyn::detail::multiply_repeated(), normalize(), pair(), partial_identity(), prefix(), vcsn::dyn::detail::project(), proper(), push_weights(), random_automaton(), random_automaton_deterministic(), realtime(), reduce(), vcsn::edit_automaton< Aut >::result(), right_mult(), vcsn::dyn::detail::shuffle_(), sort(), standard(), vcsn::dyn::detail::standard_expression(), star(), strip(), subword(), suffix(), sum(), synchronize(), thompson(), trie(), vcsn::dyn::detail::trie_stream(), trim(), u(), union_a(), universal(), and zpc().
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.
Referenced by vcsn::ctx::detail::register_functions(), vcsn::lazy_automaton_editor::result(), and vcsn::detail::dot::driver::setup_().
|
inline |
Build a dyn::context from a static one.
Definition at line 72 of file context.hh.
References vcsn::rat::ctx().
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(), context_of(), vcsn::dyn::detail::context_of_expression(), vcsn::rat::expressionset_impl< Context >::conv(), join(), vcsn::dyn::detail::make_context(), vcsn::lazy_automaton_editor::result(), and vcsn::detail::dot::driver::setup_().
|
inline |
Definition at line 78 of file expansion.hh.
Referenced by to_expansion().
|
inline |
Definition at line 83 of file expression.hh.
References vcsn::detail::rs.
Referenced by vcsn::dyn::detail::complement_expression(), vcsn::dyn::detail::concatenate_expression(), vcsn::dyn::detail::conjunction_expression(), vcsn::dyn::detail::copy_expression(), vcsn::dyn::detail::difference_expression(), expand(), expression_one(), expression_zero(), vcsn::dyn::detail::infiltration_expression(), vcsn::dyn::detail::ldiv_expression(), vcsn::dyn::detail::left_mult_expression(), vcsn::dyn::detail::lift_expression(), vcsn::dyn::detail::multiply_expression(), vcsn::dyn::detail::multiply_expression_repeated(), vcsn::dyn::detail::rdiv_expression(), vcsn::dyn::detail::right_mult_expression(), vcsn::dyn::detail::shuffle_expression(), star_normal_form(), vcsn::dyn::detail::sum_expression(), to_expression(), vcsn::dyn::detail::to_expression_class(), vcsn::dyn::detail::to_expression_label(), and vcsn::dyn::detail::tuple_().
|
inline |
Definition at line 80 of file label.hh.
Referenced by ambiguous_word(), make_word(), vcsn::dyn::detail::multiply_label(), vcsn::dyn::detail::read_label(), and synchronizing_word().
|
inline |
Definition at line 88 of file polynomial.hh.
Referenced by derivation(), vcsn::dyn::detail::ldiv_polynomial(), vcsn::dyn::detail::lgcd_polynomial(), lightest(), vcsn::dyn::detail::multiply_polynomial(), read_polynomial(), shortest(), split(), vcsn::dyn::detail::split_polynomial(), and vcsn::dyn::detail::sum_polynomial().
|
inline |
Definition at line 79 of file weight.hh.
Referenced by constant_term(), eval(), vcsn::dyn::detail::multiply_weight(), vcsn::dyn::detail::multiply_weight_repeated(), read_weight(), vcsn::dyn::detail::sum_weight(), and weight_series().
|
inline |
Definition at line 89 of file label.hh.
References make_label(), and vcsn::detail::make_wordset().
The context for words.
The context for words.
Definition at line 112 of file make-context.hh.
References vcsn::dyn::detail::make_context(), and vcsn::detail::make_word_context().
Referenced by 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 115 of file minimize.hh.
Multiply (concatenate) two standard automata.
Multiply (concatenate) two standard automata.
Definition at line 104 of file multiply.hh.
References make_automaton(), and vcsn::multiply().
Referenced by vcsn::dyn::detail::multiply_label(), vcsn::dyn::detail::multiply_polynomial(), and vcsn::rat::parser::parse().
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. |
expression vcsn::dyn::multiply | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Multiply (concatenate) two expressions.
expression vcsn::dyn::multiply | ( | const expression & | e, |
int | min, | ||
int | max | ||
) |
Repeated multiplication (concatenation) of an expression with itself.
e | the expression. |
min | the minimum number. If -1, denotes 0. |
max | the maximum number. If -1, denotes infinity, using star. |
Multiply (concatenate) two labels.
polynomial vcsn::dyn::multiply | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Multiply two polynomials.
Repeated multiplication of a weight with itself.
e | the weight. |
min | the minimum number. If -1, denotes 0. |
max | the maximum number. If -1, denotes infinity, using star. |
Normalize automaton aut.
Normalize automaton aut.
Definition at line 41 of file normalize.hh.
References make_automaton(), and vcsn::normalize().
|
inline |
std::size_t vcsn::dyn::num_tapes | ( | const context & | ctx | ) |
The number of input tapes.
The number of input tapes.
Definition at line 148 of file make-context.hh.
References vcsn::num_tapes().
Referenced by vcsn::rat::driver::context().
Build the pair automaton of the given automaton.
Build the pair automaton of the given automaton.
Definition at line 255 of file pair.hh.
References make_automaton(), and vcsn::pair().
Create a partial identity transducer from aut.
Create a partial identity transducer from aut.
Definition at line 79 of file partial-identity.hh.
References make_automaton(), and vcsn::partial_identity().
Create a prefix automaton from aut.
Create a prefix automaton from aut.
Definition at line 84 of file prefix.hh.
References make_automaton(), and vcsn::prefix().
std::ostream& vcsn::dyn::print | ( | const automaton & | aut, |
std::ostream & | o, | ||
const std::string & | fmt | ||
) |
Print automaton a on o 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 o using format format.
Definition at line 104 of file print.hh.
References vcsn::dyn::detail::print().
Referenced by print(), and vcsn::rat::parser::yy_print_().
std::ostream& vcsn::dyn::print | ( | const context & | c, |
std::ostream & | o, | ||
const std::string & | format = "default" |
||
) |
Print context c on o using format format.
std::ostream & vcsn::dyn::print | ( | const expansion & | e, |
std::ostream & | o, | ||
const std::string & | format = "default" |
||
) |
Print expansion e on o using format format.
Definition at line 27 of file print.cc.
References vcsn::str_escape().
std::ostream & vcsn::dyn::print | ( | const expression & | e, |
std::ostream & | o, | ||
const std::string & | format = "default" |
||
) |
Print expression e on o using format format.
Definition at line 109 of file print.cc.
References info(), and vcsn::str_escape().
std::ostream & vcsn::dyn::print | ( | const label & | l, |
std::ostream & | o, | ||
const std::string & | format = "default" |
||
) |
Print label l on o using format format.
Definition at line 53 of file print.cc.
References vcsn::str_escape().
std::ostream & vcsn::dyn::print | ( | const polynomial & | p, |
std::ostream & | o, | ||
const std::string & | format = "default" |
||
) |
Print polynomial p on o using format format.
Definition at line 80 of file print.cc.
References vcsn::str_escape().
std::ostream & vcsn::dyn::print | ( | const weight & | w, |
std::ostream & | o, | ||
const std::string & | format = "default" |
||
) |
Print weight w on o using format format.
Definition at line 138 of file print.cc.
References 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().
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 187 of file proper.hh.
References make_automaton(), and vcsn::proper().
The weight pushing automaton of aut.
The weight pushing automaton of aut.
Definition at line 71 of file push-weights.hh.
References make_automaton(), and vcsn::push_weights().
automaton vcsn::dyn::random_automaton | ( | const context & | ctx, |
unsigned | num_states, | ||
float | density, | ||
unsigned | num_initial, | ||
unsigned | num_final, | ||
float | loop_chance | ||
) |
Produce 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. |
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) |
loop_chance | The probability (between 0.0 and 1.0) for each state to have a loop. |
Produce a random automaton.
Definition at line 239 of file random.hh.
References make_automaton(), and vcsn::random_automaton().
Produce a random deterministic automaton.
ctx | The context of the result. |
num_states | The number of states wanted in the automata (>0). |
Produce a random deterministic automaton.
Definition at line 298 of file random.hh.
References make_automaton(), and vcsn::random_automaton_deterministic().
expression vcsn::dyn::rdiv | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Right-division of two expressions (lhs \ rhs).
Referenced by vcsn::rat::parser::parse(), and vcsn::dyn::detail::rdiv_expression().
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 35 of file read.cc.
References vcsn::dot(), vcsn::efsm(), vcsn::fado(), vcsn::getargs(), vcsn::rat::read(), read_efsm(), read_fado(), and strip().
automaton vcsn::dyn::read_efsm | ( | std::istream & | is | ) |
Definition at line 77 of file efsm.cc.
References vcsn::lazy_automaton_editor::add_final(), vcsn::lazy_automaton_editor::add_initial(), vcsn::lazy_automaton_editor::add_transition(), vcsn::rat::ctx(), vcsn::getargs(), is, vcsn::lazy_automaton_editor::open(), vcsn::require(), vcsn::lazy_automaton_editor::result(), vcsn::lazy_automaton_editor::result_context(), and vcsn::lazy_automaton_editor::weightset().
Referenced by read_automaton().
expression vcsn::dyn::read_expression | ( | const context & | ctx, |
rat::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. |
Definition at line 62 of file read.cc.
References BUILTIN_UNREACHABLE, vcsn::getargs(), and vcsn::rat::read().
Referenced by vcsn::rat::expressionset_impl< Context >::conv().
automaton vcsn::dyn::read_fado | ( | std::istream & | is | ) |
Definition at line 21 of file fado.cc.
References vcsn::lazy_automaton_editor::add_final(), vcsn::lazy_automaton_editor::add_initial(), vcsn::lazy_automaton_editor::add_transition(), vcsn::lazy_automaton_editor::open(), and vcsn::lazy_automaton_editor::result().
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 88 of file read.cc.
References vcsn::getargs().
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 64 of file read.hh.
References make_polynomial(), and vcsn::dyn::detail::read_polynomial().
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 95 of file read.hh.
References make_weight(), and vcsn::dyn::detail::read_weight().
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 232 of file letterize.hh.
References make_automaton(), and vcsn::realtime().
Reduce aut.
Reduce aut.
Definition at line 621 of file reduce.hh.
References make_automaton(), and vcsn::dyn::detail::reduce().
Referenced by reduce().
The right-mult automaton with w as weight.
The right-mult automaton with w as weight.
Definition at line 218 of file left-mult.hh.
References vcsn::copy_into(), vcsn::rat::ctx(), vcsn::dyn::detail::join(), make_automaton(), vcsn::dyn::detail::make_context(), vcsn::make_mutable_automaton(), and vcsn::right_mult_here().
Referenced by vcsn::rat::parser::parse().
expression vcsn::dyn::right_mult | ( | const expression & | aut, |
const weight & | w | ||
) |
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 & | o, |
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 275 of file shortest.hh.
References make_polynomial(), 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 660 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 178 of file sort.hh.
References make_automaton(), and vcsn::sort().
Referenced by vcsn::detail::sorter< Aut >::visit_successors_of_().
polynomial vcsn::dyn::split | ( | const expression & | exp | ) |
Break exp.
Break exp.
Definition at line 277 of file split.hh.
References vcsn::rat::make_expression_polynomialset(), make_polynomial(), and vcsn::detail::rs.
polynomial vcsn::dyn::split | ( | const polynomial & | p | ) |
Break all the expressions in p.
A standardized a.
A standardized a.
Definition at line 141 of file standard.hh.
References make_automaton(), and vcsn::standard().
Referenced by to_automaton().
automaton vcsn::dyn::standard | ( | const expression & | e | ) |
The standard automaton of e.
Star of a standard automaton.
Star of a standard automaton.
Definition at line 74 of file star.hh.
References make_automaton(), and vcsn::star().
unsigned vcsn::dyn::star_height | ( | const expression & | exp | ) |
Star height of an expression.
Star height of an expression.
Definition at line 113 of file star-height.hh.
|
inline |
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 199 of file star-normal-form.hh.
References make_expression(), and 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 51 of file strip.hh.
References make_automaton(), and vcsn::strip().
Referenced by is_valid(), read_automaton(), 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 178 of file prefix.hh.
References make_automaton(), and vcsn::subword().
Create a suffix automaton from aut.
Create a suffix automaton from aut.
Definition at line 44 of file prefix.hh.
References make_automaton(), and vcsn::suffix().
Sum of two standard automata.
Sum of two standard automata.
Definition at line 82 of file sum.hh.
References make_automaton(), and vcsn::sum().
Referenced by vcsn::dyn::detail::sum_polynomial(), and vcsn::dyn::detail::sum_weight().
expression vcsn::dyn::sum | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Sum of two expressions.
polynomial vcsn::dyn::sum | ( | const polynomial & | lhs, |
const polynomial & | rhs | ||
) |
Sum of two polynomials.
Create a synchronized transducer from aut.
Create a synchronized transducer from aut.
Definition at line 364 of file synchronize.hh.
References make_automaton(), and vcsn::synchronize().
Referenced by vcsn::synchronize().
A synchronizing word, or raise if there is none.
A synchronizing word, or raise if there is none.
Definition at line 435 of file synchronizing-word.hh.
References make_label(), vcsn::detail::make_wordset(), and vcsn::synchronizing_word().
|
inline |
The Thompson automaton of e.
The Thompson automaton of e.
Definition at line 208 of file thompson.hh.
References vcsn::rat::ctx(), make_automaton(), 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 145 of file others.cc.
References BUILTIN_UNREACHABLE, vcsn::derivation(), derivation(), derived_term(), vcsn::getargs(), vcsn::standard(), standard(), strip(), vcsn::thompson(), thompson(), vcsn::zpc(), 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 426 of file to-expansion.hh.
References make_expansion(), and vcsn::detail::rs.
expression vcsn::dyn::to_expression | ( | const automaton & | aut, |
vcsn::rat::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 580 of file to-expression.hh.
References make_expression(), 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, |
rat::identities | ids, | ||
const label & | l | ||
) |
An expression denoting the label of l.
expression vcsn::dyn::to_expression | ( | const context & | ctx, |
rat::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().
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 182 of file trie.hh.
References make_automaton(), and vcsn::dyn::detail::trie().
Referenced by trie(), and vcsn::dyn::detail::trie_stream().
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. |
The trim subautomaton of aut.
The trim subautomaton of aut.
Definition at line 224 of file accessible.hh.
References make_automaton(), and vcsn::trim().
expression vcsn::dyn::tuple | ( | const expression & | lhs, |
const expression & | rhs | ||
) |
Build a two-tape expression from two expressions.
Definition at line 191 of file others.cc.
Referenced by vcsn::rat::parser::parse().
expression vcsn::dyn::tuple | ( | const std::vector< expression > & | rs | ) |
Build a k-tape expression from k expressions.
std::string vcsn::dyn::type | ( | const automaton & | a | ) |
The implementation type of a.
Definition at line 197 of file others.cc.
Referenced by vcsn::lazy_automaton_editor::add_transition(), vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::as_label_(), vcsn::detail::dot::parser::by_type::clear(), vcsn::rat::parser::by_type::clear(), vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::is_label_(), vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >::join(), vcsn::make_shared_ptr(), vcsn::detail::dot::parser::by_type::move(), vcsn::rat::parser::by_type::move(), vcsn::detail::dot::parser::by_type::token(), vcsn::rat::parser::by_type::token(), vcsn::detail::dot::parser::by_type::type_get(), vcsn::rat::parser::by_type::type_get(), and vcsn::ast::context_printer::visit().
The Brzozowski universal witness.
The Brzozowski universal witness.
Definition at line 70 of file u.hh.
References make_automaton(), and vcsn::u().
Union of two automata (plain graph union).
Performs the join of the contexts.
Union of two automata (plain graph union).
Definition at line 49 of file union.hh.
References make_automaton(), and vcsn::union_a().
The universal automaton of aut.
The universal automaton of aut.
Definition at line 137 of file universal.hh.
References make_automaton(), and vcsn::universal().
Compute weight of the series.
Compute weight of the series.
Definition at line 27 of file weight-series.hh.
References vcsn::rat::ctx(), make_weight(), and vcsn::dyn::detail::weight_series().
Referenced by weight_series().
|
inline |
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 358 of file zpc.hh.
References vcsn::rat::ctx(), make_automaton(), and vcsn::detail::make_nullableset_context().
Referenced by to_automaton().
xalloc<std::string*> vcsn::dyn::format_flag |
Definition at line 162 of file print.cc.
Referenced by get_format(), and set_format().