Go to the source code of this file.
|
using | t0_t = std::tuple< vcsn::mutable_automaton< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::expressionset< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::q > > > >, vcsn::mutable_automaton< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::expressionset< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::q > > > >, vcsn::mutable_automaton< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::expressionset< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::q > > > >, vcsn::mutable_automaton< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::expressionset< vcsn::context< vcsn::letterset< vcsn::set_alphabet< vcsn::char_letters >>, vcsn::q > > > > > |
|
using | t1_t = bool |
|
#define VCSN_INSTANTIATION 1 |
using t0_t = std::tuple< vcsn::mutable_automaton< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::expressionset< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::q > > > >, vcsn::mutable_automaton< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::expressionset< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::q > > > >, vcsn::mutable_automaton< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::expressionset< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::q > > > >, vcsn::mutable_automaton< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::expressionset< vcsn::context< vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>>, vcsn::q > > > > > |
bool conjunction ATTRIBUTE_USED |
|
static |