![]() |
Vcsn
2.1
Be Rational
|
#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>
Go to the source code of this file.
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... | |
#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 | ) |
Definition at line 524 of file expressionset.hh.