Vcsn  2.2
Be Rational
Classes | Public Types | Public Member Functions | Static Public Member Functions | Private Member Functions | Static Private Member Functions | Private Attributes | List of all members
vcsn::rat::expressionset_impl< Context > Class Template Reference

A typed expression set. More...

#include <expressionset.hh>

Collaboration diagram for vcsn::rat::expressionset_impl< Context >:

Classes

struct  as_tupleset_impl
 
struct  as_tupleset_impl< detail::index_sequence< I... > >
 
struct  tuple_of_label
 Turn a tuple of expressions that are labels into a multi-tape label. More...
 

Public Types

using self_t = expressionset< Context >
 
using context_t = Context
 
using labelset_t = labelset_t_of< context_t >
 
using weightset_t = weightset_t_of< context_t >
 
using kind_t = labels_are_expressions
 
using labelset_ptr = typename context_t::labelset_ptr
 
using weightset_ptr = typename context_t::weightset_ptr
 
using label_t = label_t_of< context_t >
 
using weight_t = typename weightset_t::value_t
 
using identities_t = rat::identities
 
using const_visitor = rat::const_visitor< context_t >
 
using atom_t = vcsn::rat::atom< context_t >
 
using complement_t = vcsn::rat::complement< context_t >
 
using conjunction_t = vcsn::rat::conjunction< context_t >
 
using infiltration_t = vcsn::rat::infiltration< context_t >
 
using inner_t = vcsn::rat::inner< context_t >
 
using ldiv_t = vcsn::rat::ldiv< context_t >
 
using leaf_t = vcsn::rat::leaf< context_t >
 
using lweight_t = vcsn::rat::lweight< context_t >
 
using node_t = vcsn::rat::node< context_t >
 
using one_t = vcsn::rat::one< context_t >
 
using prod_t = vcsn::rat::prod< context_t >
 
using rweight_t = vcsn::rat::rweight< context_t >
 
using shuffle_t = vcsn::rat::shuffle< context_t >
 
using star_t = vcsn::rat::star< context_t >
 
using sum_t = vcsn::rat::sum< context_t >
 
using transposition_t = vcsn::rat::transposition< context_t >
 
using tuple_t = vcsn::rat::tuple< context_t >
 
using zero_t = vcsn::rat::zero< context_t >
 
using value_t = typename node_t::value_t
 An expression (a shared pointer to a tree). More...
 
using type_t = typename node_t::type_t
 Type tag for AST classes. More...
 
using values_t = typename node_t::values_t
 A list (vector) of expressions. More...
 
template<type_t Type>
using unary_t = unary< Type, context_t >
 
template<type_t Type>
using variadic_t = variadic< Type, context_t >
 
using word_t = value_t
 
using letter_t = value_t
 
template<unsigned Tape, typename Ctx = context_t>
using project_t = expressionset< detail::project_context< Tape, Ctx >>
 The type of the expressionset for the Tape-th tape. More...
 
template<typename Ctx = context_t>
using as_tupleset_t = typename as_tupleset_impl< typename labelset_t_of< Ctx >::indices_t::type >::type
 If we are multitape, our type as a tupleset. More...
 

Public Member Functions

 expressionset_impl (const context_t &ctx, identities_t ids={})
 Constructor. More...
 
bool open (bool o) const
 Whether unknown letters should be added, or rejected. More...
 
const context_t & context () const
 Accessor to the context. More...
 
identities_t identities () const
 Accessor to the identities set. More...
 
const labelset_ptr & labelset () const
 Accessor to the labelset. More...
 
const weightset_ptr & weightset () const
 Accessor to the weightset. More...
 
bool is_letter (value_t) const
 When used as a LabelSet. More...
 
bool is_zero (const value_t &v) const ATTRIBUTE_PURE
 Whether v is the \z. More...
 
bool is_universal (const value_t &v) const ATTRIBUTE_PURE
 Whether v is the 0{c}. More...
 
