vcsn::dyn::detail Namespace Reference

Classes
class	automaton_base
	Base class for automata. More...
class	automaton_wrapper
	A wrapped typed automaton. More...
class	context_base
	Template-less root for contexts. More...
class	context_wrapper
	A wrapped typed context. More...
class	expansion_base
	An abstract expansion. More...
class	expansion_wrapper
	Aggregate an expansion and its expansionset. More...
class	expression_base
	An abstract expression. More...
class	expression_wrapper
	Aggregate an expression and its expressionset. More...
class	label_base
	An abstract label. More...
class	label_wrapper
	Aggregate a label and its labelset. More...
class	polynomial_base
	An abstract polynomial. More...
class	polynomial_wrapper
	Aggregate a polynomial and its polynomialset. More...
class	Registry
class	weight_base
	An abstract weight. More...
class	weight_wrapper
	Aggregate a weight and its weightset. More...

Typedefs
template<typename Aut , typename Type >
using	if_boolean_t = vcsn::enable_if_t< std::is_same< weightset_t_of< Aut >, b >::value, Type >
template<typename Aut , typename Type >
using	if_not_boolean_t = vcsn::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, Type >

Functions
template<typename Aut >
automaton	accessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	coaccessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	trim (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_accessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_coaccessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_trim (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_useless (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_empty (const automaton &aut)
	Bridge. More...
template<typename Aut1 , typename Aut2 >
bool	are_equivalent (const automaton &aut1, const automaton &aut2)
	Bridge. More...
template<typename ExpSet1 , typename ExpSet2 >
bool	are_equivalent_expression (const expression &r1, const expression &r2)
	Bridge (are_equivalent). More...
template<typename Lhs , typename Rhs >
automaton	difference (const automaton &lhs, const automaton &rhs)
	Bridge. More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	difference_expression (const expression &lhs, const expression &rhs)
	Bridge (difference). More...
template<typename Aut1 , typename Aut2 >
bool	are_isomorphic (const automaton &aut1, const automaton &aut2)
	Bridge. More...
template<typename Ctx , typename >
automaton	cerny (const context &ctx, unsigned num_states)
	Bridge. More...
template<typename Aut >
automaton	complement (const automaton &aut)
	Bridge. More...
template<typename ExpSet >
expression	complement_expression (const expression &exp)
	Bridge (complement). More...
template<typename Aut >
automaton	complete (const automaton &aut)
	Bridge. More...
template<typename Lhs , typename Rhs >
automaton	compose (automaton &lhs, automaton &rhs)
	Bridge. More...
template<std::size_t I, typename Aut >
vcsn::enable_if_t< labelset_t_of< Aut >::has_one()&&I!=0, Aut >	do_insplit (Aut &aut)
template<std::size_t I, typename Aut >
vcsn::enable_if_t<!labelset_t_of< Aut >::has_one()||I==0, Aut & >	do_insplit (Aut &aut)
template<typename Auts , size_t... I>
automaton	conjunction_ (const std::vector< automaton > &as, bool lazy, vcsn::detail::index_sequence< I...>)
	Bridge helper. More...
template<typename Auts , typename Bool >
automaton	conjunction (const std::vector< automaton > &as, bool lazy)
	Bridge (conjunction). More...
template<typename Auts , size_t... I>
automaton	shuffle_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
	Variadic bridge helper. More...
template<typename Auts >
automaton	shuffle (const std::vector< automaton > &as)
	Bridge (shuffle). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	shuffle_expression (const expression &lhs, const expression &rhs)
	Bridge (shuffle). More...
template<typename Auts , size_t... I>
automaton	infiltration_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
	Variadic bridge helper. More...
template<typename Auts >
automaton	infiltration (const std::vector< automaton > &as)
	Bridge (infiltration). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	infiltration_expression (const expression &lhs, const expression &rhs)
	Bridge (infiltration). More...
template<typename Aut , typename Unsigned >
automaton	conjunction_repeated (const automaton &aut, unsigned n)
	Bridge (conjunction). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	conjunction_expression (const expression &lhs, const expression &rhs)
	Bridge (conjunction). More...
template<typename ExpSet >
weight	constant_term (const expression &exp)
	Bridge. More...
template<typename Context , typename Identities >
expression	expression_one (const context &ctx, rat::identities ids)
	Bridge. More...
template<typename Context , typename Identities >
expression	expression_zero (const context &ctx, rat::identities ids)
	Bridge. More...
template<typename Aut , typename Ctx >
automaton	copy_convert (const automaton &aut, const context &ctx)
	Bridge (copy). More...
template<typename Aut >
automaton	copy (const automaton &aut)
	Bridge. More...
template<typename ExpSet , typename Context , typename Identities >
expression	copy_expression (const expression &exp, const context &ctx, rat::identities ids)
	Bridge (copy). More...
template<typename Ctx , typename Unsigned >
automaton	de_bruijn (const dyn::context &ctx, unsigned n)
	Bridge. More...
template<typename ExpSet , typename Label , typename Bool >
polynomial	derivation (const expression &exp, const label &lbl, bool breaking)
	Bridge. More...
template<typename ExpSet , typename String >
automaton	derived_term (const expression &exp, const std::string &algo)
	Bridge. More...
template<typename Aut , typename String >
if_boolean_t< Aut, automaton >	determinize_ (const automaton &aut, const std::string &algo)
	Boolean Bridge. More...
template<typename Aut , typename String >
if_not_boolean_t< Aut, automaton >	determinize_ (const automaton &aut, const std::string &algo)
	Weighted Bridge. More...
template<typename Aut , typename String >
automaton	determinize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename Aut , typename String >
if_boolean_t< Aut, automaton >	codeterminize_ (const automaton &aut, const std::string &algo)
	Boolean Bridge. More...
template<typename Aut , typename String >
if_not_boolean_t< Aut, automaton >	codeterminize_ (const automaton &aut, const std::string &algo)
	Weighted Bridge. More...
template<typename Aut , typename String >
automaton	codeterminize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression	ldiv_expression (const expression &lhs, const expression &rhs)
	Bridge (ldiv). More...
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	ldiv_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge (ldiv). More...
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	lgcd_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge (lgcd). More...
template<typename ExpressionSetLhs , typename ExpressionSetRhs >
expression	rdiv_expression (const expression &lhs, const expression &rhs)
	Bridge (rdiv). More...
template<typename Ctx , typename Unsigned1 , typename Unsigned2 >
automaton	divkbaseb (const context &ctx, unsigned divisor, unsigned base)
	Bridge. More...
template<typename Ctx , typename , typename >
automaton	double_ring (const context &ctx, unsigned n, const std::vector< unsigned > &finals)
	Bridge. More...
template<typename Ctx >
automaton_editor *	make_automaton_editor (const context &ctx)
	Bridge. More...
template<typename Aut , typename LabelSet >
weight	eval (const automaton &aut, const label &lbl)
	Bridge. More...
template<typename ExpSet >
expression	expand (const expression &exp)
	Bridge. More...
template<typename Aut , typename Unsigneds >
automaton	filter (const automaton &aut, const std::vector< unsigned > &states)
	Bridge. More...
template<typename Aut , typename Tape >
automaton	focus (const automaton &aut, integral_constant)
	Bridge. More...
template<typename Aut >
bool	has_bounded_lag (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	has_twins_property (const automaton &aut)
	Bridge. More...
template<typename ExpSet >
rat::identities	identities (const expression &exp)
	Bridge. More...
template<typename Aut , typename Ostream , typename Bool >
std::ostream &	info (const automaton &aut, std::ostream &out, bool detailed)
	Bridge. More...
template<typename ExpSet , typename Ostream >
std::ostream &	info_expression (const expression &exp, std::ostream &o)
	Bridge (info). More...
template<typename Aut >
automaton	insplit (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_ambiguous (const automaton &aut)
	Bridge. More...
template<typename Aut >
label	ambiguous_word (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_cycle_ambiguous (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_complete (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_deterministic (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_codeterministic (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_eps_acyclic (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_functional (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_partial_identity (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_proper (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_synchronized (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	delay_automaton (const automaton &aut)
	Bridge. More...
template<typename ExpSet >
bool	is_valid_expression (const expression &exp)
	Bridge (is_valid). More...
template<typename Aut >
bool	is_valid (const automaton &aut)
	Bridge. More...
template<typename Ctx , typename Unsigned >
automaton	ladybird (const dyn::context &ctx, unsigned n)
	Bridge. More...
template<typename WeightSet , typename Aut >
automaton	left_mult (const weight &weight, const automaton &aut)
	Bridge. More...
template<typename WeightSet , typename ExpSet >
expression	left_mult_expression (const weight &weight, const expression &exp)
	Bridge (left_mult). More...
template<typename Aut , typename WeightSet >
automaton	right_mult (const automaton &aut, const weight &weight)
	Bridge. More...
template<typename ExpSet , typename WeightSet >
expression	right_mult_expression (const expression &exp, const weight &weight)
	Bridge (right_mult). More...
template<typename ExpSet1 , typename ExpSet2 >
bool	less_than_expression (const expression &lhs, const expression &rhs)
	Bridge (less_than). More...
template<typename Aut >
automaton	letterize (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_letterized (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	realtime (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_realtime (const automaton &aut)
	Bridge. More...
template<typename Context >
automaton	levenshtein (const dyn::context &ctx)
	Bridge. More...
template<typename Aut , typename Ids , typename... Tapes>
automaton	lift_automaton (const automaton &aut, vcsn::rat::identities ids, integral_constant)
	Bridge. More...
template<typename ExpSet >
expression	lift_expression (const expression &exp)
	Bridge (lift). More...
template<typename Aut , typename Num >
polynomial	lightest (const automaton &aut, boost::optional< unsigned > num)
	Bridge. More...
template<typename Ctx >
context	make_context (const std::string &name)
	Bridge. More...
template<typename Aut >
context	context_of (const automaton &aut)
	Bridge. More...
template<typename ExpSet >
context	context_of_expression (const expression &exp)
	Bridge (context_of). More...
template<typename Ctx1 , typename Ctx2 >
context	join (const context &c1, const context &c2)
	Bridge. More...
template<typename Ctx >
context	make_word_context (const context &ctx)
	Bridge. More...
template<typename Ctx >
size_t	num_tapes (const context &ctx)
	Bridge. More...
template<typename Aut , typename String >
vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski< Aut >), automaton >	minimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski< Aut >), automaton >	minimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
automaton	minimize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename Aut , typename String >
vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski< Aut >), automaton >	cominimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski< Aut >), automaton >	cominimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
automaton	cominimize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename Lhs , typename Rhs >
automaton	multiply (const automaton &lhs, const automaton &rhs)
	Bridge. More...
template<typename Aut , typename Int1 , typename Int2 >
automaton	multiply_repeated (const automaton &a, int min, int max)
	Bridge (multiply). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	multiply_expression (const expression &lhs, const expression &rhs)
	Bridge (multiply). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	concatenate_expression (const expression &lhs, const expression &rhs)
	Bridge (concatenate). More...
template<typename ExpSet , typename Int1 , typename Int2 >
expression	multiply_expression_repeated (const expression &re, int min, int max)
	Bridge (multiply). More...
template<typename LabelSetLhs , typename LabelSetRhs >
label	multiply_label (const label &lhs, const label &rhs)
	Bridge (multiply). More...
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	multiply_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge (multiply). More...
template<typename WeightSetLhs , typename WeightSetRhs >
weight	multiply_weight (const weight &lhs, const weight &rhs)
	Bridge (multiply). More...
template<typename WeightSet , typename Int1 , typename Int2 >
weight	multiply_weight_repeated (const weight &wgt, int min, int max)
	Bridge (multiply). More...
template<typename Aut >
bool	is_normalized (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	normalize (const automaton &aut)
	Bridge. More...
template<typename Aut , typename >
automaton	pair (const automaton &aut, bool keep_initials)
	Bridge. More...
template<typename Aut >
automaton	partial_identity (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	suffix (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	prefix (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	factor (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	subword (const automaton &aut)
	Bridge. More...
template<typename Aut , typename Ostream , typename String >
std::ostream &	print (const automaton &aut, std::ostream &o, const std::string &fmt)
	Bridge. More...
template<typename Context , typename Ostream , typename String >
std::ostream &	print_context (const context &ctx, std::ostream &o, const std::string &fmt)
	Bridge (print). More...
template<typename ExpansionSet , typename Ostream , typename String >
std::ostream &	print_expansion (const expansion &expansion, std::ostream &o, const std::string &fmt)
	Bridge (print). More...
template<typename LabelSet , typename Ostream , typename String >
std::ostream &	print_label (const label &label, std::ostream &o, const std::string &fmt)
	Bridge (print). More...
template<typename PolynomialSet , typename Ostream >
std::ostream &	list_polynomial (const polynomial &polynomial, std::ostream &o)
	Bridge (list). More...
template<typename PolynomialSet , typename Ostream , typename String >
std::ostream &	print_polynomial (const polynomial &polynomial, std::ostream &o, const std::string &fmt)
	Bridge (print). More...
template<typename ExpSet , typename Ostream , typename String >
std::ostream &	print_expression (const expression &exp, std::ostream &o, const std::string &fmt)
	Bridge (print). More...
template<typename WeightSet , typename Ostream , typename String >
std::ostream &	print_weight (const weight &weight, std::ostream &o, const std::string &fmt)
	Bridge (print). More...
template<typename Aut , typename Tape >
automaton	project (const automaton &aut, integral_constant)
	Bridge. More...
template<typename Context , typename Tape >
context	project_context (const context &ctx, integral_constant)
	Bridge (project). More...
template<typename Aut , typename Dir , typename Bool , typename String >
automaton	proper (const automaton &aut, direction dir, bool prune, const std::string &algo)
	Bridge. More...
template<typename Aut >
automaton	push_weights (const automaton &aut)
	Bridge. More...
template<typename Ctx , typename , typename , typename , typename , typename >
automaton	random_automaton (const context &ctx, unsigned num_states, float density, unsigned num_initial, unsigned num_final, float loop_chance)
	Bridge. More...
template<typename Ctx , typename >
automaton	random_automaton_deterministic (const context &ctx, unsigned num_states)
	Bridge. More...
template<typename Context , typename Istream , typename Bool >
label	read_label (const context &ctx, std::istream &is, bool quoted)
	Bridge. More...
template<typename Context , typename Istream >
polynomial	read_polynomial (const context &ctx, std::istream &is)
	Bridge. More...
template<typename Context , typename Istream >
weight	read_weight (const context &ctx, std::istream &is)
	Bridge. More...
template<typename Aut >
automaton	reduce (const automaton &aut)
	Bridge. More...
template<typename Aut , typename String >
automaton	scc (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename Aut >
std::size_t	num_components (const automaton &aut)
	Bridge. More...
template<typename Aut , typename Unsigned >
automaton	component (const automaton &aut, unsigned num)
	Bridge. More...
template<typename Aut >
automaton	condense (const automaton &aut)
	Bridge. More...
template<typename Aut , typename Num , typename Len >
polynomial	shortest (const automaton &aut, boost::optional< unsigned > num, boost::optional< unsigned > len)
	Bridge. More...
template<typename Aut >
bool	is_out_sorted (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	sort (const automaton &aut)
	Bridge. More...
template<typename ExpSet >
polynomial	split (const expression &exp)
	Bridge. More...
template<typename PolynomialSet >
polynomial	split_polynomial (const polynomial &poly)
	Bridge (split). More...
template<typename Aut >
bool	is_standard (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	is_costandard (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	standard (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	costandard (const automaton &aut)
	Bridge. More...
template<typename ExpSet >
automaton	standard_expression (const expression &exp)
	Bridge (standard). More...
template<typename ExpSet >
unsigned	star_height (const expression &exp)
	Bridge. More...
template<typename ExpSet >
expression	star_normal_form (const expression &exp)
	Bridge. More...
template<typename Aut >
automaton	star (const automaton &a)
	Bridge. More...
template<typename Aut >
automaton	strip (const automaton &aut)
	Bridge. More...
template<typename Lhs , typename Rhs >
automaton	sum (const automaton &lhs, const automaton &rhs)
	Bridge. More...
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	sum_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge (sum). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	sum_expression (const expression &lhs, const expression &rhs)
	Bridge (sum). More...
template<typename WeightSetLhs , typename WeightSetRhs >
weight	sum_weight (const weight &lhs, const weight &rhs)
	Bridge (sum). More...
template<typename Aut >
automaton	synchronize (const automaton &aut)
	Bridge. More...
template<typename Aut , typename LabelSet >
bool	is_synchronized_by (const automaton &aut, const label &word)
	Bridge. More...
template<typename Aut >
bool	is_synchronizing (const automaton &aut)
	Bridge. More...
template<typename Aut , typename String >
label	synchronizing_word (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename ExpSet >
automaton	thompson (const expression &exp)
	Bridge. More...
template<typename ExpSet >
expansion	to_expansion (const expression &exp)
	Bridge. More...
template<typename Aut , typename Int >
automaton	eliminate_state (const automaton &aut, int state)
	Bridge. More...
template<typename Aut , typename Identities , typename String >
expression	to_expression (const automaton &aut, vcsn::rat::identities ids, const std::string &algo)
	Bridge. More...
template<typename Context , typename Identities , typename Label >
expression	to_expression_label (const context &ctx, rat::identities ids, const label &lbl)
	Bridge (to_expression). More...
template<typename Context , typename Identities , typename Letters , typename Bool >
expression	to_expression_class (const context &ctx, rat::identities ids, const letter_class_t &letters, bool accept)
	Bridge (to_expression). More...
template<typename Aut >
automaton	transpose (automaton &aut)
	Bridge. More...
template<typename ExpSet >
expression	transpose_expression (const expression &exp)
	Bridge (transpose). More...
template<typename ExpSet >
expression	transposition_expression (const expression &exp)
	Bridge (transposition). More...
template<typename PolynomialSet >
automaton	trie (const polynomial &poly)
	Bridge. More...
template<typename PolynomialSet >
automaton	cotrie (const polynomial &poly)
	Bridge. More...
template<typename Context , typename Istream >
automaton	trie_stream (const context &ctx, std::istream &is)
	Bridge (trie). More...
template<typename Context , typename Istream >
automaton	cotrie_stream (const context &ctx, std::istream &is)
	Bridge (cotrie). More...
template<typename ExpSets , size_t... I>
expression	tuple_ (const std::vector< expression > &es, vcsn::detail::index_sequence< I...>)
	Bridge helper. More...
template<typename ExpSets >
expression	tuple_expression (const std::vector< expression > &es)
	Bridge (tuple). More...
template<typename Ctx , typename Unsigned >
automaton	u (const context &ctx, unsigned n)
	Bridge. More...
template<typename Lhs , typename Rhs >
automaton	union_a (const automaton &lhs, const automaton &rhs)
	Bridge. More...
template<typename Aut >
automaton	universal (const automaton &aut)
	Bridge. More...
template<typename Aut >
weight	weight_series (const automaton &aut)
	Bridge. More...
template<typename ExpSet , typename String >
automaton	zpc (const expression &exp, const std::string &algo)
	Bridge. More...
template<typename To , typename From >
To	dyn_cast (From &&from)
	A dynamic_cast in debug mode, static_cast with NDEBUG. More...

Typedef Documentation

template<typename Aut , typename Type >

using vcsn::dyn::detail::if_boolean_t = typedef vcsn::enable_if_t<std::is_same<weightset_t_of<Aut>, b>::value, Type>

Definition at line 531 of file determinize.hh.

template<typename Aut , typename Type >

using vcsn::dyn::detail::if_not_boolean_t = typedef vcsn::enable_if_t<!std::is_same<weightset_t_of<Aut>, b>::value, Type>

Definition at line 535 of file determinize.hh.

Function Documentation

template<typename Aut >

automaton vcsn::dyn::detail::accessible

(

const automaton &

aut

)

Bridge.

The accessible subautomaton of aut.

Definition at line 206 of file accessible.hh.

References vcsn::accessible(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut >

label vcsn::dyn::detail::ambiguous_word

(

const automaton &

aut

)

Bridge.

An ambiguous word, or raise if there is none.

Definition at line 97 of file is-ambiguous.hh.

References vcsn::ambiguous_word(), vcsn::dyn::make_label(), and vcsn::detail::make_wordset().

Here is the call graph for this function:

template<typename Aut1 , typename Aut2 >

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

Bridge.

Whether compute the same series.

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

References vcsn::are_equivalent().

Here is the call graph for this function:

template<typename ExpSet1 , typename ExpSet2 >

bool vcsn::dyn::detail::are_equivalent_expression	(	const expression &	r1,
		const expression &	r2
	)

Bridge (are_equivalent).

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

References vcsn::are_equivalent().

Here is the call graph for this function:

template<typename Aut1 , typename Aut2 >

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

Bridge.

Whether there exists an isomorphism between the states of lhs and those of rhs.

Definition at line 701 of file are-isomorphic.hh.

References are_isomorphic().

Referenced by vcsn::dyn::are_isomorphic().

Here is the call graph for this function:

template<typename Ctx , typename >

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

Bridge.

Produce a Černý automaton of num_states states.

Definition at line 64 of file cerny.hh.

References vcsn::cerny(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::coaccessible

(

const automaton &

aut

)

Bridge.

The coaccessible subautomaton of aut.

Definition at line 215 of file accessible.hh.

References vcsn::coaccessible(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut , typename String >

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

inline

Bridge.

The codeterminized automaton.

Definition at line 623 of file determinize.hh.

template<typename Aut , typename String >

if_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ ( const automaton &  aut, const std::string &  algo  )

inline

Boolean Bridge.

Definition at line 593 of file determinize.hh.

template<typename Aut , typename String >

if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::codeterminize_ ( const automaton &  aut, const std::string &  algo  )

inline

Weighted Bridge.

Definition at line 608 of file determinize.hh.

template<typename Aut , typename String >

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

inline

Bridge.

The cominimized automaton.

Definition at line 156 of file minimize.hh.

template<typename Aut , typename String >

vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski<Aut>), automaton> vcsn::dyn::detail::cominimize_ ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 134 of file minimize.hh.

References vcsn::cominimize(), vcsn::cominimize_brzozowski(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut , typename String >

vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski<Aut>), automaton> vcsn::dyn::detail::cominimize_ ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 146 of file minimize.hh.

References vcsn::cominimize(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::complement

(

const automaton &

aut

)

Bridge.

The complement of aut.

Definition at line 62 of file complement.hh.

References vcsn::complement(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename ExpSet >

expression vcsn::dyn::detail::complement_expression

(

const expression &

exp

)

Bridge (complement).

Definition at line 81 of file complement.hh.

References vcsn::dyn::make_expression().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::complete

(

const automaton &

aut

)

Bridge.

A completed copy of aut.

Definition at line 76 of file complete.hh.

References vcsn::complete(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut , typename Unsigned >

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

inline

Bridge.

The automaton of a strongly connected component.

Definition at line 718 of file scc.hh.

template<typename Lhs , typename Rhs >

automaton vcsn::dyn::detail::compose	(	automaton &	lhs,
		automaton &	rhs
	)

Bridge.

The composition of transducers lhs and rhs.

Definition at line 307 of file compose.hh.

References vcsn::compose(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::concatenate_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (concatenate).

Definition at line 234 of file multiply.hh.

References vcsn::join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

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

Definition at line 782 of file scc.hh.

template<typename Auts , typename Bool >

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

Bridge (conjunction).

The conjunction (aka synchronized product) of automata.

Definition at line 615 of file conjunction.hh.

template<typename Auts , size_t... I>

automaton vcsn::dyn::detail::conjunction_	(	const std::vector< automaton > &	as,
		bool	lazy,
		vcsn::detail::index_sequence< I...>
	)

Bridge helper.

Definition at line 598 of file conjunction.hh.

References vcsn::conjunction(), vcsn::conjunction_lazy(), do_insplit(), and vcsn::dyn::make_automaton().

Referenced by vcsn::rat::printer< ExpSet >::format().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::conjunction_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (conjunction).

Definition at line 877 of file conjunction.hh.

References vcsn::conjunction(), vcsn::join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut , typename Unsigned >

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

Bridge (conjunction).

Definition at line 846 of file conjunction.hh.

References vcsn::conjunction(), and vcsn::dyn::make_automaton().

Referenced by vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

template<typename ExpSet >

weight vcsn::dyn::detail::constant_term

(

const expression &

exp

)

Bridge.

The weight associated to the empty word in e.

Definition at line 204 of file constant-term.hh.

References vcsn::dyn::make_weight().

Here is the call graph for this function:

template<typename Aut >

context vcsn::dyn::detail::context_of

(

const automaton &

aut

)

Bridge.

The context of this automaton.

Definition at line 63 of file make-context.hh.

References vcsn::dyn::make_context().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename ExpSet >

context vcsn::dyn::detail::context_of_expression

(

const expression &

exp

)

Bridge (context_of).

Definition at line 72 of file make-context.hh.

References vcsn::dyn::make_context().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

A copy of aut.

Definition at line 337 of file copy.hh.

References vcsn::copy(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut , typename Ctx >

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

inline

Bridge (copy).

Definition at line 324 of file copy.hh.

References vcsn::copy_into(), vcsn::dyn::make_automaton(), and vcsn::make_mutable_automaton().

Here is the call graph for this function:

template<typename ExpSet , typename Context , typename Identities >

expression vcsn::dyn::detail::copy_expression ( const expression &  exp, const context &  ctx, rat::identities  ids  )

inline

Bridge (copy).

Definition at line 357 of file copy.hh.

References vcsn::rat::copy(), vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

A standardized transpositive a.

Definition at line 151 of file standard.hh.

References costandard(), and vcsn::dyn::make_automaton().

Referenced by vcsn::dyn::costandard().

Here is the call graph for this function:

template<typename PolynomialSet >

automaton vcsn::dyn::detail::cotrie

(

const polynomial &

poly

)

Bridge.

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

Definition at line 191 of file trie.hh.

References cotrie(), and vcsn::dyn::make_automaton().

Referenced by vcsn::dyn::cotrie(), and cotrie_stream().

Here is the call graph for this function:

template<typename Context , typename Istream >

automaton vcsn::dyn::detail::cotrie_stream	(	const context &	ctx,
		std::istream &	is
	)

Bridge (cotrie).

Definition at line 250 of file trie.hh.

References cotrie(), vcsn::dyn::make_automaton(), and vcsn::detail::make_word_polynomialset().

Here is the call graph for this function:

template<typename Ctx , typename Unsigned >

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

Bridge.

A simple NFA for (a+b)*a(a+b)^n.

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

References vcsn::de_bruijn(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::delay_automaton

(

const automaton &

aut

)

Bridge.

The automaton with the delay of each state.

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

template<typename ExpSet , typename Label , typename Bool >

polynomial vcsn::dyn::detail::derivation	(	const expression &	exp,
		const label &	lbl,
		bool	breaking
	)

Bridge.

Derive exp with respect to s.

Definition at line 337 of file derivation.hh.

References vcsn::derivation(), vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.

Referenced by vcsn::dyn::to_automaton().

Here is the call graph for this function:

template<typename ExpSet , typename String >

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

inline

Bridge.

The derived-term automaton of exp.

Definition at line 265 of file derived-term.hh.

References vcsn::derived_term(), vcsn::dyn::make_automaton(), and vcsn::detail::rs.

Referenced by vcsn::dyn::to_automaton().

Here is the call graph for this function:

template<typename Aut , typename String >

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

inline

Bridge.

The determinized automaton.

Definition at line 572 of file determinize.hh.

template<typename Aut , typename String >

if_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ ( const automaton &  aut, const std::string &  algo  )

inline

Boolean Bridge.

Definition at line 542 of file determinize.hh.

template<typename Aut , typename String >

if_not_boolean_t<Aut, automaton> vcsn::dyn::detail::determinize_ ( const automaton &  aut, const std::string &  algo  )

inline

Weighted Bridge.

Definition at line 557 of file determinize.hh.

template<typename Lhs , typename Rhs >

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

Bridge.

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

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

References vcsn::difference(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::difference_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (difference).

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

References vcsn::difference(), and vcsn::dyn::make_expression().

Referenced by vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

template<typename Ctx , typename Unsigned1 , typename Unsigned2 >

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

Bridge.

An automaton which accepts a word n representing a number in base b iff k|n.

Definition at line 71 of file divkbaseb.hh.

References vcsn::divkbaseb(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<std::size_t I, typename Aut >

vcsn::enable_if_t<labelset_t_of<Aut>::has_one() && I != 0, Aut> vcsn::dyn::detail::do_insplit

(

Aut &

aut

)

Definition at line 583 of file conjunction.hh.

References vcsn::detail::insplit().

Here is the call graph for this function:

template<std::size_t I, typename Aut >

vcsn::enable_if_t<!labelset_t_of<Aut>::has_one() || I == 0, Aut&> vcsn::dyn::detail::do_insplit

(

Aut &

aut

)

Definition at line 590 of file conjunction.hh.

Referenced by conjunction_().

template<typename Ctx , typename , typename >

automaton vcsn::dyn::detail::double_ring	(	const context &	ctx,
		unsigned	n,
		const std::vector< unsigned > &	finals
	)

Bridge.

The double_ring automaton with n states and f the list of finals.

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

References vcsn::double_ring(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename To , typename From >

To vcsn::dyn::detail::dyn_cast ( From &&  from )

inline

A dynamic_cast in debug mode, static_cast with NDEBUG.

Definition at line 14 of file fwd.hh.

Referenced by vcsn::dyn::detail::expansion_base::as(), vcsn::dyn::detail::weight_base::as(), vcsn::dyn::detail::automaton_base::as(), vcsn::dyn::detail::label_base::as(), vcsn::dyn::detail::polynomial_base::as(), vcsn::dyn::detail::context_base::as(), and vcsn::dyn::detail::expression_base::as().

template<typename Aut , typename Int >

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

Bridge.

The LAO automaton aut with state s removed.

Definition at line 453 of file to-expression.hh.

References vcsn::eliminate_state(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut , typename LabelSet >

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

Bridge.

Evaluate l on aut.

Definition at line 113 of file eval.hh.

References vcsn::rat::ctx(), eval(), and vcsn::dyn::make_weight().

Referenced by vcsn::dyn::eval().

Here is the call graph for this function:

template<typename ExpSet >

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

inline

Bridge.

Distribute product over addition recursively under the starred subexpressions and group the equal monomials.

Definition at line 165 of file expand.hh.

References expand(), and vcsn::dyn::make_expression().

Referenced by vcsn::dyn::expand().

Here is the call graph for this function:

template<typename Context , typename Identities >

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

Bridge.

The expression for \e.

Definition at line 15 of file constant.hh.

References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.

Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Context , typename Identities >

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

Bridge.

The expression for \z.

Definition at line 24 of file constant.hh.

References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.

Referenced by vcsn::rat::parser::parse(), and vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::factor

(

const automaton &

aut

)

Bridge.

Create a factor automaton from aut.

Definition at line 121 of file prefix.hh.

References vcsn::factor(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut , typename Unsigneds >

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

Bridge.

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

Definition at line 341 of file filter.hh.

template<typename Aut , typename Tape >

automaton vcsn::dyn::detail::focus	(	const automaton &	aut,
		integral_constant
	)

Bridge.

Definition at line 354 of file focus.hh.

template<typename Aut >

bool vcsn::dyn::detail::has_bounded_lag

(

const automaton &

aut

)

Bridge.

Whether the transducer has bounded lag.

Definition at line 160 of file has-bounded-lag.hh.

References has_bounded_lag().

Referenced by vcsn::dyn::has_bounded_lag().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::has_twins_property

(

const automaton &

aut

)

Bridge.

Whether the automaton has the twins property.

Definition at line 168 of file has-twins-property.hh.

References has_twins_property().

Referenced by vcsn::dyn::has_twins_property().

Here is the call graph for this function:

template<typename ExpSet >

rat::identities vcsn::dyn::detail::identities

(

const expression &

exp

)

Bridge.

The identities of expression exp.

Definition at line 19 of file identities.hh.

References vcsn::detail::rs.

Referenced by vcsn::rat::expressionset_impl< Context >::conv(), vcsn::rat::expressionset_impl< Context >::print_set(), and vcsn::ctx::detail::register_functions().

template<typename Auts >

automaton vcsn::dyn::detail::infiltration

(

const std::vector< automaton > &

as

)

Bridge (infiltration).

The infiltration product of automata.

Definition at line 750 of file conjunction.hh.

template<typename Auts , size_t... I>

automaton vcsn::dyn::detail::infiltration_	(	const std::vector< automaton > &	as,
		vcsn::detail::index_sequence< I...>
	)

Variadic bridge helper.

Definition at line 739 of file conjunction.hh.

References vcsn::infiltration(), and vcsn::dyn::make_automaton().

Referenced by vcsn::rat::printer< ExpSet >::format().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::infiltration_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (infiltration).

Definition at line 781 of file conjunction.hh.

References vcsn::infiltration(), vcsn::join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename Aut , typename Ostream , typename Bool >

std::ostream& vcsn::dyn::detail::info	(	const automaton &	aut,
		std::ostream &	out,
		bool	detailed
	)

Bridge.

Output various facts about an automaton.

Definition at line 258 of file info.hh.

References info().

Referenced by vcsn::dyn::info(), and vcsn::dyn::print().

Here is the call graph for this function:

template<typename ExpSet , typename Ostream >

std::ostream& vcsn::dyn::detail::info_expression	(	const expression &	exp,
		std::ostream &	o
	)

Bridge (info).

Definition at line 311 of file info.hh.

References vcsn::info().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::insplit

(

const automaton &

aut

)

Bridge.

Split automaton on the incoming transition.

Definition at line 120 of file insplit.hh.

References vcsn::insplit(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_accessible

(

const automaton &

aut

)

Bridge.

Whether aut is accessible.

Definition at line 233 of file accessible.hh.

References is_accessible().

Referenced by vcsn::dyn::is_accessible().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_ambiguous

(

const automaton &

aut

)

Bridge.

Whether aut is ambiguous.

Definition at line 52 of file is-ambiguous.hh.

References is_ambiguous().

Referenced by vcsn::dyn::is_ambiguous().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_coaccessible

(

const automaton &

aut

)

Bridge.

Whether aut is coaccessible.

Definition at line 242 of file accessible.hh.

References is_coaccessible().

Referenced by vcsn::dyn::is_coaccessible().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_codeterministic

(

const automaton &

aut

)

Bridge.

Whether aut is codeterministic.

Definition at line 93 of file is-deterministic.hh.

References is_codeterministic().

Referenced by vcsn::dyn::is_codeterministic().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_complete

(

const automaton &

aut

)

Bridge.

Whether aut is complete.

Definition at line 48 of file is-complete.hh.

References is_complete().

Referenced by vcsn::dyn::is_complete().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

Whether is costandard (unique final state, with weight one, no outcoming transition).

Definition at line 64 of file standard.hh.

References is_costandard().

Referenced by vcsn::dyn::is_costandard().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_cycle_ambiguous

(

const automaton &

aut

)

Bridge.

Whether the automaton is cycle-ambiguous.

Definition at line 177 of file is-ambiguous.hh.

References is_cycle_ambiguous().

Referenced by vcsn::dyn::is_cycle_ambiguous().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_deterministic

(

const automaton &

aut

)

Bridge.

Whether aut is deterministic.

Definition at line 85 of file is-deterministic.hh.

References is_deterministic().

Referenced by vcsn::dyn::is_deterministic().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_empty

(

const automaton &

aut

)

Bridge.

Whether has no state.

Definition at line 269 of file accessible.hh.

References is_empty().

Referenced by vcsn::dyn::is_empty().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_eps_acyclic

(

const automaton &

aut

)

Bridge.

Whether has no cycle of spontaneous transitions.

Definition at line 123 of file is-eps-acyclic.hh.

References is_eps_acyclic().

Referenced by vcsn::dyn::is_eps_acyclic().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_functional

(

const automaton &

aut

)

Bridge.

Whether aut is functional.

Definition at line 33 of file is-functional.hh.

References is_functional().

Referenced by vcsn::dyn::is_functional().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_letterized

(

const automaton &

aut

)

Bridge.

Whether aut is letterized.

Definition at line 202 of file letterize.hh.

References is_letterized().

Referenced by vcsn::dyn::is_letterized(), and vcsn::is_realtime().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_normalized

(

const automaton &

aut

)

Bridge.

Whether is normalized (in the Thompson sense), i.e., standard and co-standard.

Definition at line 33 of file normalize.hh.

References is_normalized().

Referenced by vcsn::dyn::is_normalized().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_out_sorted

(

const automaton &

aut

)

Bridge.

Whether the outgoing transitions of each state have increasing labels.

Definition at line 76 of file sort.hh.

References is_out_sorted().

Referenced by vcsn::dyn::is_out_sorted().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_partial_identity

(

const automaton &

aut

)

Bridge.

Whether aut realizes a partial identity.

Definition at line 80 of file is-partial-identity.hh.

References is_partial_identity().

Referenced by vcsn::dyn::is_partial_identity().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

Whether has no spontaneous transition.

Definition at line 60 of file is-proper.hh.

References is_proper().

Referenced by vcsn::dyn::is_proper().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_realtime

(

const automaton &

aut

)

Bridge.

Whether has no spontaneous transition, and is letterized.

Definition at line 260 of file letterize.hh.

References is_realtime().

Referenced by vcsn::dyn::is_realtime().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

Whether is standard (unique initial state, with weight one, no incoming transition).

Definition at line 54 of file standard.hh.

References is_standard().

Referenced by vcsn::dyn::is_standard().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_synchronized

(

const automaton &

aut

)

Bridge.

Whether is synchronized.

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

template<typename Aut , typename LabelSet >

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

Bridge.

Whether the word synchronizes aut.

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

References vcsn::is_synchronized_by().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_synchronizing

(

const automaton &

aut

)

Bridge.

Whether is synchronizing.

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

References vcsn::is_synchronizing().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_trim

(

const automaton &

aut

)

Bridge.

Whether has no useless state.

Definition at line 251 of file accessible.hh.

References is_trim().

Referenced by vcsn::dyn::is_trim().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_useless

(

const automaton &

aut

)

Bridge.

Whether has no useful state.

Definition at line 260 of file accessible.hh.

References is_useless().

Referenced by vcsn::dyn::is_useless().

Here is the call graph for this function:

template<typename Aut >

bool vcsn::dyn::detail::is_valid

(

const automaton &

aut

)

Bridge.

Whether automaton is valid (epsilon-cycles converge).

Definition at line 152 of file is-valid.hh.

References is_valid(), and strip().

Referenced by vcsn::dyn::is_valid().

Here is the call graph for this function:

template<typename ExpSet >

bool vcsn::dyn::detail::is_valid_expression

(

const expression &

exp

)

Bridge (is_valid).

Definition at line 37 of file is-valid-expression.hh.

References vcsn::is_valid().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Ctx1 , typename Ctx2 >

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

Bridge.

The join between two contexts, i.e., their lowest common supertype.

Definition at line 92 of file make-context.hh.

References join(), and vcsn::dyn::make_context().

Referenced by vcsn::dyn::join(), vcsn::detail::join_impl< tupleset< VS1...>, tupleset< VS2...> >::join(), ldiv_expression(), ldiv_polynomial(), vcsn::dyn::left_mult(), less_than_expression(), lgcd_polynomial(), multiply_label(), multiply_polynomial(), multiply_weight(), rdiv_expression(), vcsn::dyn::right_mult(), sum_expression(), sum_polynomial(), and sum_weight().

Here is the call graph for this function:

template<typename Ctx , typename Unsigned >

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

Bridge.

The ladybird automaton with n states.

Definition at line 56 of file ladybird.hh.

References vcsn::ladybird(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename ExpressionSetLhs , typename ExpressionSetRhs >

expression vcsn::dyn::detail::ldiv_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (ldiv).

Definition at line 32 of file divide.hh.

References join(), vcsn::dyn::make_expression(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename PolynomialSetLhs , typename PolynomialSetRhs >

polynomial vcsn::dyn::detail::ldiv_polynomial	(	const polynomial &	lhs,
		const polynomial &	rhs
	)

Bridge (ldiv).

Definition at line 45 of file divide.hh.

References join(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename WeightSet , typename Aut >

automaton vcsn::dyn::detail::left_mult	(	const weight &	weight,
		const automaton &	aut
	)

Bridge.

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

Definition at line 104 of file left-mult.hh.

References vcsn::copy_into(), vcsn::rat::ctx(), join(), vcsn::left_mult_here(), vcsn::dyn::make_automaton(), make_context(), and vcsn::make_mutable_automaton().

Referenced by vcsn::rat::parser::parse().

Here is the call graph for this function:

template<typename WeightSet , typename ExpSet >

expression vcsn::dyn::detail::left_mult_expression	(	const weight &	weight,
		const expression &	exp
	)

Bridge (left_mult).

Definition at line 175 of file left-mult.hh.

References vcsn::join_weightset_expressionset(), vcsn::left_mult(), vcsn::dyn::make_expression(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename ExpSet1 , typename ExpSet2 >

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

Bridge (less_than).

Definition at line 31 of file less-than.hh.

References join(), vcsn::less_than(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::letterize

(

const automaton &

aut

)

Bridge.

The automaton with letter transitions instead of words.

Definition at line 147 of file letterize.hh.

References vcsn::letterize(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Context >

automaton vcsn::dyn::detail::levenshtein

(

const dyn::context &

ctx

)

Bridge.

The transducer representing the Levenshtein distance.

Definition at line 63 of file levenshtein.hh.

References vcsn::levenshtein(), and vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename PolynomialSetLhs , typename PolynomialSetRhs >

polynomial vcsn::dyn::detail::lgcd_polynomial	(	const polynomial &	lhs,
		const polynomial &	rhs
	)

Bridge (lgcd).

Definition at line 80 of file divide.hh.

References join(), vcsn::dyn::lgcd(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename Aut , typename Ids , typename... Tapes>

automaton vcsn::dyn::detail::lift_automaton	(	const automaton &	aut,
		vcsn::rat::identities	ids,
		integral_constant
	)

Bridge.

Definition at line 260 of file lift.hh.

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename ExpSet >

expression vcsn::dyn::detail::lift_expression

(

const expression &

exp

)

Bridge (lift).

Definition at line 308 of file lift.hh.

References vcsn::lift(), vcsn::detail::lift_expressionset(), and vcsn::dyn::make_expression().

Here is the call graph for this function:

template<typename Aut , typename Num >

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

Bridge.

The approximated behavior of an automaton with smallest weights.

Definition at line 193 of file lightest.hh.

References lightest(), vcsn::dyn::make_polynomial(), and vcsn::detail::make_word_polynomialset().

Referenced by vcsn::dyn::lightest().

Here is the call graph for this function:

template<typename PolynomialSet , typename Ostream >

std::ostream& vcsn::dyn::detail::list_polynomial	(	const polynomial &	polynomial,
		std::ostream &	o
	)

Bridge (list).

Definition at line 208 of file print.hh.

References vcsn::list().

Referenced by vcsn::ctx::detail::register_functions(), and vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

template<typename Ctx >

automaton_editor* vcsn::dyn::detail::make_automaton_editor

(

const context &

ctx

)

Bridge.

Build an automatonset from its context.

Definition at line 349 of file edit-automaton.hh.

Referenced by vcsn::ctx::detail::register_functions(), vcsn::lazy_automaton_editor::result(), and vcsn::detail::dot::driver::setup_().

template<typename Ctx >

context vcsn::dyn::detail::make_context

(

const std::string &

name

)

Bridge.

Definition at line 44 of file make-context.hh.

References vcsn::dyn::make_context().

Referenced by vcsn::dyn::left_mult(), vcsn::dyn::make_word_context(), project_context(), and vcsn::dyn::right_mult().

Here is the call graph for this function:

template<typename Ctx >

context vcsn::dyn::detail::make_word_context

(

const context &

ctx

)

Bridge.

The context for words.

Definition at line 112 of file make-context.hh.

References make_context(), and vcsn::detail::make_word_context().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut , typename String >

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

inline

Bridge.

The minimized automaton.

Definition at line 115 of file minimize.hh.

template<typename Aut , typename String >

vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski<Aut>), automaton> vcsn::dyn::detail::minimize_ ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 93 of file minimize.hh.

References vcsn::dyn::make_automaton(), vcsn::minimize(), and vcsn::minimize_brzozowski().

Here is the call graph for this function:

template<typename Aut , typename String >

vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski<Aut>), automaton> vcsn::dyn::detail::minimize_ ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 105 of file minimize.hh.

References vcsn::dyn::make_automaton(), and vcsn::minimize().

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

automaton vcsn::dyn::detail::multiply	(	const automaton &	lhs,
		const automaton &	rhs
	)

Bridge.

Multiply (concatenate) two standard automata.

Definition at line 104 of file multiply.hh.

References vcsn::dyn::make_automaton(), and vcsn::multiply().

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

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::multiply_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (multiply).

Definition at line 215 of file multiply.hh.

References vcsn::join(), vcsn::dyn::make_expression(), vcsn::multiply(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename ExpSet , typename Int1 , typename Int2 >

expression vcsn::dyn::detail::multiply_expression_repeated	(	const expression &	re,
		int	min,
		int	max
	)

Bridge (multiply).

Definition at line 289 of file multiply.hh.

References vcsn::dyn::make_expression(), and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename LabelSetLhs , typename LabelSetRhs >

label vcsn::dyn::detail::multiply_label	(	const label &	lhs,
		const label &	rhs
	)

Bridge (multiply).

Definition at line 312 of file multiply.hh.

References join(), vcsn::dyn::make_label(), multiply(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename PolynomialSetLhs , typename PolynomialSetRhs >

polynomial vcsn::dyn::detail::multiply_polynomial	(	const polynomial &	lhs,
		const polynomial &	rhs
	)

Bridge (multiply).

Definition at line 336 of file multiply.hh.

References join(), vcsn::dyn::make_polynomial(), multiply(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

template<typename Aut , typename Int1 , typename Int2 >

automaton vcsn::dyn::detail::multiply_repeated	(	const automaton &	a,
		int	min,
		int	max
	)

Bridge (multiply).

Definition at line 184 of file multiply.hh.

References vcsn::dyn::make_automaton(), and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename WeightSetLhs , typename WeightSetRhs >

weight vcsn::dyn::detail::multiply_weight	(	const weight &	lhs,
		const weight &	rhs
	)

Bridge (multiply).

Definition at line 359 of file multiply.hh.

References join(), vcsn::dyn::make_weight(), and vcsn::multiply().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename WeightSet , typename Int1 , typename Int2 >

weight vcsn::dyn::detail::multiply_weight_repeated	(	const weight &	wgt,
		int	min,
		int	max
	)

Bridge (multiply).

Definition at line 372 of file multiply.hh.

References vcsn::dyn::make_weight(), and vcsn::multiply().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::normalize

(

const automaton &

aut

)

Bridge.

Normalize automaton aut.

Definition at line 41 of file normalize.hh.

References vcsn::dyn::make_automaton(), and vcsn::normalize().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

The number of strongly connected components.

Definition at line 679 of file scc.hh.

template<typename Ctx >

size_t vcsn::dyn::detail::num_tapes

(

const context &

ctx

)

Bridge.

The number of input tapes.

Definition at line 148 of file make-context.hh.

References vcsn::num_tapes().

Referenced by vcsn::rat::driver::context().

Here is the call graph for this function:

template<typename Aut , typename >

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

Bridge.

Build the pair automaton of the given automaton.

Definition at line 255 of file pair.hh.

References vcsn::dyn::make_automaton(), and vcsn::pair().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::partial_identity

(

const automaton &

aut

)

Bridge.

Create a partial identity transducer from aut.

Definition at line 79 of file partial-identity.hh.

References vcsn::dyn::make_automaton(), and vcsn::partial_identity().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::prefix

(

const automaton &

aut

)

Bridge.

Create a prefix automaton from aut.

Definition at line 84 of file prefix.hh.

References vcsn::dyn::make_automaton(), and vcsn::prefix().

Here is the call graph for this function:

template<typename Aut , typename Ostream , typename String >

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

Bridge.

Print automaton a on o using format format.

Definition at line 104 of file print.hh.

References print().

Referenced by vcsn::dyn::print(), and vcsn::rat::parser::yy_print_().

Here is the call graph for this function:

template<typename Context , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_context	(	const context &	ctx,
		std::ostream &	o,
		const std::string &	fmt
	)

Bridge (print).

Definition at line 123 of file print.hh.

Referenced by vcsn::ctx::detail::register_functions().

template<typename ExpansionSet , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_expansion	(	const expansion &	expansion,
		std::ostream &	o,
		const std::string &	fmt
	)

Bridge (print).

Definition at line 153 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename ExpSet , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_expression	(	const expression &	exp,
		std::ostream &	o,
		const std::string &	fmt
	)

Bridge (print).

Definition at line 259 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename LabelSet , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_label	(	const label &	label,
		std::ostream &	o,
		const std::string &	fmt
	)

Bridge (print).

Definition at line 172 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename PolynomialSet , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_polynomial	(	const polynomial &	polynomial,
		std::ostream &	o,
		const std::string &	fmt
	)

Bridge (print).

Definition at line 227 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_functions(), and vcsn::ctx::detail::register_functions_is_free().

Here is the call graph for this function:

template<typename WeightSet , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_weight	(	const weight &	weight,
		std::ostream &	o,
		const std::string &	fmt
	)

Bridge (print).

Definition at line 290 of file print.hh.

References vcsn::print().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut , typename Tape >

automaton vcsn::dyn::detail::project	(	const automaton &	aut,
		integral_constant
	)

Bridge.

Definition at line 36 of file project-automaton.hh.

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Context , typename Tape >

context vcsn::dyn::detail::project_context	(	const context &	ctx,
		integral_constant
	)

Bridge (project).

Definition at line 66 of file project.hh.

References make_context().

Here is the call graph for this function:

template<typename Aut , typename Dir , typename Bool , typename String >

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

Bridge.

An equivalent automaton without spontaneous transitions.

Definition at line 187 of file proper.hh.

References vcsn::dyn::make_automaton(), and vcsn::proper().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::push_weights

(

const automaton &

aut

)

Bridge.

The weight pushing automaton of aut.

Definition at line 71 of file push-weights.hh.

References vcsn::dyn::make_automaton(), and vcsn::push_weights().

Here is the call graph for this function:

template<typename Ctx , typename , typename , typename , typename , typename >

automaton vcsn::dyn::detail::random_automaton	(	const context &	ctx,
		unsigned	num_states,
		float	density,
		unsigned	num_initial,
		unsigned	num_final,
		float	loop_chance
	)

Bridge.

Produce a random automaton.

Definition at line 239 of file random.hh.

References vcsn::dyn::make_automaton(), and vcsn::random_automaton().

Here is the call graph for this function:

template<typename Ctx , typename >

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

Bridge.

Produce a random deterministic automaton.

Definition at line 298 of file random.hh.

References vcsn::dyn::make_automaton(), and vcsn::random_automaton_deterministic().

Here is the call graph for this function:

template<typename ExpressionSetLhs , typename ExpressionSetRhs >

expression vcsn::dyn::detail::rdiv_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (rdiv).

Definition at line 114 of file divide.hh.

References join(), vcsn::dyn::make_expression(), vcsn::dyn::rdiv(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Context , typename Istream , typename Bool >

label vcsn::dyn::detail::read_label	(	const context &	ctx,
		std::istream &	is,
		bool	quoted
	)

Bridge.

Definition at line 34 of file read.hh.

References vcsn::dyn::make_label().

Here is the call graph for this function:

template<typename Context , typename Istream >

polynomial vcsn::dyn::detail::read_polynomial	(	const context &	ctx,
		std::istream &	is
	)

Bridge.

Read a polynomial from a stream.

Definition at line 64 of file read.hh.

References vcsn::dyn::make_polynomial(), and read_polynomial().

Referenced by vcsn::dyn::read_polynomial().

Here is the call graph for this function:

template<typename Context , typename Istream >

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

Bridge.

Read a weight from a stream.

Definition at line 95 of file read.hh.

References vcsn::dyn::make_weight(), and read_weight().

Referenced by vcsn::rat::driver::make_weight(), and vcsn::dyn::read_weight().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::realtime

(

const automaton &

aut

)

Bridge.

Create the realtime automaton (letterized and proper).

Definition at line 232 of file letterize.hh.

References vcsn::dyn::make_automaton(), and vcsn::realtime().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::reduce

(

const automaton &

aut

)

Bridge.

Reduce aut.

Definition at line 621 of file reduce.hh.

References vcsn::dyn::make_automaton(), and reduce().

Referenced by vcsn::dyn::reduce().

Here is the call graph for this function:

template<typename Aut , typename WeightSet >

automaton vcsn::dyn::detail::right_mult	(	const automaton &	aut,
		const weight &	weight
	)

Bridge.

The right-mult automaton with w as weight.

Definition at line 218 of file left-mult.hh.

References vcsn::copy_into(), vcsn::rat::ctx(), join(), vcsn::dyn::make_automaton(), make_context(), vcsn::make_mutable_automaton(), and vcsn::right_mult_here().

Referenced by vcsn::rat::parser::parse().

Here is the call graph for this function:

template<typename ExpSet , typename WeightSet >

expression vcsn::dyn::detail::right_mult_expression	(	const expression &	exp,
		const weight &	weight
	)

Bridge (right_mult).

Definition at line 254 of file left-mult.hh.

References vcsn::join_weightset_expressionset(), vcsn::dyn::make_expression(), vcsn::right_mult(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut , typename String >

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

inline

Bridge.

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

Definition at line 645 of file scc.hh.

template<typename Aut , typename Num , typename Len >

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

Bridge.

The approximated behavior of an automaton.

Definition at line 275 of file shortest.hh.

References vcsn::dyn::make_polynomial(), vcsn::detail::make_word_polynomialset(), and shortest().

Referenced by vcsn::dyn::shortest().

Here is the call graph for this function:

template<typename Auts >

automaton vcsn::dyn::detail::shuffle

(

const std::vector< automaton > &

as

)

Bridge (shuffle).

The shuffle product of automata.

Definition at line 660 of file conjunction.hh.

template<typename Auts , size_t... I>

automaton vcsn::dyn::detail::shuffle_	(	const std::vector< automaton > &	as,
		vcsn::detail::index_sequence< I...>
	)

Variadic bridge helper.

Definition at line 650 of file conjunction.hh.

References vcsn::dyn::make_automaton(), and vcsn::shuffle().

Referenced by vcsn::rat::printer< ExpSet >::format().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::shuffle_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (shuffle).

Definition at line 692 of file conjunction.hh.

References vcsn::join(), vcsn::dyn::make_expression(), vcsn::detail::rs, and vcsn::shuffle().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::sort

(

const automaton &

aut

)

Bridge.

A copy of a with normalized state numbers.

Definition at line 178 of file sort.hh.

References vcsn::dyn::make_automaton(), and vcsn::sort().

Referenced by vcsn::detail::sorter< Aut >::visit_successors_of_().

Here is the call graph for this function:

template<typename ExpSet >

polynomial vcsn::dyn::detail::split

(

const expression &

exp

)

Bridge.

Break exp.

Definition at line 277 of file split.hh.

References vcsn::rat::make_expression_polynomialset(), vcsn::dyn::make_polynomial(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename PolynomialSet >

polynomial vcsn::dyn::detail::split_polynomial

(

const polynomial &

poly

)

Bridge (split).

Definition at line 320 of file split.hh.

References vcsn::dyn::make_polynomial().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

A standardized a.

Definition at line 141 of file standard.hh.

References vcsn::dyn::make_automaton(), and vcsn::standard().

Referenced by vcsn::dyn::to_automaton().

Here is the call graph for this function:

template<typename ExpSet >

automaton vcsn::dyn::detail::standard_expression

(

const expression &

exp

)

Bridge (standard).

Definition at line 393 of file standard.hh.

References vcsn::dyn::make_automaton().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::star

(

const automaton &

a

)

Bridge.

Star of a standard automaton.

Definition at line 74 of file star.hh.

References vcsn::dyn::make_automaton(), and vcsn::star().

Here is the call graph for this function:

template<typename ExpSet >

unsigned vcsn::dyn::detail::star_height

(

const expression &

exp

)

Bridge.

Star height of an expression.

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

template<typename ExpSet >

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

inline

Bridge.

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

Definition at line 199 of file star-normal-form.hh.

References vcsn::dyn::make_expression(), and star_normal_form().

Referenced by vcsn::dyn::star_normal_form().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

The automaton in a with its metadata layers removed.

Definition at line 51 of file strip.hh.

References vcsn::dyn::make_automaton(), and vcsn::strip().

Referenced by vcsn::dyn::is_valid(), vcsn::dyn::read_automaton(), and vcsn::dyn::to_automaton().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::subword

(

const automaton &

aut

)

Bridge.

Create a subword automaton from aut.

Definition at line 178 of file prefix.hh.

References vcsn::dyn::make_automaton(), and vcsn::subword().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::suffix

(

const automaton &

aut

)

Bridge.

Create a suffix automaton from aut.

Definition at line 44 of file prefix.hh.

References vcsn::dyn::make_automaton(), and vcsn::suffix().

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

automaton vcsn::dyn::detail::sum	(	const automaton &	lhs,
		const automaton &	rhs
	)

Bridge.

Sum of two standard automata.

Definition at line 82 of file sum.hh.

References vcsn::dyn::make_automaton(), and vcsn::sum().

Referenced by sum_polynomial(), and sum_weight().

Here is the call graph for this function:

template<typename ExpSetLhs , typename ExpSetRhs >

expression vcsn::dyn::detail::sum_expression	(	const expression &	lhs,
		const expression &	rhs
	)

Bridge (sum).

Definition at line 139 of file sum.hh.

References join(), vcsn::dyn::make_expression(), vcsn::detail::rs, and vcsn::sum().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename PolynomialSetLhs , typename PolynomialSetRhs >

polynomial vcsn::dyn::detail::sum_polynomial	(	const polynomial &	lhs,
		const polynomial &	rhs
	)

Bridge (sum).

Definition at line 115 of file sum.hh.

References join(), vcsn::dyn::make_polynomial(), vcsn::detail::rs, and sum().

Here is the call graph for this function:

template<typename WeightSetLhs , typename WeightSetRhs >

weight vcsn::dyn::detail::sum_weight	(	const weight &	lhs,
		const weight &	rhs
	)

Bridge (sum).

Definition at line 163 of file sum.hh.

References join(), vcsn::dyn::make_weight(), vcsn::detail::rs, and sum().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::synchronize

(

const automaton &

aut

)

Bridge.

Create a synchronized transducer from aut.

Definition at line 364 of file synchronize.hh.

References vcsn::dyn::make_automaton(), and vcsn::synchronize().

Referenced by vcsn::synchronize().

Here is the call graph for this function:

template<typename Aut , typename String >

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

Bridge.

A synchronizing word, or raise if there is none.

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

References vcsn::dyn::make_label(), vcsn::detail::make_wordset(), and vcsn::synchronizing_word().

Here is the call graph for this function:

template<typename ExpSet >

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

inline

Bridge.

The Thompson automaton of e.

Definition at line 208 of file thompson.hh.

References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().

Referenced by vcsn::dyn::to_automaton().

Here is the call graph for this function:

template<typename ExpSet >

expansion vcsn::dyn::detail::to_expansion

(

const expression &

exp

)

Bridge.

First order development of a exp.

Definition at line 426 of file to-expansion.hh.

References vcsn::dyn::make_expansion(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename Aut , typename Identities , typename String >

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

Bridge.

An expression denoting the language of aut.

Definition at line 580 of file to-expression.hh.

References vcsn::dyn::make_expression(), vcsn::detail::rs, and vcsn::to_expression().

Referenced by vcsn::rat::driver::make_atom(), vcsn::rat::driver::make_expression(), and to_expression_class().

Here is the call graph for this function:

template<typename Context , typename Identities , typename Letters , typename Bool >

expression vcsn::dyn::detail::to_expression_class	(	const context &	ctx,
		rat::identities	ids,
		const letter_class_t &	letters,
		bool	accept
	)

Bridge (to_expression).

Definition at line 693 of file to-expression.hh.

References vcsn::dyn::make_expression(), vcsn::make_expressionset(), vcsn::detail::rs, and to_expression().

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Context , typename Identities , typename Label >

expression vcsn::dyn::detail::to_expression_label	(	const context &	ctx,
		rat::identities	ids,
		const label &	lbl
	)

Bridge (to_expression).

Definition at line 604 of file to-expression.hh.

References vcsn::dyn::make_expression(), vcsn::make_expressionset(), and vcsn::detail::rs.

Referenced by vcsn::ctx::detail::register_functions().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::transpose

(

automaton &

aut

)

Bridge.

Transpose aut.

Definition at line 255 of file transpose.hh.

template<typename ExpSet >

expression vcsn::dyn::detail::transpose_expression

(

const expression &

exp

)

Bridge (transpose).

Definition at line 274 of file transpose.hh.

Referenced by vcsn::ctx::detail::register_functions().

template<typename ExpSet >

expression vcsn::dyn::detail::transposition_expression

(

const expression &

exp

)

Bridge (transposition).

Definition at line 295 of file transpose.hh.

Referenced by vcsn::ctx::detail::register_functions().

template<typename PolynomialSet >

automaton vcsn::dyn::detail::trie

(

const polynomial &

poly

)

Bridge.

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

Definition at line 182 of file trie.hh.

References vcsn::dyn::make_automaton(), and trie().

Referenced by vcsn::dyn::trie(), and trie_stream().

Here is the call graph for this function:

template<typename Context , typename Istream >

automaton vcsn::dyn::detail::trie_stream	(	const context &	ctx,
		std::istream &	is
	)

Bridge (trie).

Definition at line 240 of file trie.hh.

References vcsn::dyn::make_automaton(), vcsn::detail::make_word_polynomialset(), and trie().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::trim

(

const automaton &

aut

)

Bridge.

The trim subautomaton of aut.

Definition at line 224 of file accessible.hh.

References vcsn::dyn::make_automaton(), and vcsn::trim().

Here is the call graph for this function:

template<typename ExpSets , size_t... I>

expression vcsn::dyn::detail::tuple_	(	const std::vector< expression > &	es,
		vcsn::detail::index_sequence< I...>
	)

Bridge helper.

Definition at line 59 of file tuple.hh.

References vcsn::dyn::make_expression(), vcsn::detail::rs, vcsn::tuple(), and vcsn::tuple_expressionset().

Here is the call graph for this function:

template<typename ExpSets >

expression vcsn::dyn::detail::tuple_expression

(

const std::vector< expression > &

es

)

Bridge (tuple).

Definition at line 80 of file tuple.hh.

template<typename Ctx , typename Unsigned >

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

Bridge.

The Brzozowski universal witness.

Definition at line 70 of file u.hh.

References vcsn::dyn::make_automaton(), and vcsn::u().

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

automaton vcsn::dyn::detail::union_a ( const automaton &  lhs, const automaton &  rhs  )

inline

Bridge.

Union of two automata (plain graph union).

Definition at line 49 of file union.hh.

References vcsn::dyn::make_automaton(), and vcsn::union_a().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::universal

(

const automaton &

aut

)

Bridge.

The universal automaton of aut.

Definition at line 137 of file universal.hh.

References vcsn::dyn::make_automaton(), and vcsn::universal().

Here is the call graph for this function:

template<typename Aut >

weight vcsn::dyn::detail::weight_series

(

const automaton &

aut

)

Bridge.

Compute weight of the series.

Definition at line 27 of file weight-series.hh.

References vcsn::rat::ctx(), vcsn::dyn::make_weight(), and weight_series().

Referenced by vcsn::dyn::weight_series().

Here is the call graph for this function:

template<typename ExpSet , typename String >

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

inline

Bridge.

The ZPC automaton of exp.

Definition at line 358 of file zpc.hh.

References vcsn::rat::ctx(), vcsn::dyn::make_automaton(), and vcsn::detail::make_nullableset_context().

Referenced by vcsn::dyn::to_automaton().

Here is the call graph for this function: