![]() |
Vcsn
2.1
Be Rational
|
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<size_t Tape, typename LabelSet , typename WeightSet > | |
auto | vcsn::detail::make_project_context (const context< LabelSet, WeightSet > &ctx) -> enable_if_t< context< LabelSet, WeightSet >::is_lat, project_context< Tape, context< LabelSet, WeightSet >>> |
The resulting apparent context when keeping only tape Tape. More... | |
template<size_t Tape, typename Context > | |
auto | vcsn::detail::make_project (const expressionset< Context > &rs) -> expressionset< decltype(make_project_context< Tape >(rs.context()))> |
template<typename Context , typename Tape > | |
context | vcsn::dyn::detail::project_context (const context &ctx, integral_constant) |
Bridge (project). More... | |