Vcsn  2.3
Be Rational
wordset.hh File Reference
#include <memory>
#include <set>
#include <boost/range/algorithm/mismatch.hpp>
#include <boost/algorithm/string/predicate.hpp>
#include <vcsn/core/kind.hh>
#include <vcsn/labelset/fwd.hh>
#include <vcsn/labelset/genset-labelset.hh>
#include <vcsn/labelset/labelset.hh>
#include <vcsn/labelset/letterset.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/functional.hh>
#include <vcsn/misc/raise.hh>
Include dependency graph for wordset.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::wordset< GenSet >
 Implementation of labels are words. More...
 
struct  vcsn::detail::letterized_traits< wordset< GenSet > >
 Conversion to letterized. More...
 
struct  vcsn::detail::nullableset_traits< wordset< GenSet > >
 wordset is already a nullableset. More...
 
struct  vcsn::detail::law_traits< wordset< GenSet > >
 
struct  vcsn::detail::join_impl< letterset< GenSet >, wordset< GenSet > >
 The join with another labelset. More...
 
struct  vcsn::detail::join_impl< nullableset< letterset< GenSet > >, wordset< GenSet > >
 
struct  vcsn::detail::join_impl< wordset< GenSet >, wordset< GenSet > >
 

Namespaces

 vcsn
 
 vcsn::detail
 

Macros

#define DEFINE(Lhs, Rhs)
 Declare that Lhs v Rhs => Rhs (on the union of alphabets). More...
 

Functions

template<typename GenSet >
wordset< GenSet > vcsn::meet (const wordset< GenSet > &lhs, const wordset< GenSet > &rhs)
 Compute the meet with another alphabet. More...
 

Macro Definition Documentation

#define DEFINE (   Lhs,
  Rhs 
)
Value:
template <typename GenSet> \
struct join_impl<Lhs, Rhs> \
{ \
using type = Rhs; \
static type join(const Lhs& lhs, const Rhs& rhs) \
{ \
return {set_union(*lhs.genset(), *rhs.genset())}; \
} \
}
context join(const context &c1, const context &c2)
Bridge.
Container set_union(const Container &s1, const Container &s2)
The union of two sets.
Definition: algorithm.hh:217

Declare that Lhs v Rhs => Rhs (on the union of alphabets).

Definition at line 370 of file wordset.hh.