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 a expansion and its expansionset. 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	ratexp_base
	An abstract ratexp. More...
class	ratexp_wrapper
	Aggregate a ratexp and its ratexpset. More...
class	ratexpset_base
	Abstract wrapper around a (typeful) ratexpset. More...
class	ratexpset_wrapper
	Wrapper around a ratexpset. 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 = typename std::enable_if< std::is_same< weightset_t_of< Aut >, b >::value, Type >::type
template<typename Aut , typename Type >
using	if_not_boolean_t = typename std::enable_if<!std::is_same< weightset_t_of< Aut >, b >::value, Type >::type

Functions
template<typename Aut >
automaton	accessible (const automaton &aut)
	REGISTER_DECLARE (accessible,(const automaton &) -> automaton)
template<typename Aut >
automaton	coaccessible (const automaton &aut)
	REGISTER_DECLARE (coaccessible,(const automaton &) -> automaton)
template<typename Aut >
automaton	trim (const automaton &aut)
	REGISTER_DECLARE (trim,(const automaton &) -> automaton)
template<typename Aut >
bool	is_accessible (const automaton &aut)
	REGISTER_DECLARE (is_accessible,(const automaton &) -> bool)
template<typename Aut >
bool	is_coaccessible (const automaton &aut)
	REGISTER_DECLARE (is_coaccessible,(const automaton &) -> bool)
template<typename Aut >
bool	is_trim (const automaton &aut)
	REGISTER_DECLARE (is_trim,(const automaton &) -> bool)
template<typename Aut >
bool	is_useless (const automaton &aut)
	REGISTER_DECLARE (is_useless,(const automaton &) -> bool)
template<typename Aut >
bool	is_empty (const automaton &aut)
	REGISTER_DECLARE (is_empty,(const automaton &) -> bool)
template<typename Aut1 , typename Aut2 >
bool	are_equivalent (const automaton &aut1, const automaton &aut2)
	Bridge. More...
	REGISTER_DECLARE (are_equivalent,(const automaton &, const automaton &) -> bool)
template<typename Lhs , typename Rhs >
automaton	difference (const automaton &lhs, const automaton &rhs)
	Bridge. More...
	REGISTER_DECLARE (difference,(const automaton &, const automaton &) -> automaton)
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp	difference_ratexp (const ratexp &lhs, const ratexp &rhs)
	Bridge. More...
	REGISTER_DECLARE (difference_ratexp,(const ratexp &, const ratexp &) -> ratexp)
template<typename Aut1 , typename Aut2 >
bool	are_isomorphic (const automaton &aut1, const automaton &aut2)
	Bridge. More...
	REGISTER_DECLARE (are_isomorphic,(const automaton &, const automaton &) -> bool)
template<typename Aut , typename Tape >
automaton	blind (automaton &aut, integral_constant)
	Bridge. More...
	REGISTER_DECLARE (blind,(automaton &aut, integral_constant tape) -> automaton)
template<typename Ctx , typename >
automaton	cerny (const context &ctx, unsigned num_states)
	Bridge. More...
	REGISTER_DECLARE (cerny,(const context &ctx, unsigned n) -> automaton)
