![]() |
Vcsn
2.3a
Be Rational
|
#include <set>
#include <string>
#include <vcsn/core/rat/expression.hh>
#include <vcsn/core/rat/identities.hh>
#include <vcsn/core/rat/printer.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/project.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 LabelSet , typename WeightSet > | |
auto | vcsn::make_expressionset (const context< LabelSet, WeightSet > &ctx, rat::identities ids={}) -> expressionset< context< LabelSet, WeightSet >> |
Shorthand to expressionset constructor. More... | |
template<typename Context > | |
auto | vcsn::make_expressionset (const expressionset< Context > &rs, rat::identities ids={}) -> expressionset< Context > |
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... | |
template<typename Context , typename RandomGenerator = std::default_random_engine> | |
expressionset< Context >::value_t | vcsn::random_label (const expressionset< Context > &rs, RandomGenerator &gen=RandomGenerator()) |
Random label from expressionset: limited to a single label. More... | |
#define DEFINE | ( | Type | ) | using Type ## _t = vcsn::rat::Type<context_t> |
Type of expressions.
Definition at line 65 of file expressionset.hh.
#define JOIN_IMPL_SIMPLE | ( | WS | ) |
Definition at line 580 of file expressionset.hh.