template<typename GenSet >
auto conv (const letterset< GenSet > &ls, typename letterset< GenSet >::value_t v) const -> value_t
 
auto conv (b, typename b::value_t v) const -> value_t
 
auto conv (const z &ws, typename z::value_t v) const -> value_t
 
auto conv (const q &ws, typename q::value_t v) const -> value_t
 
auto conv (const r &ws, typename r::value_t v) const -> value_t
 
auto conv (const nmin &ws, typename nmin::value_t v) const -> value_t
 
auto conv (const zmin &ws, typename zmin::value_t v) const -> value_t
 
template<typename Ctx2 >
auto conv (const expressionset< Ctx2 > &ws, typename expressionset< Ctx2 >::value_t v) const -> value_t
 
auto zero () const -> value_t
 
auto add (const value_t &l, const value_t &r) const -> value_t
 
auto mul (const value_t &l, const value_t &r) const -> value_t
 
auto concat (const value_t &l, const value_t &r) const -> value_t
 Similar to mul, but in the case of LAW, merge the labels. More...
 
auto conjunction (const value_t &l, const value_t &r) const -> value_t
 
auto infiltration (const value_t &l, const value_t &r) const -> value_t
 
auto shuffle (const value_t &l, const value_t &r) const -> value_t
 
template<typename... Value>
auto tuple (Value &&...v) const -> value_t
 
auto power (const value_t &e, unsigned n) const -> value_t
 Add a power operator. More...
 
auto ldiv (const value_t &l, const value_t &r) const -> value_t
 
auto rdiv (const value_t &l, const value_t &r) const -> value_t
 
auto star (const value_t &e) const -> value_t
 
auto complement (const value_t &e) const -> value_t
 Add a complement operator. More...
 
auto transposition (const value_t &e) const -> value_t
 Add a transposition operator. More...
 
auto rmul (const value_t &e, const weight_t &w) const -> value_t
 Right-multiplication by a weight. More...
 
auto lmul (const weight_t &w, const value_t &e) const -> value_t
 Left-multiplication by a weight. More...
 
auto transpose (const value_t &e) const -> value_t
 The transposed of this rational expression. More...
 