template<typename Aut >
automaton	complement (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (complement,(const automaton &aut) -> automaton)
template<typename RatExpSet >
ratexp	complement_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (complement_ratexp,(const ratexp &e) -> ratexp)
template<typename Aut >
automaton	complete (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (complete,(const automaton &aut) -> automaton)
template<typename Lhs , typename Rhs >
automaton	compose (automaton &lhs, automaton &rhs)
	Bridge. More...
	REGISTER_DECLARE (compose,(automaton &, automaton &) -> automaton)
template<typename Lhs , typename Rhs >
automaton	concatenate (const automaton &lhs, const automaton &rhs)
	Bridge. More...
	REGISTER_DECLARE (concatenate,(const automaton &, const automaton &) -> automaton)
template<typename Aut , typename Int1 , typename Int2 >
automaton	chain (const automaton &a, int min, int max)
	Bridge. More...
	REGISTER_DECLARE (chain,(const automaton &aut, int min, int max) -> automaton)
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp	concatenate_ratexp (const ratexp &lhs, const ratexp &rhs)
	Bridge. More...
	REGISTER_DECLARE (concatenate_ratexp,(const ratexp &, const ratexp &) -> ratexp)
template<typename RatExpSet , typename Int1 , typename Int2 >
ratexp	chain_ratexp (const ratexp &re, int min, int max)
	Bridge. More...
	REGISTER_DECLARE (chain_ratexp,(const ratexp &, int, int) -> ratexp)
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	concatenate_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge. More...
	REGISTER_DECLARE (concatenate_polynomial,(const polynomial &, const polynomial &) -> polynomial)
template<typename WeightSetLhs , typename WeightSetRhs >
weight	multiply_weight (const weight &lhs, const weight &rhs)
	Bridge. More...
	REGISTER_DECLARE (multiply_weight,(const weight &, const weight &) -> weight)
template<typename RatExpSet >
weight	constant_term (const ratexp &exp)
	REGISTER_DECLARE (constant_term,(const ratexp &e) -> weight)
template<typename Aut , typename Ctx >
automaton	copy_convert (const automaton &aut, const context &ctx)
	Bridge. More...
	REGISTER_DECLARE (copy_convert,(const automaton &, const context &) -> automaton)
template<typename Aut >
automaton	copy (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (copy,(const automaton &) -> automaton)
template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
ratexp	copy_ratexp (const ratexp &exp, const ratexpset &out_rs)
	Bridge. More...
	REGISTER_DECLARE (copy_ratexp,(const ratexp &exp, const ratexpset &out_rs) -> ratexp)
template<typename Ctx , typename Unsigned >
automaton	de_bruijn (const dyn::context &ctx, unsigned n)
	Bridge. More...
	REGISTER_DECLARE (de_bruijn,(const context &ctx, unsigned n) -> automaton)
template<typename RatExpSet , typename Label , typename Bool >
polynomial	derivation (const ratexp &exp, const label &lbl, bool breaking=false)
	Bridge. More...
	REGISTER_DECLARE (derivation,(const ratexp &e, const label &l, bool breaking) -> polynomial)
template<typename RatExpSet , typename String >
std::enable_if < RatExpSet::context_t::labelset_t::is_free(), automaton >::type	derived_term (const ratexp &exp, const std::string &algo)
	Bridge. More...
template<typename RatExpSet , typename String >
std::enable_if <!RatExpSet::context_t::labelset_t::is_free(), automaton >::type	derived_term (const ratexp &exp, const std::string &algo)
	Bridge. More...
	REGISTER_DECLARE (derived_term,(const ratexp &e, const std::string &algo) -> automaton)
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...
	REGISTER_DECLARE (determinize,(const automaton &aut, const std::string &algo) -> automaton)
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...
	REGISTER_DECLARE (codeterminize,(const automaton &aut, const std::string &algo) -> automaton)
template<typename Ctx , typename Unsigned1 , typename Unsigned2 >
automaton	divkbaseb (const context &ctx, unsigned divisor, unsigned base)
	Bridge. More...
	REGISTER_DECLARE (divkbaseb,(const context &ctx, unsigned k, unsigned b) -> automaton)
template<typename Aut , typename Ostream , typename Bool >
std::ostream &	dot (const automaton &aut, std::ostream &out, bool dot2tex)
	Bridge. More...
	REGISTER_DECLARE (dot,(const automaton &aut, std::ostream &out, bool dot2tex) -> std::ostream &)
template<typename Ctx , typename , typename >
automaton	double_ring (const dyn::context &ctx, unsigned n, const std::vector< unsigned > &f)
	Bridge. More...
	REGISTER_DECLARE (double_ring,(const context &ctx, unsigned n, const std::vector< unsigned > &f) -> automaton)
template<typename Ctx >
automaton_editor *	make_automaton_editor (const context &ctx)
	Bridge. More...
	REGISTER_DECLARE (make_automaton_editor,(const context &ctx) -> automaton_editor *)
template<typename Aut , typename Ostream >
std::ostream &	efsm (const automaton &aut, std::ostream &out)
	Bridge. More...
	REGISTER_DECLARE (efsm,(const automaton &aut, std::ostream &out) -> std::ostream &)
template<typename Aut , typename Unsigned >
polynomial	enumerate (const automaton &aut, unsigned max)
	REGISTER_DECLARE (enumerate,(const automaton &aut, unsigned max) -> polynomial)
template<typename Aut , typename Unsigned >
polynomial	shortest (const automaton &aut, unsigned num)
	REGISTER_DECLARE (shortest,(const automaton &aut, unsigned num) -> polynomial)
template<typename Aut , typename LabelSet >
auto	eval (const automaton &aut, const label &lbl) -> weight
	Bridge. More...
	REGISTER_DECLARE (eval,(const automaton &aut, const label &s) -> weight)
template<typename RatExpSet >
ratexp	expand (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (expand,(const ratexp &e) -> ratexp)
template<typename Aut , typename Unsigneds >
automaton	filter (const automaton &aut, const std::vector< unsigned > &states)
	Bridge. More...
	REGISTER_DECLARE (filter,(const automaton &aut, const std::vector< unsigned > &ss) -> automaton)
template<typename Aut , typename Ostream >
std::ostream &	fado (const automaton &aut, std::ostream &out)
	Bridge. More...
	REGISTER_DECLARE (fado,(const automaton &aut, std::ostream &out) -> std::ostream &)
template<typename Aut , typename Ostream >
std::ostream &	grail (const automaton &aut, std::ostream &out)
	Bridge. More...
	REGISTER_DECLARE (grail,(const automaton &aut, std::ostream &out) -> std::ostream &)
template<typename Aut >
bool	has_twins_property (const automaton &aut)
	REGISTER_DECLARE (has_twins_property,(const automaton &) -> bool)
template<typename RatExpSet >
rat::identities	identities (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (identities,(const ratexp &) -> rat::identities)
template<typename Aut , typename Ostream , typename Bool >
std::ostream &	info (const automaton &aut, std::ostream &out, bool detailed)
	Bridge. More...
	REGISTER_DECLARE (info,(const automaton &aut, std::ostream &out, bool detailed) -> std::ostream &)
template<typename RatExpSet , typename Ostream >
std::ostream &	info_ratexp (const ratexp &exp, std::ostream &o)
	Bridge. More...
	REGISTER_DECLARE (info_ratexp,(const ratexp &aut, std::ostream &o) -> std::ostream &)
template<typename Aut >
automaton	insplit (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (insplit,(const automaton &aut) -> automaton)
template<class Aut >
bool	is_ambiguous (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_ambiguous,(const automaton &) -> bool)
template<typename Aut >
label	ambiguous_word (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (ambiguous_word,(const automaton &) -> label)
template<typename Aut >
bool	is_cycle_ambiguous (const automaton &aut)
	REGISTER_DECLARE (is_cycle_ambiguous,(const automaton &) -> bool)
template<class Aut >
bool	is_complete (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_complete,(const automaton &) -> bool)
template<typename Aut >
bool	is_deterministic (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_deterministic,(const automaton &aut) -> bool)
template<typename Aut >
bool	is_codeterministic (const automaton &aut)
	REGISTER_DECLARE (is_codeterministic,(const automaton &aut) -> bool)
template<typename Aut >
bool	is_eps_acyclic (const automaton &aut)
	REGISTER_DECLARE (is_eps_acyclic,(const automaton &) -> bool)
template<class Aut >
bool	is_functional (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_functional,(const automaton &) -> bool)
template<typename Aut >
bool	is_proper (const automaton &aut)
	REGISTER_DECLARE (is_proper,(const automaton &aut) -> bool)
template<typename RatExpSet >
bool	is_valid_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (is_valid_ratexp,(const ratexp &e) -> bool)
template<typename Aut >
bool	is_valid (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_valid,(const automaton &aut) -> bool)
template<typename Ctx , typename Unsigned >
automaton	ladybird (const dyn::context &ctx, unsigned n)
	Bridge. More...
	REGISTER_DECLARE (ladybird,(const dyn::context &ctx, unsigned n) -> automaton)
template<typename WeightSet , typename Aut >
automaton	left_mult (const weight &weight, const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (left_mult,(const weight &, const automaton &) -> automaton)
template<typename WeightSet , typename RatExpSet >
ratexp	left_mult_ratexp (const weight &weight, const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (left_mult_ratexp,(const weight &, const ratexp &) -> ratexp)
template<typename Aut , typename WeightSet >
automaton	right_mult (const automaton &aut, const weight &weight)
	Bridge. More...
	REGISTER_DECLARE (right_mult,(const automaton &, const weight &) -> automaton)
template<typename RatExpSet , typename WeightSet >
ratexp	right_mult_ratexp (const ratexp &exp, const weight &weight)
	Bridge. More...
	REGISTER_DECLARE (right_mult_ratexp,(const ratexp &, const weight &) -> ratexp)
template<typename Aut >
automaton	lift_automaton (const automaton &aut)
	REGISTER_DECLARE (lift_automaton,(const automaton &aut) -> automaton)
template<typename RatExpSet >
ratexp	lift_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (lift_ratexp,(const ratexp &aut) -> ratexp)
template<typename Ctx >
context	make_context (const std::string &name)
	Bridge. More...
	REGISTER_DECLARE (make_context,(const std::string &name) -> context)
template<typename Aut >
context	context_of (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (context_of,(const automaton &aut) -> context)
template<typename RatExpSet >
context	context_of_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (context_of_ratexp,(const ratexp &exp) -> context)
template<typename Ctx , typename Identities >
ratexpset	make_ratexpset (const context &ctx,::vcsn::rat::identities ids)
	REGISTER_DECLARE (make_ratexpset,(const context &ctx,::vcsn::rat::identities ids) -> ratexpset)
template<typename Ctx >
context	make_word_context (const context &ctx)
	REGISTER_DECLARE (make_word_context,(const context &ctx) -> context)
template<typename Aut , typename String >
std::enable_if <::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	minimize (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
std::enable_if <!::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	minimize (const automaton &aut, const std::string &algo)
	REGISTER_DECLARE (minimize,(const automaton &aut, const std::string &algo) -> automaton)
template<typename Aut , typename String >
std::enable_if <::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	cominimize (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
std::enable_if <!::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	cominimize (const automaton &aut, const std::string &algo)
	REGISTER_DECLARE (cominimize,(const automaton &aut, const std::string &algo) -> automaton)
template<typename Aut >
bool	is_normalized (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_normalized,(const automaton &aut) -> bool)
template<typename Aut >
automaton	normalize (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (normalize,(const automaton &aut) -> automaton)
template<typename Aut , typename >
automaton	pair (const automaton &aut, bool keep_initials=false)
	Bridge. More...
	REGISTER_DECLARE (pair,(const automaton &, bool) -> automaton)
template<typename Aut >
automaton	suffix (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (suffix,(const automaton &aut) -> automaton)
template<typename Aut >
automaton	prefix (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (prefix,(const automaton &aut) -> automaton)
template<typename Aut >
automaton	factor (const automaton &aut)
	REGISTER_DECLARE (factor,(const automaton &aut) -> automaton)
template<typename Aut >
automaton	subword (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (subword,(const automaton &aut) -> automaton)
template<typename Context , typename Ostream , typename String >
std::ostream &	print_ctx (const context &ctx, std::ostream &o, const std::string &format)
	Bridge. More...
	REGISTER_DECLARE (print_ctx,(const context &c, std::ostream &o, const std::string &format) -> std::ostream &)
template<typename ExpansionSet , typename Ostream , typename String >
std::ostream &	print_expansion (const expansion &expansion, std::ostream &o, const std::string &format)
	Bridge. More...
	REGISTER_DECLARE (print_expansion,(const expansion &l, std::ostream &o, const std::string &format) -> std::ostream &)
template<typename LabelSet , typename Ostream , typename String >
std::ostream &	print_label (const label &label, std::ostream &o, const std::string &format)
	Bridge. More...
	REGISTER_DECLARE (print_label,(const label &l, std::ostream &o, const std::string &format) -> std::ostream &)
template<typename PolynomialSet , typename Ostream >
std::ostream &	list_polynomial (const polynomial &polynomial, std::ostream &o)
	Bridge. More...
	REGISTER_DECLARE (list_polynomial,(const polynomial &p, std::ostream &o) -> std::ostream &)
template<typename PolynomialSet , typename Ostream , typename String >
std::ostream &	print_polynomial (const polynomial &polynomial, std::ostream &o, const std::string &format)
	Bridge. More...
	REGISTER_DECLARE (print_polynomial,(const polynomial &p, std::ostream &o, const std::string &format) -> std::ostream &)
template<typename RatExpSet , typename Ostream , typename String >
std::ostream &	print_ratexp (const ratexp &exp, std::ostream &o, const std::string &format)
	Bridge. More...
	REGISTER_DECLARE (print_ratexp,(const ratexp &aut, std::ostream &o, const std::string &format) -> std::ostream &)
template<typename WeightSet , typename Ostream , typename String >
std::ostream &	print_weight (const weight &weight, std::ostream &o, const std::string &format)
	Bridge. More...
	REGISTER_DECLARE (print_weight,(const weight &aut, std::ostream &o, const std::string &format) -> std::ostream &)
template<std::size_t I, typename Aut >
std::enable_if< labelset_t_of < Aut >::has_one()&&I!=0, Aut > ::type	do_insplit (Aut &aut)
template<std::size_t I, typename Aut >
std::enable_if<!labelset_t_of < Aut >::has_one()||I==0, Aut & > ::type	do_insplit (Aut &aut)
template<typename... Auts, size_t... I>
automaton	product_ (const std::vector< automaton > &as, vcsn::detail::index_sequence< I...>)
template<typename Lhs , typename Rhs >
automaton	product (const automaton &lhs, const automaton &rhs)
	Binary bridge. More...
	REGISTER_DECLARE (product,(const automaton &, const automaton &) -> automaton)
template<typename... Auts>
automaton	product_vector (const std::vector< automaton > &as)
	Variadic bridge. More...
	REGISTER_DECLARE (product_vector,(const std::vector< automaton > &) -> automaton)
template<typename Lhs , typename Rhs >
automaton	shuffle (const automaton &lhs, const automaton &rhs)
	Binary bridge. More...
	REGISTER_DECLARE (shuffle,(const automaton &, const automaton &) -> automaton)
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_vector (const std::vector< automaton > &as)
	Variadic bridge. More...
	REGISTER_DECLARE (shuffle_vector,(const std::vector< automaton > &) -> automaton)
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp	shuffle_ratexp (const ratexp &lhs, const ratexp &rhs)
	Bridge. More...
	REGISTER_DECLARE (shuffle_ratexp,(const ratexp &, const ratexp &) -> ratexp)
template<typename Lhs , typename Rhs >
automaton	infiltration (const automaton &lhs, const automaton &rhs)
	Binary bridge. More...
	REGISTER_DECLARE (infiltration,(const automaton &, const automaton &) -> automaton)
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_vector (const std::vector< automaton > &as)
	Variadic bridge. More...
	REGISTER_DECLARE (infiltration_vector,(const std::vector< automaton > &) -> automaton)
template<typename Aut , typename Unsigned >
automaton	power (const automaton &aut, unsigned n)
	Bridge. More...
	REGISTER_DECLARE (power,(const automaton &, unsigned) -> automaton)
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp	conjunction_ratexp (const ratexp &lhs, const ratexp &rhs)
	Bridge. More...
	REGISTER_DECLARE (conjunction_ratexp,(const ratexp &, const ratexp &) -> ratexp)
template<typename Aut , typename Dir , typename Bool >
automaton	proper (const automaton &aut, direction dir, bool prune)
	Bridge. More...
	REGISTER_DECLARE (proper,(const automaton &aut, direction dir, bool prune) -> automaton)
template<typename Aut >
automaton	push_weights (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (push_weights,(const automaton &aut) -> automaton)
template<typename Ctx , typename , typename , typename , typename >
automaton	random (const context &ctx, unsigned num_states, float density, unsigned num_initial=1, unsigned num_final=1)
	Bridge. More...
	REGISTER_DECLARE (random,(const context &ctx, unsigned n, float density, unsigned num_initial, unsigned num_final) -> automaton)
template<typename Ctx , typename >
automaton	random_deterministic (const context &ctx, unsigned num_states)
	Bridge. More...
	REGISTER_DECLARE (random_deterministic,(const context &ctx, unsigned n) -> automaton)
template<typename Istream , typename Context >
auto	read_label (std::istream &is, const context &ctx) -> label
	Bridge. More...
	REGISTER_DECLARE (read_label,(std::istream &is, const context &ctx) -> label)
template<typename Context , typename Istream >
auto	read_polynomial (const context &ctx, std::istream &is) -> polynomial
	Bridge. More...
	REGISTER_DECLARE (read_polynomial,(const context &ctx, std::istream &is) -> polynomial)
template<typename Context , typename Istream >
auto	read_weight (const context &ctx, std::istream &is) -> weight
	Bridge. More...
	REGISTER_DECLARE (read_weight,(const context &ctx, std::istream &is) -> weight)
template<typename Aut >
automaton	reduce (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (reduce,(const automaton &aut) -> automaton)
template<typename Aut >
std::size_t	num_sccs (const automaton &aut)
	REGISTER_DECLARE (num_sccs,(const automaton &) -> std::size_t)
template<typename Aut >
bool	is_out_sorted (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_out_sorted,(const automaton &) -> bool)
template<typename Aut >
automaton	sort (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (sort,(const automaton &) -> automaton)
template<typename RatExpSet >
polynomial	split (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (split,(const ratexp &e) -> polynomial)
template<typename PolynomialSet >
polynomial	split_polynomial (const polynomial &poly)
	Bridge. More...
	REGISTER_DECLARE (split_polynomial,(const polynomial &p) -> polynomial)
template<typename Aut >
bool	is_standard (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_standard,(const automaton &e) -> bool)
template<typename Aut >
bool	is_costandard (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_costandard,(const automaton &e) -> bool)
template<typename Aut >
automaton	standard (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (standard,(const automaton &e) -> automaton)
template<typename Aut >
automaton	costandard (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (costandard,(const automaton &e) -> automaton)
template<typename RatExpSet >
automaton	standard_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (standard_ratexp,(const ratexp &e) -> automaton)
template<typename RatExpSet >
unsigned	star_height (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (star_height,(const ratexp &e) -> unsigned)
template<typename RatExpSet >
ratexp	star_normal_form (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (star_normal_form,(const ratexp &e) -> ratexp)
template<typename Aut >
automaton	star (const automaton &a)
	Bridge. More...
	REGISTER_DECLARE (star,(const automaton &aut) -> automaton)
template<typename Aut >
automaton	strip (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (strip,(const automaton &a) -> automaton)
template<typename Lhs , typename Rhs >
automaton	sum (const automaton &lhs, const automaton &rhs)
	Bridge. More...
	REGISTER_DECLARE (sum,(const automaton &, const automaton &) -> automaton)
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	sum_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge. More...
	REGISTER_DECLARE (sum_polynomial,(const polynomial &, const polynomial &) -> polynomial)
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp	sum_ratexp (const ratexp &lhs, const ratexp &rhs)
	Bridge. More...
	REGISTER_DECLARE (sum_ratexp,(const ratexp &, const ratexp &) -> ratexp)
template<typename WeightSetLhs , typename WeightSetRhs >
weight	sum_weight (const weight &lhs, const weight &rhs)
	Bridge. More...
	REGISTER_DECLARE (sum_weight,(const weight &, const weight &) -> weight)
template<typename Aut , typename LabelSet >
bool	is_synchronized_by (const automaton &aut, const label &word)
	Bridge. More...
	REGISTER_DECLARE (is_synchronized_by,(const automaton &, const label &) -> bool)
template<typename Aut >
bool	is_synchronizing (const automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (is_synchronizing,(const automaton &) -> bool)
template<typename Aut , typename String >
label	synchronizing_word (const automaton &aut, const std::string &algo)
	Bridge. More...
	REGISTER_DECLARE (synchronizing_word,(const automaton &, const std::string &) -> label)
template<typename RatExpSet >
automaton	thompson (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (thompson,(const ratexp &e) -> automaton)
template<typename Aut , typename Ostream >
std::ostream &	tikz (const automaton &aut, std::ostream &out)
	Bridge. More...
	REGISTER_DECLARE (tikz,(const automaton &aut, std::ostream &out) -> std::ostream &)
template<typename RatExpSet >
expansion	to_expansion (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (to_expansion,(const ratexp &e) -> expansion)
template<typename Aut , typename Int >
automaton	eliminate_state (const automaton &aut, int state)
	Bridge. More...
	REGISTER_DECLARE (eliminate_state,(const automaton &aut, int) -> automaton)
template<typename Aut , typename String >
ratexp	to_expression (const automaton &aut, const std::string &algo)
	Bridge. More...
	REGISTER_DECLARE (to_expression,(const automaton &aut, const std::string &algo) -> ratexp)
template<typename Aut >
automaton	transpose (automaton &aut)
	Bridge. More...
	REGISTER_DECLARE (transpose,(automaton &aut) -> automaton)
template<typename RatExpSet >
ratexp	transpose_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (transpose_ratexp,(const ratexp &e) -> ratexp)
template<typename RatExpSet >
ratexp	transposition_ratexp (const ratexp &exp)
	Bridge. More...
	REGISTER_DECLARE (transposition_ratexp,(const ratexp &e) -> ratexp)
template<typename Ctx , typename Unsigned >
automaton	u (const context &ctx, unsigned n)
	Bridge. More...
	REGISTER_DECLARE (u,(const context &ctx, unsigned n) -> automaton)
template<typename Lhs , typename Rhs >
automaton	union_a (const automaton &lhs, const automaton &rhs)
	REGISTER_DECLARE (union_a,(const automaton &, const automaton &) -> automaton)
template<typename Aut >
automaton	universal (const automaton &aut)
	REGISTER_DECLARE (universal,(const automaton &aut) -> automaton)

Typedef Documentation

template<typename Aut , typename Type >

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

Definition at line 506 of file determinize.hh.

template<typename Aut , typename Type >

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

Definition at line 511 of file determinize.hh.

Function Documentation

template<typename Aut >

automaton vcsn::dyn::detail::accessible

(

const automaton &

aut

)

Definition at line 196 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.

Definition at line 101 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.

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

template<typename Aut1 , typename Aut2 >

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

Bridge.

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

template<typename Aut , typename Tape >

automaton vcsn::dyn::detail::blind	(	automaton &	aut,
		integral_constant
	)

Bridge.

Definition at line 349 of file blind.hh.

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename Ctx , typename >

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

Bridge.

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 , typename Int1 , typename Int2 >

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

Bridge.

Definition at line 188 of file concatenate.hh.

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

Here is the call graph for this function:

template<typename RatExpSet , typename Int1 , typename Int2 >

ratexp vcsn::dyn::detail::chain_ratexp	(	const ratexp &	re,
		int	min,
		int	max
	)

Bridge.

Definition at line 284 of file concatenate.hh.

References vcsn::chain(), and vcsn::dyn::make_ratexp().

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

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::coaccessible

(

const automaton &

aut

)

Definition at line 211 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 >

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

Boolean Bridge.

Definition at line 560 of file determinize.hh.

References vcsn::codeterminize(), vcsn::codeterminize_weighted(), vcsn::dyn::make_automaton(), and vcsn::str_escape().

Here is the call graph for this function:

template<typename Aut , typename String >

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

Weighted Bridge.

Definition at line 574 of file determinize.hh.

References vcsn::codeterminize_weighted(), vcsn::dyn::make_automaton(), and vcsn::str_escape().

Here is the call graph for this function:

template<typename Aut , typename String >

std::enable_if<::vcsn::detail::can_use_brzozowski<Aut>), automaton>::type vcsn::dyn::detail::cominimize ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 135 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 >

std::enable_if<!::vcsn::detail::can_use_brzozowski<Aut>), automaton>::type vcsn::dyn::detail::cominimize ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 148 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.

Definition at line 67 of file complement.hh.

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

Here is the call graph for this function:

template<typename RatExpSet >

ratexp vcsn::dyn::detail::complement_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 89 of file complement.hh.

References vcsn::dyn::make_ratexp().

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.

Definition at line 79 of file complete.hh.

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

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

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

Bridge.

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 Lhs , typename Rhs >

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

Bridge.

Definition at line 117 of file concatenate.hh.

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

Referenced by concatenate_polynomial().

Here is the call graph for this function:

template<typename PolynomialSetLhs , typename PolynomialSetRhs >

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

Bridge.

Definition at line 308 of file concatenate.hh.

References concatenate(), vcsn::join(), and vcsn::dyn::make_polynomial().

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

Here is the call graph for this function:

template<typename RatExpSetLhs , typename RatExpSetRhs >

ratexp vcsn::dyn::detail::concatenate_ratexp	(	const ratexp &	lhs,
		const ratexp &	rhs
	)

Bridge.

Definition at line 222 of file concatenate.hh.

References vcsn::concatenate(), vcsn::join(), and vcsn::dyn::make_ratexp().

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

Here is the call graph for this function:

template<typename RatExpSetLhs , typename RatExpSetRhs >

ratexp vcsn::dyn::detail::conjunction_ratexp	(	const ratexp &	lhs,
		const ratexp &	rhs
	)

Bridge.

Definition at line 755 of file product.hh.

References vcsn::conjunction(), vcsn::join(), and vcsn::dyn::make_ratexp().

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

Here is the call graph for this function:

template<typename RatExpSet >

weight vcsn::dyn::detail::constant_term

(

const ratexp &

exp

)

Definition at line 158 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.

Definition at line 68 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 RatExpSet >

context vcsn::dyn::detail::context_of_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 80 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.

Definition at line 242 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.

Definition at line 226 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 InRatExpSet , typename OutRatExpSet = InRatExpSet>

ratexp vcsn::dyn::detail::copy_ratexp ( const ratexp &  exp, const ratexpset &  out_rs  )

inline

Bridge.

Definition at line 265 of file copy.hh.

References vcsn::rat::copy(), and vcsn::dyn::make_ratexp().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::costandard

(

const automaton &

aut

)

Bridge.

Definition at line 155 of file standard.hh.

References vcsn::dyn::make_automaton().

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.

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

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

template<typename RatExpSet , typename Label , typename Bool >

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

Bridge.

Definition at line 262 of file derivation.hh.

References vcsn::derivation(), vcsn::dyn::make_polynomial(), and vcsn::rat::make_ratexp_polynomialset().

Here is the call graph for this function:

template<typename RatExpSet , typename String >

std::enable_if<RatExpSet::context_t::labelset_t::is_free(), automaton>::type vcsn::dyn::detail::derived_term ( const ratexp &  exp, const std::string &  algo  )

inline

Bridge.

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

References vcsn::derived_term_derivation(), vcsn::derived_term_expansion(), vcsn::dyn::make_automaton(), and vcsn::require().

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

Here is the call graph for this function:

template<typename RatExpSet , typename String >

std::enable_if<!RatExpSet::context_t::labelset_t::is_free(), automaton>::type vcsn::dyn::detail::derived_term ( const ratexp &  exp, const std::string &  algo  )

inline

Bridge.

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

References vcsn::derived_term_expansion(), vcsn::dyn::make_automaton(), and vcsn::require().

Here is the call graph for this function:

template<typename Aut , typename String >

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

Boolean Bridge.

Definition at line 517 of file determinize.hh.

References vcsn::determinize(), vcsn::determinize_weighted(), vcsn::dyn::make_automaton(), and vcsn::str_escape().

Here is the call graph for this function:

template<typename Aut , typename String >

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

Weighted Bridge.

Definition at line 531 of file determinize.hh.

References vcsn::determinize_weighted(), vcsn::dyn::make_automaton(), and vcsn::str_escape().

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

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

Bridge.

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

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

Here is the call graph for this function:

template<typename RatExpSetLhs , typename RatExpSetRhs >

ratexp vcsn::dyn::detail::difference_ratexp	(	const ratexp &	lhs,
		const ratexp &	rhs
	)

Bridge.

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

References vcsn::dyn::make_ratexp().

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.

Definition at line 70 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 >

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

(

Aut &

aut

)

Definition at line 463 of file product.hh.

References vcsn::detail::insplit().

Here is the call graph for this function:

template<std::size_t I, typename Aut >

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

(

Aut &

aut

)

Definition at line 471 of file product.hh.

template<typename Aut , typename Ostream , typename Bool >

std::ostream& vcsn::dyn::detail::dot	(	const automaton &	aut,
		std::ostream &	out,
		bool	dot2tex
	)

Bridge.

Definition at line 356 of file dot.hh.

template<typename Ctx , typename , typename >

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

Bridge.

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

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

Here is the call graph for this function:

template<typename Aut , typename Ostream >

std::ostream& vcsn::dyn::detail::efsm	(	const automaton &	aut,
		std::ostream &	out
	)

Bridge.

Definition at line 314 of file efsm.hh.

template<typename Aut , typename Int >

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

Bridge.

Definition at line 244 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 Unsigned >

polynomial vcsn::dyn::detail::enumerate	(	const automaton &	aut,
		unsigned	max
	)

Definition at line 159 of file enumerate.hh.

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

Here is the call graph for this function:

template<typename Aut , typename LabelSet >

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

Bridge.

Definition at line 99 of file eval.hh.

References vcsn::dyn::make_weight().

Here is the call graph for this function:

template<typename RatExpSet >

ratexp vcsn::dyn::detail::expand

(

const ratexp &

exp

)

Bridge.

Definition at line 165 of file expand.hh.

References vcsn::dyn::make_ratexp().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::factor

(

const automaton &

aut

)

Definition at line 135 of file prefix.hh.

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

Here is the call graph for this function:

template<typename Aut , typename Ostream >

std::ostream& vcsn::dyn::detail::fado	(	const automaton &	aut,
		std::ostream &	out
	)

Bridge.

Definition at line 241 of file grail.hh.

template<typename Aut , typename Unsigneds >

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

Bridge.

Definition at line 271 of file filter.hh.

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

Here is the call graph for this function:

template<typename Aut , typename Ostream >

std::ostream& vcsn::dyn::detail::grail	(	const automaton &	aut,
		std::ostream &	out
	)

Bridge.

Definition at line 326 of file grail.hh.

template<typename Aut >

bool vcsn::dyn::detail::has_twins_property

(

const automaton &

aut

)

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

template<typename RatExpSet >

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

(

const ratexp &

exp

)

Bridge.

Definition at line 26 of file identities.hh.

template<typename Lhs , typename Rhs >

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

Binary bridge.

Definition at line 634 of file product.hh.

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

Here is the call graph for this function:

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 647 of file product.hh.

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

Referenced by infiltration_vector().

Here is the call graph for this function:

template<typename... Auts>

automaton vcsn::dyn::detail::infiltration_vector

(

const std::vector< automaton > &

as

)

Variadic bridge.

Definition at line 657 of file product.hh.

References vcsn::detail::tuple_automaton_impl< Aut, Auts...>::indices, and infiltration_().

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.

Definition at line 265 of file info.hh.

template<typename RatExpSet , typename Ostream >

std::ostream& vcsn::dyn::detail::info_ratexp	(	const ratexp &	exp,
		std::ostream &	o
	)

Bridge.

Definition at line 319 of file info.hh.

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

template<typename Aut >

automaton vcsn::dyn::detail::insplit

(

const automaton &

aut

)

Bridge.

Definition at line 133 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

)

Definition at line 241 of file accessible.hh.

template<class Aut >

bool vcsn::dyn::detail::is_ambiguous

(

const automaton &

aut

)

Bridge.

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

template<typename Aut >

bool vcsn::dyn::detail::is_coaccessible

(

const automaton &

aut

)

Definition at line 256 of file accessible.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_codeterministic

(

const automaton &

aut

)

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

template<class Aut >

bool vcsn::dyn::detail::is_complete

(

const automaton &

aut

)

Bridge.

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

template<typename Aut >

bool vcsn::dyn::detail::is_costandard

(

const automaton &

aut

)

Bridge.

Definition at line 65 of file standard.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_cycle_ambiguous

(

const automaton &

aut

)

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

template<typename Aut >

bool vcsn::dyn::detail::is_deterministic

(

const automaton &

aut

)

Bridge.

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

template<typename Aut >

bool vcsn::dyn::detail::is_empty

(

const automaton &

aut

)

Definition at line 301 of file accessible.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_eps_acyclic

(

const automaton &

aut

)

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

template<class Aut >

bool vcsn::dyn::detail::is_functional

(

const automaton &

aut

)

Bridge.

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

template<typename Aut >

bool vcsn::dyn::detail::is_normalized

(

const automaton &

aut

)

Bridge.

Definition at line 34 of file normalize.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_out_sorted

(

const automaton &

aut

)

Bridge.

Definition at line 52 of file sort.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_proper

(

const automaton &

aut

)

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

template<typename Aut >

bool vcsn::dyn::detail::is_standard

(

const automaton &

aut

)

Bridge.

Definition at line 53 of file standard.hh.

template<typename Aut , typename LabelSet >

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

Bridge.

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.

Definition at line 399 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

)

Definition at line 271 of file accessible.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_useless

(

const automaton &

aut

)

Definition at line 286 of file accessible.hh.

template<typename Aut >

bool vcsn::dyn::detail::is_valid

(

const automaton &

aut

)

Bridge.

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

References strip().

Here is the call graph for this function:

template<typename RatExpSet >

bool vcsn::dyn::detail::is_valid_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 38 of file is-valid-ratexp.hh.

References vcsn::is_valid().

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

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.

Definition at line 59 of file ladybird.hh.

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

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.

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

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

Here is the call graph for this function:

template<typename WeightSet , typename RatExpSet >

ratexp vcsn::dyn::detail::left_mult_ratexp	(	const weight &	weight,
		const ratexp &	exp
	)

Bridge.

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

References vcsn::join_weightset_ratexpset(), vcsn::left_mult(), and vcsn::dyn::make_ratexp().

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

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::lift_automaton

(

const automaton &

aut

)

Definition at line 119 of file lift.hh.

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

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

Here is the call graph for this function:

template<typename RatExpSet >

ratexp vcsn::dyn::detail::lift_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 163 of file lift.hh.

References vcsn::lift(), vcsn::detail::lift_ratexpset(), and vcsn::dyn::make_ratexp().

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

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.

Definition at line 126 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.

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

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

template<typename Ctx >

context vcsn::dyn::detail::make_context

(

const std::string &

name

)

Bridge.

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

References vcsn::dyn::make_context().

Referenced by left_mult(), make_word_context(), and right_mult().

Here is the call graph for this function:

template<typename Ctx , typename Identities >

ratexpset vcsn::dyn::detail::make_ratexpset	(	const context &	ctx,
		::vcsn::rat::identities	ids
	)

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

template<typename Ctx >

context vcsn::dyn::detail::make_word_context

(

const context &

ctx

)

Definition at line 127 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 >

std::enable_if<::vcsn::detail::can_use_brzozowski<Aut>), automaton>::type vcsn::dyn::detail::minimize ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 95 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 >

std::enable_if<!::vcsn::detail::can_use_brzozowski<Aut>), automaton>::type vcsn::dyn::detail::minimize ( const automaton &  aut, const std::string &  algo  )

inline

Definition at line 108 of file minimize.hh.

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

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.

Definition at line 345 of file concatenate.hh.

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

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

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::normalize

(

const automaton &

aut

)

Bridge.

Definition at line 45 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_sccs

(

const automaton &

aut

)

Definition at line 289 of file scc.hh.

template<typename Aut , typename >

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

Bridge.

Definition at line 227 of file pair.hh.

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

Here is the call graph for this function:

template<typename Aut , typename Unsigned >

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

Bridge.

Definition at line 721 of file product.hh.

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

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::prefix

(

const automaton &

aut

)

Bridge.

Definition at line 87 of file prefix.hh.

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

Here is the call graph for this function:

template<typename Context , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_ctx	(	const context &	ctx,
		std::ostream &	o,
		const std::string &	format
	)

Bridge.

Definition at line 29 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 &	format
	)

Bridge.

Definition at line 63 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 &	format
	)

Bridge.

Definition at line 86 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 &	format
	)

Bridge.

Definition at line 148 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 RatExpSet , typename Ostream , typename String >

std::ostream& vcsn::dyn::detail::print_ratexp	(	const ratexp &	exp,
		std::ostream &	o,
		const std::string &	format
	)

Bridge.

Definition at line 184 of file print.hh.

References vcsn::print().

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

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 &	format
	)

Bridge.

Definition at line 219 of file print.hh.

References vcsn::print().

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

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

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

Binary bridge.

Definition at line 487 of file product.hh.

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

Here is the call graph for this function:

template<typename... Auts, size_t... I>

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

Definition at line 478 of file product.hh.

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

Referenced by vcsn::rat::printer< Context >::format(), and product_vector().

Here is the call graph for this function:

template<typename... Auts>

automaton vcsn::dyn::detail::product_vector

(

const std::vector< automaton > &

as

)

Variadic bridge.

Definition at line 500 of file product.hh.

References vcsn::detail::tuple_automaton_impl< Aut, Auts...>::indices, and product_().

Here is the call graph for this function:

template<typename Aut , typename Dir , typename Bool >

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

Bridge.

Definition at line 633 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.

Definition at line 80 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 >

automaton vcsn::dyn::detail::random	(	const context &	ctx,
		unsigned	num_states,
		float	density,
		unsigned	num_initial = 1,
		unsigned	num_final = 1
	)

Bridge.

Definition at line 212 of file random.hh.

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

Here is the call graph for this function:

template<typename Ctx , typename >

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

Bridge.

Definition at line 274 of file random.hh.

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

Here is the call graph for this function:

template<typename Istream , typename Context >

auto vcsn::dyn::detail::read_label	(	std::istream &	is,
		const context &	ctx
	)		-> label

Bridge.

Definition at line 34 of file read.hh.

References is, and vcsn::dyn::make_label().

Here is the call graph for this function:

template<typename Context , typename Istream >

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

Bridge.

Definition at line 68 of file read.hh.

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

Here is the call graph for this function:

template<typename Context , typename Istream >

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

Bridge.

Definition at line 103 of file read.hh.

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

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::reduce

(

const automaton &

aut

)

Bridge.

Definition at line 623 of file reduce.hh.

References vcsn::dyn::make_automaton().

Here is the call graph for this function:

vcsn::dyn::detail::REGISTER_DECLARE	(	identities	,
		(const ratexp &) -> rat::identities
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	print_ctx	,
		(const context &c, std::ostream &o, const std::string &format) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_normalized	,
		(const automaton &aut) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	read_label	,
		(std::istream &is, const context &ctx) ->	label
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_valid_ratexp	,
		(const ratexp &e) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	suffix	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	make_context	,
		(const std::string &name) ->	context
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	normalize	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_complete	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_ambiguous	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_out_sorted	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	strip	,
		(const automaton &a) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_standard	,
		(const automaton &e) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	union_a	,
		(const automaton &, const automaton &) ->	automaton
	)

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

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

vcsn::dyn::detail::REGISTER_DECLARE	(	are_equivalent	,
		(const automaton &, const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	print_expansion	,
		(const expansion &l, std::ostream &o, const std::string &format) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	cerny	,
		(const context &ctx, unsigned n) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_proper	,
		(const automaton &aut) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_costandard	,
		(const automaton &e) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	complement	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	context_of	,
		(const automaton &aut) ->	context
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	divkbaseb	,
		(const context &ctx, unsigned k, unsigned b) ->	automaton
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	is_synchronized_by	,
		(const automaton &, const label &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	star	,
		(const automaton &aut) ->	automaton
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	complete	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	context_of_ratexp	,
		(const ratexp &exp) ->	context
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	push_weights	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	sum	,
		(const automaton &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_deterministic	,
		(const automaton &aut) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	prefix	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	print_label	,
		(const label &l, std::ostream &o, const std::string &format) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	complement_ratexp	,
		(const ratexp &e) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_codeterministic	,
		(const automaton &aut) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_functional	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	star_height	,
		(const ratexp &e) ->	unsigned
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	difference	,
		(const automaton &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	ambiguous_word	,
		(const automaton &) ->	label
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	eval	,
		(const automaton &aut, const label &s) ->	weight
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	make_ratexpset	,
		(const context &ctx,::vcsn::rat::identities ids) ->	ratexpset
	)

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

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

vcsn::dyn::detail::REGISTER_DECLARE	(	left_mult	,
		(const weight &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	concatenate	,
		(const automaton &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	lift_automaton	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	sum_polynomial	,
		(const polynomial &, const polynomial &) ->	polynomial
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_eps_acyclic	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	make_word_context	,
		(const context &ctx) ->	context
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	list_polynomial	,
		(const polynomial &p, std::ostream &o) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	insplit	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	factor	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	difference_ratexp	,
		(const ratexp &, const ratexp &) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	tikz	,
		(const automaton &aut, std::ostream &out) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	standard	,
		(const automaton &e) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	universal	,
		(const automaton &aut) ->	automaton
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	print_polynomial	,
		(const polynomial &p, std::ostream &o, const std::string &format) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_valid	,
		(const automaton &aut) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	sum_ratexp	,
		(const ratexp &, const ratexp &) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	costandard	,
		(const automaton &e) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	enumerate	,
		(const automaton &aut, unsigned max) ->	polynomial
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	constant_term	,
		(const ratexp &e) ->	weight
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	lift_ratexp	,
		(const ratexp &aut) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	expand	,
		(const ratexp &e) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	has_twins_property	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	sum_weight	,
		(const weight &, const weight &) ->	weight
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	shortest	,
		(const automaton &aut, unsigned num) ->	polynomial
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_cycle_ambiguous	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	left_mult_ratexp	,
		(const weight &, const ratexp &) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	print_ratexp	,
		(const ratexp &aut, std::ostream &o, const std::string &format) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	chain	,
		(const automaton &aut, int min, int max) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	subword	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	accessible	,
		(const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	star_normal_form	,
		(const ratexp &e) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	sort	,
		(const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	derived_term	,
		(const ratexp &e, const std::string &algo) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	thompson	,
		(const ratexp &e) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	coaccessible	,
		(const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	random	,
		(const context &ctx, unsigned n, float density, unsigned num_initial, unsigned num_final) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	print_weight	,
		(const weight &aut, std::ostream &o, const std::string &format) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	concatenate_ratexp	,
		(const ratexp &, const ratexp &) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	trim	,
		(const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	pair	,
		(const automaton &, bool) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	copy_convert	,
		(const automaton &, const context &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	right_mult	,
		(const automaton &, const weight &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	fado	,
		(const automaton &aut, std::ostream &out) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_accessible	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	copy	,
		(const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	eliminate_state	,
		(const automaton &aut, int) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	transpose	,
		(automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_coaccessible	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	derivation	,
		(const ratexp &e, const label &l, bool breaking) ->	polynomial
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	right_mult_ratexp	,
		(const ratexp &, const weight &) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	copy_ratexp	,
		(const ratexp &exp, const ratexpset &out_rs) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_trim	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	split	,
		(const ratexp &e) ->	polynomial
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	random_deterministic	,
		(const context &ctx, unsigned n) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	transpose_ratexp	,
		(const ratexp &e) ->	ratexp
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	chain_ratexp	,
		(const ratexp &, int, int) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_useless	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	num_sccs	,
		(const automaton &) -> std::size_t
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	transposition_ratexp	,
		(const ratexp &e) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_empty	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	to_expression	,
		(const automaton &aut, const std::string &algo) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	compose	,
		(automaton &, automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	concatenate_polynomial	,
		(const polynomial &, const polynomial &) ->	polynomial
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	efsm	,
		(const automaton &aut, std::ostream &out) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	info_ratexp	,
		(const ratexp &aut, std::ostream &o) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	grail	,
		(const automaton &aut, std::ostream &out) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	split_polynomial	,
		(const polynomial &p) ->	polynomial
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	make_automaton_editor	,
		(const context &ctx) -> automaton_editor *
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	multiply_weight	,
		(const weight &, const weight &) ->	weight
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	blind	,
		(automaton &aut, integral_constant tape) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	dot	,
		(const automaton &aut, std::ostream &out, bool dot2tex) -> std::ostream &
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	is_synchronizing	,
		(const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	standard_ratexp	,
		(const ratexp &e) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	to_expansion	,
		(const ratexp &e) ->	expansion
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	synchronizing_word	,
		(const automaton &, const std::string &) ->	label
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	product	,
		(const automaton &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	product_vector	,
		(const std::vector< automaton > &) ->	automaton
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	shuffle	,
		(const automaton &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	shuffle_vector	,
		(const std::vector< automaton > &) ->	automaton
	)

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

vcsn::dyn::detail::REGISTER_DECLARE	(	shuffle_ratexp	,
		(const ratexp &, const ratexp &) ->	ratexp
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	reduce	,
		(const automaton &aut) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	proper	,
		(const automaton &aut, direction dir, bool prune) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	infiltration	,
		(const automaton &, const automaton &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	infiltration_vector	,
		(const std::vector< automaton > &) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	are_isomorphic	,
		(const automaton &, const automaton &) ->	bool
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	power	,
		(const automaton &, unsigned) ->	automaton
	)

vcsn::dyn::detail::REGISTER_DECLARE	(	conjunction_ratexp	,
		(const ratexp &, const ratexp &) ->	ratexp
	)

template<typename Aut , typename WeightSet >

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

Bridge.

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

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

Here is the call graph for this function:

template<typename RatExpSet , typename WeightSet >

ratexp vcsn::dyn::detail::right_mult_ratexp	(	const ratexp &	exp,
		const weight &	weight
	)

Bridge.

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

References vcsn::join_weightset_ratexpset(), vcsn::dyn::make_ratexp(), and vcsn::right_mult().

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

Here is the call graph for this function:

template<typename Aut , typename Unsigned >

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

Definition at line 177 of file enumerate.hh.

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

Here is the call graph for this function:

template<typename Lhs , typename Rhs >

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

Binary bridge.

Definition at line 536 of file product.hh.

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

Here is the call graph for this function:

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 549 of file product.hh.

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

Referenced by vcsn::rat::printer< Context >::format(), and shuffle_vector().

Here is the call graph for this function:

template<typename RatExpSetLhs , typename RatExpSetRhs >

ratexp vcsn::dyn::detail::shuffle_ratexp	(	const ratexp &	lhs,
		const ratexp &	rhs
	)

Bridge.

Definition at line 593 of file product.hh.

References vcsn::join(), vcsn::dyn::make_ratexp(), and vcsn::shuffle().

Here is the call graph for this function:

template<typename... Auts>

automaton vcsn::dyn::detail::shuffle_vector

(

const std::vector< automaton > &

as

)

Variadic bridge.

Definition at line 559 of file product.hh.

References vcsn::detail::tuple_automaton_impl< Aut, Auts...>::indices, and shuffle_().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::sort

(

const automaton &

aut

)

Bridge.

Definition at line 200 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 RatExpSet >

polynomial vcsn::dyn::detail::split

(

const ratexp &

exp

)

Bridge.

Definition at line 270 of file split.hh.

References vcsn::dyn::make_polynomial(), and vcsn::rat::make_ratexp_polynomialset().

Here is the call graph for this function:

template<typename PolynomialSet >

polynomial vcsn::dyn::detail::split_polynomial

(

const polynomial &

poly

)

Bridge.

Definition at line 322 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

)

Bridge.

Definition at line 144 of file standard.hh.

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

Here is the call graph for this function:

template<typename RatExpSet >

automaton vcsn::dyn::detail::standard_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 394 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.

Definition at line 75 of file star.hh.

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

Here is the call graph for this function:

template<typename RatExpSet >

unsigned vcsn::dyn::detail::star_height

(

const ratexp &

exp

)

Bridge.

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

template<typename RatExpSet >

ratexp vcsn::dyn::detail::star_normal_form

(

const ratexp &

exp

)

Bridge.

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

References vcsn::dyn::make_ratexp().

Here is the call graph for this function:

template<typename Aut >

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

inline

Bridge.

Definition at line 52 of file strip.hh.

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

Referenced by is_valid().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::subword

(

const automaton &

aut

)

Bridge.

Definition at line 190 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.

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.

Definition at line 83 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 PolynomialSetLhs , typename PolynomialSetRhs >

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

Bridge.

Definition at line 119 of file sum.hh.

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

Here is the call graph for this function:

template<typename RatExpSetLhs , typename RatExpSetRhs >

ratexp vcsn::dyn::detail::sum_ratexp	(	const ratexp &	lhs,
		const ratexp &	rhs
	)

Bridge.

Definition at line 146 of file sum.hh.

References vcsn::join(), vcsn::dyn::make_ratexp(), and vcsn::sum().

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

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.

Definition at line 173 of file sum.hh.

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

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

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.

Definition at line 440 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 RatExpSet >

automaton vcsn::dyn::detail::thompson

(

const ratexp &

exp

)

Bridge.

Definition at line 201 of file thompson.hh.

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

Here is the call graph for this function:

template<typename Aut , typename Ostream >

std::ostream& vcsn::dyn::detail::tikz	(	const automaton &	aut,
		std::ostream &	out
	)

Bridge.

Definition at line 141 of file tikz.hh.

template<typename RatExpSet >

expansion vcsn::dyn::detail::to_expansion

(

const ratexp &

exp

)

Bridge.

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

References vcsn::dyn::make_expansion().

Referenced by vcsn::to_expansion().

Here is the call graph for this function:

template<typename Aut , typename String >

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

Bridge.

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

References vcsn::dyn::make_ratexp(), vcsn::str_escape(), and vcsn::to_expression_naive().

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::transpose

(

automaton &

aut

)

Bridge.

Definition at line 250 of file transpose.hh.

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

Here is the call graph for this function:

template<typename RatExpSet >

ratexp vcsn::dyn::detail::transpose_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 272 of file transpose.hh.

References vcsn::dyn::make_ratexp(), and vcsn::transpose().

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

Here is the call graph for this function:

template<typename RatExpSet >

ratexp vcsn::dyn::detail::transposition_ratexp

(

const ratexp &

exp

)

Bridge.

Definition at line 296 of file transpose.hh.

References vcsn::dyn::make_ratexp().

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

Here is the call graph for this function:

template<typename Aut >

automaton vcsn::dyn::detail::trim

(

const automaton &

aut

)

Definition at line 226 of file accessible.hh.

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

Here is the call graph for this function:

template<typename Ctx , typename Unsigned >

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

Bridge.

Definition at line 68 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

Definition at line 53 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

)

Definition at line 144 of file universal.hh.

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

Here is the call graph for this function: