Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
context.hh File Reference
#include <cassert>
#include <memory>
#include <string>
#include <vcsn/core/join.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/core/rat/fwd.hh>
#include <vcsn/ctx/fwd.hh>
#include <vcsn/misc/stream.hh>
#include <vcsn/misc/symbol.hh>
Include dependency graph for context.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::context< LabelSet, WeightSet >
 
struct  vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >
 The join of two contexts. More...
 

Namespaces

 vcsn
 
 vcsn::detail
 

Typedefs

template<typename... ValueSets>
using vcsn::meet_t = decltype(meet(std::declval< ValueSets >()...))
 

Functions

template<typename LabelSet , typename WeightSet >
context< LabelSet, WeightSetvcsn::make_context (const LabelSet &ls, const WeightSet &ws)
 Shorthand to build a context. More...
 
template<typename ValueSet >
auto vcsn::meet (const ValueSet &vs) -> ValueSet
 The meet of a single valueset. More...
 
template<typename ValueSet1 , typename ValueSet2 , typename ValueSet3 , typename... VSs>
auto vcsn::meet (const ValueSet1 &vs1, const ValueSet2 &vs2, const ValueSet3 &vs3, const VSs &...vs) -> decltype(meet(meet(vs1, vs2), vs3, vs...))
 
template<typename LhsLabelSet , typename LhsWeightSet , typename RhsLabelSet , typename RhsWeightSet >
auto vcsn::meet (const context< LhsLabelSet, LhsWeightSet > &a, const context< RhsLabelSet, RhsWeightSet > &b) -> context< meet_t< LhsLabelSet, RhsLabelSet >, join_t< LhsWeightSet, RhsWeightSet >>
 The meet of two contexts. More...