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 &param, identities ids)
	A random expression. More...

weight	random_weight (const context &ctx, const std::string &param)
	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 Documentation

typedef value_impl< detail::expansion_tag > vcsn::dyn::expansion

Definition at line 24 of file fwd.hh.

typedef value_impl< detail::expression_tag > vcsn::dyn::expression

Definition at line 25 of file fwd.hh.

typedef value_impl< detail::label_tag > vcsn::dyn::label

Definition at line 26 of file fwd.hh.

typedef value_impl< detail::polynomial_tag > vcsn::dyn::polynomial

Definition at line 27 of file fwd.hh.

typedef value_impl< detail::weight_tag > vcsn::dyn::weight

Definition at line 28 of file fwd.hh.

using vcsn::dyn::word = typedef label

The type of a word.

This is used by Tools to infer

Definition at line 20 of file types.hh.

Function Documentation

automaton vcsn::dyn::accessible ( const automaton & 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().

Here is the call graph for this function:

automaton vcsn::dyn::add	(	const automaton &	lhs,
		const automaton &	rhs,
		const std::string &	algo
	)

Sum of two automata.

Parameters

lhs	an automaton.
rhs	another one.
algo	how to compute the result "standard" both lhs and rhs are standard, build a standard automaton. "general" no requirement on lhs and and rhs. "auto" "standard" if both automata are standard, "general" otherwise.

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().

Here is the call graph for this function:

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.

word vcsn::dyn::ambiguous_word ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::are_equivalent	(	const automaton &	aut1,
		const automaton &	aut2
	)

Whether compute the same series.

Precondition: The labelsets of lhs and rhs are free.; lhs and rhs are Boolean, or on Z, or on a field.

Whether compute the same series.

Definition at line 66 of file are-equivalent.hh.

References vcsn::are_equivalent(), and vcsn::dyn::automaton::as().

Here is the call graph for this function:

bool vcsn::dyn::are_equivalent	(	const expression &	lhs,
		const expression &	rhs
	)

Whether denote the same series.

Precondition: The labelsets of lhs and rhs are free.; lhs and rhs are Boolean, or on Z, or on a field.

bool vcsn::dyn::are_isomorphic	(	const automaton &	aut1,
		const automaton &	aut2
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::cerny	(	const context &	ctx,
		unsigned	num_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().

Here is the call graph for this function:

automaton vcsn::dyn::coaccessible ( const automaton & 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().

Here is the call graph for this function:

automaton vcsn::dyn::codeterminize	(	const automaton &	aut,
		const std::string &	algo
	)

The codeterminized automaton.

Parameters

aut	the automaton to codeterminize
algo	"boolean" use efficient bitsets "weighted" accept non Boolean automata (might not terminate) "auto" "boolean" if the automaton is Boolean, "weighted" otherwise.

Precondition: the labelset of aut must be free.

The codeterminized automaton.

Definition at line 430 of file determinize.hh.

Referenced by vcsn::dyn::detail::codeterminize_tag_().

automaton vcsn::dyn::cominimize	(	const automaton &	aut,
		const std::string &	algo
	)

The cominimized automaton.

Parameters

aut	the automaton to cominimize
algo	the specific algorithm to use

Precondition: aut must be LAL.; aut must be deterministic.

The cominimized automaton.

Definition at line 196 of file minimize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

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.

automaton vcsn::dyn::complement ( const automaton & aut )

The complement of aut.

Precondition: aut is lal; aut is Boolean; aut is deterministic; aut is complete

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().

Here is the call graph for this function:

expansion vcsn::dyn::complement ( const expansion & x )

Complement this expansion.

Add the complement operator to r.

automaton vcsn::dyn::complete ( const automaton & aut )

A completed copy of aut.

Precondition: aut is lal

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().

Here is the call graph for this function:

automaton vcsn::dyn::component	(	const automaton &	aut,
		unsigned	num
	)

The automaton of a strongly connected component.

Parameters

aut	the input automaton.
num	the component number.

The automaton of a strongly connected component.

Definition at line 771 of file scc.hh.

automaton vcsn::dyn::compose	(	const automaton &	lhs,
		const automaton &	rhs,
		bool	lazy
	)

The composition of transducers lhs and rhs.

Parameters

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().

Here is the call graph for this function:

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().

automaton vcsn::dyn::condense ( const automaton & aut )

The condensation of aut such that each state is a strongly connected component.

Definition at line 832 of file scc.hh.

automaton vcsn::dyn::conjugate ( const automaton & a )

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().

Here is the call graph for this function:

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.

Parameters

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().

automaton vcsn::dyn::conjunction	(	const std::vector< automaton > &	as,
		bool	lazy
	)

The conjunction (aka synchronized product) of automata.

Performs the meet of the contexts.

Parameters

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.

automaton vcsn::dyn::conjunction	(	const automaton &	aut,
		unsigned	n
	)

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.

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_().

Here is the call graph for this function:

context vcsn::dyn::context_of ( const automaton & aut )

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().

Here is the call graph for this function:

context vcsn::dyn::context_of ( const expansion & r )

The context of this expansion.

The context of this polynomial.

The context of this expression.

automaton vcsn::dyn::copy ( const automaton & aut )

A copy of aut.

Definition at line 435 of file copy.hh.

References vcsn::dyn::automaton::as(), and vcsn::rat::copy().

Here is the call graph for this function:

automaton vcsn::dyn::copy	(	const automaton &	aut,
		const context &	ctx
	)

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.

automaton vcsn::dyn::costandard ( const automaton & aut )

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().

Here is the call graph for this function:

automaton vcsn::dyn::cotrie ( const polynomial & poly )

A reversed trie-like automaton (multiple initial states, single final state) automaton to accept p.

Parameters

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().

Here is the call graph for this function:

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.

Parameters

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.

Definition at line 57 of file de-bruijn.hh.

References vcsn::dyn::context::as(), and vcsn::dyn::detail::de_bruijn().

Referenced by de_bruijn().

Here is the call graph for this function:

automaton vcsn::dyn::delay_automaton ( const automaton & aut )

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.

Parameters

exp	the input expression
lbl	the label used for derivation
breaking	whether to split the result

Precondition: exp must be LAL.

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.

Here is the call graph for this function:

automaton vcsn::dyn::derived_term	(	const expression &	exp,
		const std::string &	algo
	)

The derived-term automaton of exp.

Parameters

exp	the input expression
algo	how the derived terms are computed: "auto" alias for "expansion" "derivation" compute by derivation "breaking_derivation" compute by breaking derivation "expansion" compute by expansion "breaking_expansion" compute by breaking expansion

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().

Here is the call graph for this function:

automaton vcsn::dyn::determinize	(	const automaton &	aut,
		const std::string &	algo
	)

The determinized automaton.

Parameters

aut	the automaton to determinize
algo	"boolean" use efficient bitsets "weighted" accept non Boolean automata (might not terminate) "auto" "boolean" if the automaton is Boolean, "weighted" otherwise.

Precondition: the labelset of aut must be free.

The determinized automaton.

Definition at line 357 of file determinize.hh.

Referenced by vcsn::dyn::detail::determinize_tag_().

automaton vcsn::dyn::difference	(	const automaton &	lhs,
		const automaton &	rhs
	)

An automaton whose behavior is that of lhs on words not accepted by rhs.

Parameters

lhs	a LAL automaton
rhs	a LAL Boolean automaton

Precondition: rhs is Boolean.

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().

Here is the call graph for this function:

expression vcsn::dyn::difference	(	const expression &	lhs,
		const expression &	rhs
	)

Words accepted by lhs, but not by rhs.

automaton vcsn::dyn::divkbaseb	(	const context &	ctx,
		unsigned	divisor,
		unsigned	base
	)

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().

Here is the call graph for this function:

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.

Definition at line 75 of file double-ring.hh.

References vcsn::dyn::context::as(), and vcsn::dyn::detail::double_ring().

Referenced by double_ring().

Here is the call graph for this function:

automaton vcsn::dyn::eliminate_state	(	const automaton &	aut,
		int	state
	)

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().

Here is the call graph for this function:

weight vcsn::dyn::evaluate	(	const automaton &	aut,
		const label &	lbl
	)

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.

Here is the call graph for this function:

expression vcsn::dyn::expand ( const expression & exp )

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().

Here is the call graph for this function:

expression vcsn::dyn::expression_one	(	const context &	ctx,
		identities	ids
	)

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().

Here is the call graph for this function:

expression vcsn::dyn::expression_zero	(	const context &	ctx,
		identities	ids
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::factor ( const automaton & 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().

Here is the call graph for this function:

automaton vcsn::dyn::filter	(	const automaton &	aut,
		const std::vector< unsigned > &	states
	)

The subautomaton based on aut, with only states in ss visible.

Definition at line 322 of file filter.hh.

automaton vcsn::dyn::focus	(	const automaton &	aut,
		unsigned	tape
	)

Focus on a specific tape of a tupleset automaton.

Definition at line 44 of file others.cc.

References to_integral_constant().

Here is the call graph for this function:

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.

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().

Here is the call graph for this function:

bool vcsn::dyn::has_lightening_cycle ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::has_twins_property ( const automaton & aut )

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().

Here is the call graph for this function:

identities vcsn::dyn::identities_of ( const 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.

Parameters

e	the expressions
algo	how to compute the result "standard" build a standard automaton. "general" no requirement on the result "auto" same as "standard"

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().

Here is the call graph for this function:

automaton vcsn::dyn::infiltrate	(	const automaton &	lhs,
		const automaton &	rhs
	)

The infiltration of automata lhs and rhs.

Performs the join of their types.

Definition at line 56 of file others.cc.

automaton vcsn::dyn::infiltrate ( const std::vector< automaton > & as )

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.

Parameters

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().

Here is the call graph for this function:

std::ostream& vcsn::dyn::info	(	const expression &	exp,
		std::ostream &	out = `std::cout`
	)

Output various facts about exp.

automaton vcsn::dyn::insplit	(	const automaton &	aut,
		bool	lazy
	)

Split automaton on the incoming transition.

In an insplit automaton, each state has either only spontaneous incoming transitions or only proper incoming transitions.

Parameters

aut	automaton to insplit
lazy	whether to perform the computations on demand.

Precondition: aut is lal or lan.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_accessible ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_ambiguous ( const automaton & aut )

Whether aut is ambiguous.

Precondition: aut is LAL.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_coaccessible ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_codeterministic ( const automaton & aut )

Whether aut is codeterministic.

Precondition: aut is LAL.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_complete ( const automaton & aut )

Whether aut is complete.

Precondition: aut is LAL.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_costandard ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_cycle_ambiguous ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_deterministic ( const automaton & aut )

Whether aut is deterministic.

Precondition: aut is LAL.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_empty ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_eps_acyclic ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_functional ( const automaton & aut )

Whether aut is functional.

Precondition: aut is a transducer.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_letterized ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_normalized ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_out_sorted ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_partial_identity ( const automaton & aut )

Whether aut realizes a partial identity.

Precondition: aut is a transducer.

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().

Here is the call graph for this function:

bool vcsn::dyn::is_proper ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_realtime ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_standard ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_synchronized ( const automaton & aut )

Whether is synchronized.

Definition at line 320 of file is-synchronized.hh.

bool vcsn::dyn::is_synchronized_by	(	const automaton &	aut,
		const label &	word
	)

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().

Here is the call graph for this function:

bool vcsn::dyn::is_synchronizing ( const automaton & aut )

Whether is synchronizing.

Definition at line 402 of file synchronizing-word.hh.

References vcsn::dyn::automaton::as(), and vcsn::is_synchronizing().

Here is the call graph for this function:

bool vcsn::dyn::is_trim ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_useless ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_valid ( const automaton & aut )

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().

Here is the call graph for this function:

bool vcsn::dyn::is_valid ( const expression & e )

Whether rational expression is valid (all the starred sub-expressions are starrable).

template<typename ValueSetLhs , typename ValueSetRhs , typename Tag >

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.

Here is the call graph for this function:

context vcsn::dyn::join	(	const context &	c1,
		const context &	c2
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::ladybird	(	const dyn::context &	ctx,
		unsigned	n
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::ldivide	(	const automaton &	aut1,
		const automaton &	aut2
	)

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().

Here is the call graph for this function:

weight vcsn::dyn::ldivide	(	const expansion &	lhs,
		const expansion &	rhs
	)

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.

automaton vcsn::dyn::letterize ( const automaton & aut )

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().

Here is the call graph for this function:

automaton vcsn::dyn::levenshtein ( const dyn::context & ctx )

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().

Here is the call graph for this function:

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().

Here is the call graph for this function:

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.

Parameters

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.

Parameters

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().

Here is the call graph for this function:

automaton vcsn::dyn::lightest_automaton	(	const automaton &	aut,
		unsigned	k,
		const std::string &	algo
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::lweight	(	const weight &	weight,
		const automaton &	aut,
		const std::string &	algo
	)

The left-multiplication of an automaton with w as weight.

Parameters

w	the weight to left-multiply
aut	the input automaton.
algo	how to compute the result. "standard" aut is standard, build a standard automaton. "general" no requirement on aut, but add spontaneous transitions. "auto" "standard" if aut is standard, "general" otherwise.

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().

Here is the call graph for this function:

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.

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_().

Here is the call graph for this function:

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_().

Here is the call graph for this function:

context vcsn::dyn::make_word_context ( const context & ctx )

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().

Here is the call graph for this function:

automaton vcsn::dyn::minimize	(	const automaton &	aut,
		const std::string &	algo
	)

The minimized automaton.

Parameters

aut	the automaton to minimize
algo	the specific algorithm to use

Precondition: aut must be LAL.; aut must be deterministic.

The minimized automaton.

Definition at line 158 of file minimize.hh.

References vcsn::dyn::automaton::as().

Here is the call graph for this function:

automaton vcsn::dyn::multiply	(	const automaton &	lhs,
		const automaton &	rhs,
		const std::string &	algo
	)

Multiply (concatenate) two automata.

Parameters

lhs	an automaton.
rhs	another one.
algo	how to compute the result "standard" both lhs and rhs are standard, build a standard automaton. "general" no requirement on lhs and and rhs, but add spontaneous transitions. "auto" "standard" if both automata are standard, "general" otherwise.

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().

Here is the call graph for this function:

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.

Parameters

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 "standard" aut is standard, build a standard automaton. "general" no requirement on aut, but add spontaneous transitions. "auto" "standard" if aut is standard, "general" otherwise.

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.

Parameters

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.

label vcsn::dyn::multiply	(	const label &	l,
		int	num
	)

Repeated multiplication of a label with itself.

Parameters

l	the label.
num	the exponent.

automaton vcsn::dyn::normalize ( const 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().

Here is the call graph for this function:

std::size_t vcsn::dyn::num_components ( const automaton & aut )

The number of strongly connected components.

Definition at line 735 of file scc.hh.

std::size_t vcsn::dyn::num_tapes ( const context & ctx )

The number of input tapes.

Returns: 0 if the context is not tupleset.

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().

Here is the call graph for this function:

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().

Here is the call graph for this function:

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().

Here is the call graph for this function:

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().

Here is the call graph for this function:

automaton vcsn::dyn::pair	(	const automaton &	aut,
		bool	keep_initials
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::partial_identity ( const automaton & 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().

Here is the call graph for this function:

expression vcsn::dyn::partial_identity ( const expression & e )

Create a partial-identity two-tape expression from e.

automaton vcsn::dyn::prefix ( const automaton & 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().

Here is the call graph for this function:

std::ostream& vcsn::dyn::print	(	const automaton &	aut,
		std::ostream &	o,
		const std::string &	fmt
	)

Print automaton a on out using format format.

Parameters

aut	the automaton to format
out	the output stream where to print the dot file
format	the output format. "default" Same as "dot". "dot" GraphViz' Dot format. "dot,utf8" Likewise, but benefit from UTF-8 "dot,latex" Likewise, but generate LaTeX escapes for use with dot2tex. "efsm" Extended FSM. "fado" FAdo format. "grail" Grail format. "tikz" LaTeX's TikZ 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_().

Here is the call graph for this function:

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().

Here is the call graph for this function:

automaton vcsn::dyn::project	(	const automaton &	aut,
		unsigned	tape
	)

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().

Here is the call graph for this function:

context vcsn::dyn::project	(	const context &	ctx,
		unsigned	tape
	)

Keep a single tape from a multiple-tape context.

Definition at line 121 of file others.cc.

References to_integral_constant().

Here is the call graph for this function:

label vcsn::dyn::project	(	const expansion &	xpn,
		unsigned	tape
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::proper	(	const automaton &	aut,
		direction	dir,
		bool	prune,
		const std::string &	algo
	)

An equivalent automaton without spontaneous transitions.

Parameters

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 "auto" same as "inplace" "default" same as "inplace" "inplace" eliminate in place "separate" first separate the automaton into spontaneous and proper parts "distance" compute all-pairs distances

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().

Here is the call graph for this function:

automaton vcsn::dyn::push_weights ( const automaton & 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().

Here is the call graph for this function:

automaton vcsn::dyn::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.

Definition at line 76 of file quotkbaseb.hh.

References vcsn::dyn::context::as(), and vcsn::dyn::detail::quotkbaseb().

Referenced by quotkbaseb().

Here is the call graph for this function:

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.

Parameters

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().

Here is the call graph for this function:

automaton vcsn::dyn::random_automaton_deterministic	(	const context &	ctx,
		unsigned	num_states
	)

A random deterministic automaton.

Parameters

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().

Here is the call graph for this function:

expression vcsn::dyn::random_expression	(	const context &	ctx,
		const std::string &	param,
		identities	ids
	)

A random expression.

Parameters

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().

Here is the call graph for this function:

weight vcsn::dyn::random_weight	(	const context &	ctx,
		const std::string &	param
	)

A random weight.

Parameters

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().

Here is the call graph for this function:

automaton vcsn::dyn::rdivide	(	const automaton &	aut1,
		const automaton &	aut2
	)

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().

Here is the call graph for this function:

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.

Parameters

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().

Here is the call graph for this function:

automaton vcsn::dyn::read_daut ( std::istream & is )

Definition at line 125 of file daut.cc.

References vcsn::require().

Referenced by read_automaton().

Here is the call graph for this function:

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().

Here is the call graph for this function:

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().

Here is the call graph for this function:

expression vcsn::dyn::read_expression	(	const context &	ctx,
		identities	ids,
		std::istream &	is,
		const std::string &	format = `"default"`
	)

Read an expression from a stream.

Parameters

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().

Here is the call graph for this function:

label vcsn::dyn::read_label	(	const context &	ctx,
		std::istream &	is,
		const std::string &	format = `"default"`
	)

Read a label from a stream.

Parameters

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.

Parameters

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().

Here is the call graph for this function:

weight vcsn::dyn::read_weight	(	const context &	ctx,
		std::istream &	is
	)

Read a weight from a stream.

Parameters

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().

Here is the call graph for this function:

automaton vcsn::dyn::realtime ( const automaton & aut )

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().

Here is the call graph for this function:

automaton vcsn::dyn::reduce ( const automaton & aut )

Reduce aut.

Definition at line 621 of file reduce.hh.

References vcsn::dyn::automaton::as(), and vcsn::dyn::detail::reduce().

Referenced by reduce().

Here is the call graph for this function:

automaton vcsn::dyn::rweight	(	const automaton &	aut,
		const weight &	weight,
		const std::string &	algo
	)

The right-mult automaton with w as weight.

Parameters

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). "standard" aut is standard, build a standard automaton. "general" no requirement on aut, but add spontaneous transitions. "auto" "standard" if aut is standard, "general" otherwise.

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().

Here is the call graph for this function:

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.

automaton vcsn::dyn::scc	(	const automaton &	aut,
		const std::string &	algo
	)

Build the SCC automaton whose states are labeled with number of the strongly-connected component they belong to.

Parameters

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.

Definition at line 704 of file scc.hh.

void vcsn::dyn::set_format	(	std::ostream &	out,
		const std::string &	format
	)

Specify the output format for out.

Definition at line 164 of file print.cc.

References format_flag.

polynomial vcsn::dyn::shortest	(	const automaton &	aut,
		boost::optional< unsigned >	num,
		boost::optional< unsigned >	len
	)

The approximated behavior of an automaton.

Parameters

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().

Here is the call graph for this function:

automaton vcsn::dyn::shuffle	(	const automaton &	lhs,
		const automaton &	rhs
	)

The shuffle product of automata lhs and rhs.

Performs the join of their type.

Definition at line 164 of file others.cc.

automaton vcsn::dyn::shuffle ( const std::vector< automaton > & as )

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.

automaton vcsn::dyn::sort ( const automaton & aut )

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_().

Here is the call graph for this function:

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().

Here is the call graph for this function:

automaton vcsn::dyn::standard ( const automaton & aut )

A standardized a.

Definition at line 139 of file standard.hh.

References vcsn::dyn::automaton::as(), and vcsn::standard().

Referenced by to_automaton().

Here is the call graph for this function:

automaton vcsn::dyn::standard ( const expression & e )

The standard automaton of e.

automaton vcsn::dyn::star	(	const automaton &	a,
		const std::string &	algo
	)

Star of an automaton.

Parameters

aut	the input automaton.
algo	how to compute the result. "standard" aut is standard, build a standard automaton. "general" no requirement on aut, but add spontaneous transitions. "auto" "standard" if aut is standard, "general" otherwise.

Star of an automaton.

Definition at line 124 of file star.hh.

References vcsn::dyn::automaton::as(), vcsn::detail::dispatch_tags(), and vcsn::star().

Here is the call graph for this function:

unsigned vcsn::dyn::star_height ( const expression & exp )

Star height of an expression.

Definition at line 158 of file star-height.hh.

References vcsn::dyn::detail::star_height().

Referenced by star_height().

Here is the call graph for this function:

expression vcsn::dyn::star_normal_form ( const expression & exp )

A normalized form where star is applied only to proper expressions.

Precondition: e is Boolean.

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().

Here is the call graph for this function:

automaton vcsn::dyn::strip ( const automaton & aut )

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().

Here is the call graph for this function:

automaton vcsn::dyn::subword ( const automaton & aut )

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().

Here is the call graph for this function:

automaton vcsn::dyn::suffix ( const automaton & 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().

Here is the call graph for this function:

automaton vcsn::dyn::synchronize ( const automaton & 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().

Here is the call graph for this function:

word vcsn::dyn::synchronizing_word	(	const automaton &	aut,
		const std::string &	algo
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::thompson ( const expression & exp )

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().

Here is the call graph for this function:

automaton vcsn::dyn::to_automaton	(	const expression &	exp,
		const std::string &	algo = `"auto"`
	)

An automaton denoting the language of exp.

Parameters

exp the expression defining the series.

algo

the conversion algorithm.

"auto": currently equivalent to "expansion", eventually should mix "standard" for basic expressions (faster) and "expansion" otherwise (more general).
"derivation": use derivation-based expression.derived_term, stripped.
"derived_term": same as "expansion"
"expansion": use expansion-based expression.derived_term, stripped.
"inductive": use expression.inductive
"standard": use expression.standard.
"thompson": use expression.thompson.
"zpc": use expression.zpc.
"zpc,compact": use expression.zpc, "compact" version.

Definition at line 176 of file others.cc.

References derived_term(), inductive(), standard(), strip(), thompson(), trim(), and zpc().

Here is the call graph for this function:

expansion vcsn::dyn::to_expansion ( const expression & exp )

First order development of a exp.

Parameters

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.

Here is the call graph for this function:

expression vcsn::dyn::to_expression	(	const automaton &	aut,
		identities	ids,
		const std::string &	algo
	)

An expression denoting the language of aut.

Parameters

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().

Here is the call graph for this function:

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.

Parameters

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 integral_constant vcsn::dyn::to_integral_constant ( unsigned tape )

static

Definition at line 36 of file others.cc.

References vcsn::rat::to_string().

Referenced by focus(), and project().

Here is the call graph for this function:

automaton vcsn::dyn::transpose ( automaton & 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.

Parameters

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().

Here is the call graph for this function:

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.

Parameters

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::trim ( const automaton & 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().

Here is the call graph for this function:

automaton vcsn::dyn::tuple	(	const automaton &	lhs,
		const automaton &	rhs
	)

Build a two-tape automaton from two automata.

Parameters

lhs	the left automaton
rhs	the right automaton

Definition at line 219 of file others.cc.

Referenced by vcsn::rat::parser::parse(), and tuple().

automaton vcsn::dyn::tuple ( const std::vector< automaton > & as )

Build a k-tape automaton from k automata.

Parameters

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_().

context vcsn::dyn::tuple	(	const context &	lhs,
		const context &	rhs
	)

Tuple two contexts.

Definition at line 226 of file others.cc.

References tuple().

Here is the call graph for this function:

context vcsn::dyn::tuple ( const std::vector< context > & ctxs )

A k-tape context from k contexts.

Parameters

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
	)

Build a two-tape expression from two expressions.

Definition at line 233 of file others.cc.

References tuple().

Here is the call graph for this function:

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().

Here is the call graph for this function:

automaton vcsn::dyn::u	(	const context &	ctx,
		unsigned	n
	)

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().

Here is the call graph for this function:

automaton vcsn::dyn::universal ( const automaton & 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().

Here is the call graph for this function:

weight vcsn::dyn::weight_one ( const context & ctx )

The weight one.

Definition at line 33 of file constant.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

weight vcsn::dyn::weight_series ( const automaton & aut )

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().

Here is the call graph for this function:

weight vcsn::dyn::weight_zero ( const context & ctx )

The weight zero.

Definition at line 42 of file constant.hh.

References vcsn::dyn::context::as().

Here is the call graph for this function:

automaton vcsn::dyn::zpc	(	const expression &	exp,
		const std::string &	algo
	)

The ZPC automaton of exp.

Parameters

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().

Here is the call graph for this function:

Variable Documentation

xalloc<const std::string*> vcsn::dyn::format_flag

Definition at line 161 of file print.cc.

Referenced by get_format(), and set_format().

Namespaces

Classes

Typedefs

Functions

Variables

Typedef Documentation

Function Documentation

Variable Documentation