auto word (label_t l) const -> word_t
 Make a `word' out of an expression. More...
 
template<typename... Args>
auto letter_class (Args &&...chars) const -> value_t
 An expression matching one character amongst chars. More...
 
auto conv (std::istream &is, bool=true) const -> value_t
 The next expression in a stream. More...
 
auto conv (const self_t &, const value_t &v) const -> value_t
 Convert from ourself: identity. More...
 
auto print (const value_t &v, std::ostream &o, format fmt={}) const -> std::ostream &
 
auto print_set (std::ostream &o, format fmt={}) const -> std::ostream &
 Format the description of this expressionset. More...
 
template<typename Ctx = context_t>
auto as_tupleset () const -> std::enable_if_t< Ctx::is_lat, as_tupleset_t< Ctx >>
 If we are multitape, ourself as a tupleset. More...
 
template<typename expressionset_impl< Context >::type_t Type>
auto gather_ (values_t &res, const value_t &v) const -> void
 
template<typename expressionset_impl< Context >::type_t Type>
auto gather_ (const value_t &l, const value_t &r) const -> values_t
 
template<typename LabelSet_ >
auto letter_class_ (std::set< std::pair< typename LabelSet_::letter_t, typename LabelSet_::letter_t >> ccs, bool accept, std::false_type) const -> value_t
 
template<typename LabelSet_ , typename... Args>
auto letter_class_ (const Args &&..., std::true_type) const -> value_t
 

Static Public Member Functions

static symbol sname ()
 Static description key. More...
 
static self_t make (std::istream &is)
 Build from the description in is. More...
 
static value_t special ()
 When used as a LabelSet. More...
 
static bool is_special (const value_t &v)
 When used as a LabelSet. More...
 
static bool is_one (const value_t &v) ATTRIBUTE_PURE
 Whether v is the \e. More...
 
static constexpr bool is_letterized ()
 When used as a labelset. More...
 
static constexpr bool is_commutative ()
 When used as WeightSet. More...
 
static constexpr bool is_idempotent ()
 When used as WeightSet. More...
 
static constexpr bool show_one ()
 When used as WeightSet. More...
 
static constexpr bool has_lightening_weights ()
 When used as WeightSet. More...
 
static constexpr bool has_one ()
 When used as WeightSet. More...
 
static constexpr bool is_expressionset ()
 When used as WeightSet. More...
 
static constexpr bool is_free ()
 When used as WeightSet. More...
 
static constexpr star_status_t star_status ()
 When used as WeightSet. More...
 
static size_t size (const value_t &v)
 The size of v. More...
 
static bool less (const value_t &l, const value_t &r)
 Whether l < r. More...
 
static bool less_linear (const value_t &l, const value_t &r)
 Whether l < r, ignoring lweight. More...
 
static bool equal (const value_t &l, const value_t &r)
 Whether l == r. More...
 
static size_t hash (const value_t &v)
 Hash v. More...
 
static auto atom (const label_t &v) -> value_t
 Build a label. More...
 
static auto one () -> value_t
 
template<typename Fun >
static void convs (std::istream &, Fun)
 Read a range of expressions. More...
 

Private Member Functions

const self_t & self () const
 Ourself, but after the application of weightset_mixin. More...
 
auto add_ (values_t &&vs) const -> value_t
 From a list of values, build a sum, taking care of the empty and singleton cases. More...
 
auto add_linear_ (const sum_t &addends, const value_t &r) const -> value_t
 
auto add_linear_ (const sum_t &s1, const sum_t &s2) const -> value_t
 
auto add_linear_ (const value_t &l, const value_t &r) const -> value_t
 The sum of two non-zero series. More...
 
template<type_t Type>
void gather_ (values_t &res, const value_t &v) const
 Push v in res, applying associativity if possible. More...
 
template<type_t Type>
values_t gather_ (const value_t &l, const value_t &r) const
 A list denoting the gathering of l and r, applying associativity if possible. More...
 
auto concat_ (const value_t &l, const value_t &r, std::true_type) const -> value_t
 If labelset is wordset. More...
 
auto concat_ (const value_t &l, const value_t &r, std::false_type) const -> value_t
 If labelset is not wordset. More...
 
template<typename LabelSet_ , typename... Args>
auto letter_class_ (const Args &&...chars, std::true_type) const -> value_t
 If labelset is oneset. More...
 
template<typename LabelSet_ >
value_t letter_class_ (std::set< std::pair< typename LabelSet_::letter_t, typename LabelSet_::letter_t >> chars, bool accept, std::false_type) const
 If labelset is not oneset. More...
 

Static Private Member Functions

static auto unwrap_possible_lweight_ (const value_t &e) -> value_t
 If e is an lweight, then its child, otherwise e. More...
 
static type_t type_ignoring_lweight_ (const value_t &e)
 The type of e, or the type of its child if e is a lweight. More...
 
static weight_t possibly_implicit_lweight_ (const value_t &e)
 The weight of e if it's an lweight, otherwise the weight one(). More...
 

Private Attributes

context_t ctx_
 The context of the expressions. More...
 
const identities_t ids_
 The set of rewriting rules to apply. More...
 

Detailed Description

template<typename Context>
class vcsn::rat::expressionset_impl< Context >

A typed expression set.

Template Parameters
Contextthe LabelSet and WeightSet types.

Definition at line 29 of file expressionset.hh.

Member Typedef Documentation

template<typename Context >
template<typename Ctx = context_t>
using vcsn::rat::expressionset_impl< Context >::as_tupleset_t = typename as_tupleset_impl<typename labelset_t_of<Ctx>::indices_t::type>::type

If we are multitape, our type as a tupleset.

Definition at line 327 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::atom_t = vcsn::rat:: atom <context_t>

Definition at line 51 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::complement_t = vcsn::rat:: complement <context_t>

Definition at line 52 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::conjunction_t = vcsn::rat:: conjunction <context_t>

Definition at line 53 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::const_visitor = rat::const_visitor<context_t>

Definition at line 42 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::context_t = Context

Definition at line 33 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::identities_t = rat::identities

Definition at line 41 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::infiltration_t = vcsn::rat:: infiltration <context_t>

Definition at line 54 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::inner_t = vcsn::rat:: inner <context_t>

Definition at line 55 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::kind_t = labels_are_expressions

Definition at line 36 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::label_t = label_t_of<context_t>

Definition at line 39 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::labelset_ptr = typename context_t::labelset_ptr

Definition at line 37 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::labelset_t = labelset_t_of<context_t>

Definition at line 34 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::ldiv_t = vcsn::rat:: ldiv <context_t>

Definition at line 56 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::leaf_t = vcsn::rat:: leaf <context_t>

Definition at line 57 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::letter_t = value_t

Definition at line 84 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::lweight_t = vcsn::rat:: lweight <context_t>

Definition at line 58 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::node_t = vcsn::rat:: node <context_t>

Definition at line 59 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::one_t = vcsn::rat:: one <context_t>

Definition at line 60 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::prod_t = vcsn::rat:: prod <context_t>

Definition at line 61 of file expressionset.hh.

template<typename Context >
template<unsigned Tape, typename Ctx = context_t>
using vcsn::rat::expressionset_impl< Context >::project_t = expressionset<detail::project_context<Tape, Ctx>>

The type of the expressionset for the Tape-th tape.

Definition at line 306 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::rweight_t = vcsn::rat:: rweight <context_t>

Definition at line 62 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::self_t = expressionset<Context>

Definition at line 32 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::shuffle_t = vcsn::rat:: shuffle <context_t>

Definition at line 63 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::star_t = vcsn::rat:: star <context_t>

Definition at line 64 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::sum_t = vcsn::rat:: sum <context_t>

Definition at line 65 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::transposition_t = vcsn::rat:: transposition <context_t>

Definition at line 66 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::tuple_t = vcsn::rat:: tuple <context_t>

Definition at line 67 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::type_t = typename node_t::type_t

Type tag for AST classes.

Definition at line 74 of file expressionset.hh.

template<typename Context >
template<type_t Type>
using vcsn::rat::expressionset_impl< Context >::unary_t = unary<Type, context_t>

Definition at line 79 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::value_t = typename node_t::value_t

An expression (a shared pointer to a tree).

Definition at line 72 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::values_t = typename node_t::values_t

A list (vector) of expressions.

Definition at line 76 of file expressionset.hh.

template<typename Context >
template<type_t Type>
using vcsn::rat::expressionset_impl< Context >::variadic_t = variadic<Type, context_t>

Definition at line 81 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::weight_t = typename weightset_t::value_t

Definition at line 40 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::weightset_ptr = typename context_t::weightset_ptr

Definition at line 38 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::weightset_t = weightset_t_of<context_t>

Definition at line 35 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::word_t = value_t

Definition at line 83 of file expressionset.hh.

template<typename Context >
using vcsn::rat::expressionset_impl< Context >::zero_t = vcsn::rat:: zero <context_t>

Definition at line 68 of file expressionset.hh.

Constructor & Destructor Documentation

template<typename Context >
vcsn::rat::expressionset_impl< Context >::expressionset_impl ( const context_t &  ctx,
identities_t  ids = {} 
)

Constructor.

Parameters
ctxthe generator set for the labels, and the weight set.
idsthe identities to guarantee

Definition at line 29 of file expressionset.hxx.

References vcsn::rat::expressionset_impl< Context >::ids_, vcsn::rat::identities::is_distributive(), vcsn::require(), and vcsn::rat::expressionset_impl< Context >::weightset().

Here is the call graph for this function:

Member Function Documentation

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::add ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 195 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::add_ ( values_t &&  vs) const -> value_t
inlineprivate

From a list of values, build a sum, taking care of the empty and singleton cases.

Definition at line 253 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::add_linear_ ( const sum_t &  addends,
const value_t &  r 
) const -> value_t
inlineprivate

Definition at line 220 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::add_linear_ ( const sum_t &  s1,
const sum_t &  s2 
) const -> value_t
inlineprivate

Definition at line 264 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::add_linear_ ( const value_t &  l,
const value_t &  r 
) const -> value_t
inlineprivate

The sum of two non-zero series.

Precondition
!is_zero(l)
!is_zero(r)

Definition at line 306 of file expressionset.hxx.

template<typename Context >
template<typename Ctx = context_t>
auto vcsn::rat::expressionset_impl< Context >::as_tupleset ( ) const -> std::enable_if_t<Ctx::is_lat, as_tupleset_t<Ctx>>
inline

If we are multitape, ourself as a tupleset.

Definition at line 331 of file expressionset.hh.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::atom ( const label_t &  v) -> value_t
inlinestatic

Build a label.

Definition at line 139 of file expressionset.hxx.

Referenced by vcsn::rat::expressionset_impl< Context >::special().

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::complement ( const value_t &  e) const -> value_t
inline

Add a complement operator.

Definition at line 735 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::concat ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Similar to mul, but in the case of LAW, merge the labels.

Mul(word(a),word(b)) -> prod(word(a), word(b))

but

Concat(word(a),word(b)) -> word(ab)

In other case, synonym for mul.

Definition at line 654 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::concat_ ( const value_t &  l,
const value_t &  r,
std::true_type   
) const -> value_t
inlineprivate

If labelset is wordset.

Definition at line 670 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::concat_ ( const value_t &  l,
const value_t &  r,
std::false_type   
) const -> value_t
inlineprivate

If labelset is not wordset.

Definition at line 663 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conjunction ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 420 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::context ( ) const
inline

Accessor to the context.

Definition at line 119 of file expressionset.hxx.

template<typename Context >
template<typename GenSet >
auto vcsn::rat::expressionset_impl< Context >::conv ( const letterset< GenSet > &  ls,
typename letterset< GenSet >::value_t  v 
) const -> value_t
inline

Definition at line 941 of file expressionset.hxx.

References vcsn::conv(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( b  ,
typename b::value_t  v 
) const -> value_t
inline

Definition at line 948 of file expressionset.hxx.

References vcsn::detail::v.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( const z &  ws,
typename z::value_t  v 
) const -> value_t
inline

Definition at line 954 of file expressionset.hxx.

References vcsn::conv(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( const q &  ws,
typename q::value_t  v 
) const -> value_t
inline

Definition at line 960 of file expressionset.hxx.

References vcsn::conv(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( const r &  ws,
typename r::value_t  v 
) const -> value_t
inline

Definition at line 966 of file expressionset.hxx.

References vcsn::conv(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( const nmin &  ws,
typename nmin::value_t  v 
) const -> value_t
template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( const zmin &  ws,
typename zmin::value_t  v 
) const -> value_t
inline

Definition at line 972 of file expressionset.hxx.

References vcsn::conv(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
template<typename Ctx2 >
auto vcsn::rat::expressionset_impl< Context >::conv ( const expressionset< Ctx2 > &  ws,
typename expressionset< Ctx2 >::value_t  v 
) const -> value_t
inline

Definition at line 982 of file expressionset.hxx.

References vcsn::rat::copy(), and vcsn::detail::rs.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( std::istream &  is,
bool  = true 
) const -> value_t
inline

The next expression in a stream.

Definition at line 990 of file expressionset.hxx.

References vcsn::dyn::detail::identities(), vcsn::dyn::make_context(), and vcsn::dyn::read_expression().

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::conv ( const self_t &  rs,
const value_t &  v 
) const -> value_t
inline

Convert from ourself: identity.

Definition at line 928 of file expressionset.hxx.

References vcsn::rat::copy(), vcsn::detail::rs, and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
template<typename Fun >
static void vcsn::rat::expressionset_impl< Context >::convs ( std::istream &  ,
Fun   
)
inlinestatic

Read a range of expressions.

Definition at line 291 of file expressionset.hh.

References vcsn::rat::expressionset_impl< Context >::sname().

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::equal ( const value_t &  l,
const value_t &  r 
)
inlinestatic

Whether l == r.

Definition at line 915 of file expressionset.hxx.

Referenced by vcsn::rat::expressionset_impl< Context >::is_special().

template<typename Context >
template<typename expressionset_impl< Context >::type_t Type>
auto vcsn::rat::expressionset_impl< Context >::gather_ ( values_t &  res,
const value_t &  v 
) const -> void
inline

Definition at line 164 of file expressionset.hxx.

template<typename Context >
template<typename expressionset_impl< Context >::type_t Type>
auto vcsn::rat::expressionset_impl< Context >::gather_ ( const value_t &  l,
const value_t &  r 
) const -> values_t
inline

Definition at line 178 of file expressionset.hxx.

template<typename Context >
template<type_t Type>
void vcsn::rat::expressionset_impl< Context >::gather_ ( values_t &  res,
const value_t &  v 
) const
private

Push v in res, applying associativity if possible.

Template Parameters
Typethe kind of expressions on which to apply associativity. Must be one of the variadic types.
template<typename Context >
template<type_t Type>
values_t vcsn::rat::expressionset_impl< Context >::gather_ ( const value_t &  l,
const value_t &  r 
) const
private

A list denoting the gathering of l and r, applying associativity if possible.

Template Parameters
Typethe kind of expressions on which to apply associativity. Must be one of the variadic types.
template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::has_lightening_weights ( )
inlinestatic

When used as WeightSet.

Definition at line 171 of file expressionset.hh.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::has_one ( )
inlinestatic

When used as WeightSet.

Definition at line 177 of file expressionset.hh.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::hash ( const value_t &  v)
inlinestatic

Hash v.

Definition at line 921 of file expressionset.hxx.

References vcsn::detail::hasher(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::identities ( ) const
inline

Accessor to the identities set.

Definition at line 124 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::infiltration ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 530 of file expressionset.hxx.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::is_commutative ( )
inlinestatic

When used as WeightSet.

Definition at line 151 of file expressionset.hh.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::is_expressionset ( )
inlinestatic

When used as WeightSet.

Definition at line 183 of file expressionset.hh.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::is_free ( )
inlinestatic

When used as WeightSet.

Definition at line 189 of file expressionset.hh.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::is_idempotent ( )
inlinestatic

When used as WeightSet.

Definition at line 157 of file expressionset.hh.

template<typename Context >
bool vcsn::rat::expressionset_impl< Context >::is_letter ( value_t  ) const
inline

When used as a LabelSet.

Definition at line 126 of file expressionset.hh.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::is_letterized ( )
inlinestatic

When used as a labelset.

Definition at line 145 of file expressionset.hh.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::is_one ( const value_t &  v)
inlinestatic

Whether v is the \e.

Used when used as WeightSet.

Definition at line 882 of file expressionset.hxx.

References vcsn::rat::one, and vcsn::detail::v.

template<typename Context >
static bool vcsn::rat::expressionset_impl< Context >::is_special ( const value_t &  v)
inlinestatic

When used as a LabelSet.

Definition at line 120 of file expressionset.hh.

References vcsn::rat::expressionset_impl< Context >::equal(), and vcsn::rat::expressionset_impl< Context >::special().

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::is_universal ( const value_t &  v) const
inline

Whether v is the 0{c}.

Definition at line 888 of file expressionset.hxx.

References vcsn::rat::complement, and vcsn::detail::v.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::is_zero ( const value_t &  v) const
inline

Whether v is the \z.

Used when used as WeightSet.

Definition at line 876 of file expressionset.hxx.

References vcsn::detail::v, and vcsn::rat::zero.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::labelset ( ) const
inline

Accessor to the labelset.

Definition at line 129 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::ldiv ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 477 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::less ( const value_t &  l,
const value_t &  r 
)
inlinestatic

Whether l < r.

Definition at line 901 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::less_linear ( const value_t &  l,
const value_t &  r 
)
inlinestatic

Whether l < r, ignoring lweight.

Typically used for linear identities, where <2>a and <3>a are "equal" and should be merged into <5>a.

Definition at line 908 of file expressionset.hxx.

template<typename Context >
template<typename... Args>
auto vcsn::rat::expressionset_impl< Context >::letter_class ( Args &&...  chars) const -> value_t
inline

An expression matching one character amongst chars.

Definition at line 1022 of file expressionset.hxx.

template<typename Context >
template<typename LabelSet_ , typename... Args>
auto vcsn::rat::expressionset_impl< Context >::letter_class_ ( const Args &&...  chars,
std::true_type   
) const -> value_t
private

If labelset is oneset.

template<typename Context >
template<typename LabelSet_ >
value_t vcsn::rat::expressionset_impl< Context >::letter_class_ ( std::set< std::pair< typename LabelSet_::letter_t, typename LabelSet_::letter_t >>  chars,
bool  accept,
std::false_type   
) const
private

If labelset is not oneset.

template<typename Context >
template<typename LabelSet_ >
auto vcsn::rat::expressionset_impl< Context >::letter_class_ ( std::set< std::pair< typename LabelSet_::letter_t, typename LabelSet_::letter_t >>  ccs,
bool  accept,
std::false_type   
) const -> value_t
inline

Definition at line 1034 of file expressionset.hxx.

References vcsn::has(), vcsn::require(), vcsn::rat::to_string(), and VCSN_REQUIRE.

Here is the call graph for this function:

template<typename Context >
template<typename LabelSet_ , typename... Args>
auto vcsn::rat::expressionset_impl< Context >::letter_class_ ( const Args &&  ...,
std::true_type   
) const -> value_t
inline

Definition at line 1096 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::lmul ( const weight_t &  w,
const value_t &  e 
) const -> value_t
inline

Left-multiplication by a weight.

Definition at line 794 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::make ( std::istream &  is)
inlinestatic

Build from the description in is.

Definition at line 52 of file expressionset.hxx.

References vcsn::rat::ctx(), vcsn::eat(), vcsn::rat::ids(), and is.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::mul ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 358 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::one ( ) -> value_t
inlinestatic

Definition at line 154 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::open ( bool  o) const
inline

Whether unknown letters should be added, or rejected.

Parameters
owhether to accept unknown letters
Returns
the previous status.

Definition at line 113 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::possibly_implicit_lweight_ ( const value_t &  e)
inlinestaticprivate

The weight of e if it's an lweight, otherwise the weight one().

static because used by less.

Definition at line 340 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::power ( const value_t &  e,
unsigned  n 
) const -> value_t
inline

Add a power operator.

Definition at line 593 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::print ( const value_t &  v,
std::ostream &  o,
format  fmt = {} 
) const -> std::ostream&
inline

Definition at line 1002 of file expressionset.hxx.

References vcsn::rat::make_printer(), vcsn::print(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::print_set ( std::ostream &  o,
format  fmt = {} 
) const -> std::ostream&
inline

Format the description of this expressionset.

Definition at line 69 of file expressionset.hxx.

References vcsn::dyn::detail::identities(), vcsn::rat::identities::is_distributive(), vcsn::format::latex, and vcsn::format::sname.

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::rdiv ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 502 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::rmul ( const value_t &  e,
const weight_t &  w 
) const -> value_t
inline

Right-multiplication by a weight.

Definition at line 833 of file expressionset.hxx.

template<typename Context >
const self_t& vcsn::rat::expressionset_impl< Context >::self ( ) const
inlineprivate

Ourself, but after the application of weightset_mixin.

FIXME: this is ugly. It is due to the fact that instead of the CRTP, we used a mixin approach to add features to expressionset as opposed to expressionset_impl. Except that here, we have an expression_impl, and we need the expression. So after all, maybe the CRTP is a better approach.

Cannot be a reference member, as we do support assignments, in which case the copied self would point to the original this.

Definition at line 348 of file expressionset.hh.

template<typename Context >
static constexpr bool vcsn::rat::expressionset_impl< Context >::show_one ( )
inlinestatic

When used as WeightSet.

Definition at line 165 of file expressionset.hh.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::shuffle ( const value_t &  l,
const value_t &  r 
) const -> value_t
inline

Definition at line 560 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::size ( const value_t &  v)
inlinestatic

The size of v.

Definition at line 895 of file expressionset.hxx.

References vcsn::detail::v.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::sname ( )
inlinestatic

Static description key.

Definition at line 44 of file expressionset.hxx.

References vcsn::sname().

Referenced by vcsn::rat::expressionset_impl< Context >::convs().

Here is the call graph for this function:

template<typename Context >
static value_t vcsn::rat::expressionset_impl< Context >::special ( )
inlinestatic

When used as a LabelSet.

Definition at line 114 of file expressionset.hh.

References vcsn::rat::expressionset_impl< Context >::atom().

Referenced by vcsn::rat::expressionset_impl< Context >::is_special().

Here is the call graph for this function:

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::star ( const value_t &  e) const -> value_t
inline

Definition at line 716 of file expressionset.hxx.

template<typename Context >
static constexpr star_status_t vcsn::rat::expressionset_impl< Context >::star_status ( )
inlinestatic

When used as WeightSet.

Definition at line 195 of file expressionset.hh.

References vcsn::STARRABLE.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::transpose ( const value_t &  e) const -> value_t
inline

The transposed of this rational expression.

Definition at line 1011 of file expressionset.hxx.

References vcsn::detail::v.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::transposition ( const value_t &  e) const -> value_t
inline

Add a transposition operator.

Definition at line 765 of file expressionset.hxx.

template<typename Context >
template<typename... Value>
auto vcsn::rat::expressionset_impl< Context >::tuple ( Value &&...  v) const -> value_t

Definition at line 511 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::type_ignoring_lweight_ ( const value_t &  e)
inlinestaticprivate

The type of e, or the type of its child if e is a lweight.

static because used by less.

Definition at line 334 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::unwrap_possible_lweight_ ( const value_t &  e) -> value_t
inlinestaticprivate

If e is an lweight, then its child, otherwise e.

static because used by less.

Definition at line 349 of file expressionset.hxx.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::weightset ( ) const
inline

Accessor to the weightset.

Definition at line 134 of file expressionset.hxx.

Referenced by vcsn::rat::expressionset_impl< Context >::expressionset_impl().

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::word ( label_t  l) const -> word_t
inline

Make a `word' out of an expression.

Definition at line 274 of file expressionset.hh.

template<typename Context >
auto vcsn::rat::expressionset_impl< Context >::zero ( ) const -> value_t
inline

Definition at line 148 of file expressionset.hxx.

Member Data Documentation

template<typename Context >
context_t vcsn::rat::expressionset_impl< Context >::ctx_
private

The context of the expressions.

Definition at line 449 of file expressionset.hh.

template<typename Context >
const identities_t vcsn::rat::expressionset_impl< Context >::ids_
private

The set of rewriting rules to apply.

Definition at line 451 of file expressionset.hh.

Referenced by vcsn::rat::expressionset_impl< Context >::expressionset_impl().

The documentation for this class was generated from the following files: