ratexpset.hh File Reference

#include <set>
#include <string>
#include <vcsn/core/rat/identities.hh>
#include <vcsn/core/rat/printer.hh>
#include <vcsn/core/rat/ratexp.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/q.hh>
#include <vcsn/weightset/r.hh>
#include <vcsn/weightset/z.hh>
#include <vcsn/weightset/zmin.hh>
#include <vcsn/core/rat/ratexpset.hxx>
#include <vcsn/algos/is-valid-ratexp.hh>

Include dependency graph for ratexpset.hh:

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

Go to the source code of this file.

Classes
class	vcsn::rat::ratexpset_impl< Context >
	A typed ratexp set. More...
struct	vcsn::detail::nullableset_traits< ratexpset< Ctx > >
	Conversion to a nullableset: identity. More...
struct	vcsn::detail::law_traits< ratexpset< Ctx > >
	Conversion to a wordset: identity. More...
struct	vcsn::detail::join_impl< ratexpset< Ctx1 >, ratexpset< Ctx2 > >
	The join of two ratexpsets. More...
struct	vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >
	Join of a letterset and a ratexpset. More...
struct	vcsn::detail::join_impl< b, ratexpset< Context > >
struct	vcsn::detail::join_impl< z, ratexpset< Context > >
struct	vcsn::detail::join_impl< q, ratexpset< Context > >
struct	vcsn::detail::join_impl< r, ratexpset< Context > >
struct	vcsn::detail::join_impl< zmin, ratexpset< Context > >

Namespaces
	vcsn
	vcsn::rat
	vcsn::detail

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

Functions
template<typename Context >
ratexpset< Context >	vcsn::make_ratexpset (const Context &ctx, rat::identities identities)
	Shorthand to ratexpset constructor. More...
template<typename Ctx1 , typename Ctx2 >
auto	vcsn::meet (const ratexpset< Ctx1 > &a, const ratexpset< Ctx2 > &b) -> ratexpset< meet_t< Ctx1, Ctx2 >>
	The meet of two ratexpsets. More...

Macro Definition Documentation

#define DEFINE

(

Type

)

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

Type of ratexps.

Definition at line 48 of file ratexpset.hh.