Vcsn  2.3
Be Rational
vcsn::detail::real_context_impl< focus_automaton< Tape, Aut > > Struct Template Reference

#include <copy.hh>

Collaboration diagram for vcsn::detail::real_context_impl< focus_automaton< Tape, Aut > >:

Static Public Member Functions

static auto context (const focus_automaton< Tape, Aut > &aut) -> decltype(aut->full_context())
 

Detailed Description

template<std::size_t Tape, Automaton Aut>
struct vcsn::detail::real_context_impl< focus_automaton< Tape, Aut > >

Definition at line 48 of file copy.hh.

Member Function Documentation

template<std::size_t Tape, Automaton Aut>
static auto vcsn::detail::real_context_impl< focus_automaton< Tape, Aut > >::context ( const focus_automaton< Tape, Aut > &  aut) -> decltype(aut->full_context())
inlinestatic

Definition at line 50 of file copy.hh.


The documentation for this struct was generated from the following file: