Vcsn  2.2
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
determinized_automaton<mutable_automaton<context<letterset<char_letters>, b>>, vcsn::wet_kind_t::bitset, false>, wordset<char_letters>.cc File Reference
Include dependency graph for determinized_automaton<mutable_automaton<context<letterset<char_letters>, b>>, vcsn::wet_kind_t::bitset, false>, wordset<char_letters>.cc:

Go to the source code of this file.

Macros

#define BUILD_LIBVCSN   1
 
#define VCSN_INSTANTIATION   1
 
#define MAYBE_EXTERN
 

Typedefs

using t0_t = vcsn::determinized_automaton< vcsn::mutable_automaton< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::b > >, vcsn::wet_kind_t::bitset, false >
 
using t1_t = vcsn::wordset< vcsn::set_alphabet< vcsn::char_letters >>
 

Variables

static bool is_synchronized_by ATTRIBUTE_USED
 

Macro Definition Documentation

Typedef Documentation

Variable Documentation

bool is_synchronized_by ATTRIBUTE_USED
static
Initial value:
=
vcsn::ssignature<t0_t, t1_t>(),
vcsn::dyn::detail::is_synchronized_by<t0_t, t1_t>
)
bool is_synchronized_by_register(const signature &sig, is_synchronized_by_t fn)
Definition: algos.cc:701

Definition at line 36 of file determinized_automaton<mutable_automaton<context<letterset<char_letters>, b>>, vcsn::wet_kind_t::bitset, false>, wordset<char_letters>.cc.