expressionset.hh File Reference

#include <set>
#include <string>
#include <vcsn/core/rat/identities.hh>
#include <vcsn/core/rat/printer.hh>
#include <vcsn/core/rat/expression.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/labelset/labelset.hh>
#include <vcsn/labelset/letterset.hh>
#include <vcsn/labelset/oneset.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/misc/star-status.hh>
#include <vcsn/weightset/b.hh>
#include <vcsn/weightset/nmin.hh>
#include <vcsn/weightset/q.hh>
#include <vcsn/weightset/r.hh>
#include <vcsn/weightset/z.hh>
#include <vcsn/weightset/zmin.hh>
#include <vcsn/core/rat/expressionset.hxx>
#include <vcsn/algos/is-valid-expression.hh>

Include dependency graph for expressionset.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	vcsn::rat::expressionset_impl< Context >
	A typed expression set. More...
struct	vcsn::rat::expressionset_impl< Context >::as_tupleset_impl< Sequence >
struct	vcsn::rat::expressionset_impl< Context >::as_tupleset_impl< detail::index_sequence< I...> >
struct	vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >
	Turn a tuple of expressions that are labels into a multi-tape label. More...
struct	vcsn::detail::nullableset_traits< expressionset< Ctx > >
	Conversion to a nullableset: identity. More...
struct	vcsn::detail::law_traits< expressionset< Ctx > >
	Conversion to a wordset: identity. More...
struct	vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >
	The join of two expressionsets. More...
struct	vcsn::detail::join_impl< letterset< GenSet1 >, expressionset< Ctx2 > >
	Join of a letterset and an expressionset. More...
struct	vcsn::detail::join_impl< b, expressionset< Context > >
struct	vcsn::detail::join_impl_simple< W1, W2 >
struct	vcsn::detail::join_impl_simple< WeightSet, expressionset< Context > >
struct	vcsn::detail::join_impl< z, expressionset< Context > >
struct	vcsn::detail::join_impl< q, expressionset< Context > >
struct	vcsn::detail::join_impl< r, expressionset< Context > >
struct	vcsn::detail::join_impl< zmin, expressionset< Context > >

Namespaces
	vcsn
	vcsn::rat
	vcsn::detail

Macros
#define	DEFINE(Type)   using Type ## _t = vcsn::rat::Type<context_t>
	Type of expressions. More...
#define	JOIN_IMPL_SIMPLE(WS)

Functions
template<typename Context >
expressionset< Context >	vcsn::make_expressionset (const Context &ctx, rat::identities identities={})
	Shorthand to expressionset constructor. More...
template<typename Ctx1 , typename Ctx2 >
auto	vcsn::meet (const expressionset< Ctx1 > &a, const expressionset< Ctx2 > &b) -> expressionset< meet_t< Ctx1, Ctx2 >>
	The meet of two expressionsets. More...

Macro Definition Documentation

#define DEFINE

(

Type

)

using Type ## _t = vcsn::rat::Type<context_t>

Type of expressions.

Definition at line 50 of file expressionset.hh.

#define JOIN_IMPL_SIMPLE

(

WS

)

Value:

template <typename Context>                                 \
    struct join_impl<WS, expressionset<Context>>                \
      : public join_impl_simple<WS, expressionset<Context>>     \
    {};

Definition at line 524 of file expressionset.hh.