Vcsn  2.4
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 add_t = vcsn::rat::add< context_t >
 
using atom_t = vcsn::rat::atom< context_t >
 
using complement_t = vcsn::rat::complement< context_t >
 
using compose_t = vcsn::rat::compose< context_t >
 
using conjunction_t = vcsn::rat::conjunction< context_t >
 
using infiltrate_t = vcsn::rat::infiltrate< context_t >
 
using inner_t = vcsn::rat::inner< context_t >
 
using ldivide_t = vcsn::rat::ldivide< 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 mul_t = vcsn::rat::mul< 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 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 compose (const value_t &l, const value_t &r) const -> value_t
 Build a composition: l @ r. More...
 
auto conjunction (const value_t &l, const value_t &r) const -> value_t
 Build an conjunction product: l & r. More...
 
auto infiltrate (const value_t &l, const value_t &r) const -> value_t
 Build an infiltration product: l &: r. More...
 
auto shuffle (const value_t &l, const value_t &r) const -> value_t
 Build a shuffle product: l : r. More...
 
template<typename... Value>
auto tuple (Value &&...v) const -> value_t
 Build a tuple: e | f | .... More...
 
auto power (const value_t &e, unsigned n) const -> value_t
 Add a power operator: e{n}. More...
 
auto ldivide (const value_t &l, const value_t &r) const -> value_t
 r`. More...
 
auto rdivide (const value_t &l, const value_t &r) const -> value_t
 Build a right division: l {/} r. More...
 
auto star (const value_t &e) const -> value_t
 Add a star operator: e*. More...
 
auto complement (const value_t &e) const -> value_t
 Add a complement operator: e{c}. More...
 
auto transposition (const value_t &e) const -> value_t
 Add a transposition operator. More...
 
auto rweight (const value_t &e, const weight_t &w) const -> value_t
 Right-multiplication by a weight. More...
 
auto lweight (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...
 
template<typename Fun >
void convs (std::istream &, Fun) const
 Read a range of expressions. More...
 
auto print (const value_t &v, std::ostream &o=std::cout, format fmt={}) const -> std::ostream &
 
auto print_set (std::ostream &o, format fmt={}) const -> std::ostream &
 Format the description of this expressionset. More...
 
template<unsigned Tape>
auto project () const -> project_t< Tape >
 The expressionset for the Tape-th tape. More...
 
template<size_t Tape>
auto project (const value_t &v) const -> decltype(::vcsn::rat::project< Tape >(this->self(), v))
 Project a multitape expression. 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
 

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 add_t &addends, const value_t &r) const -> value_t
 
auto add_linear_ (const add_t &s1, const add_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 31 of file expressionset.hh.

Member Typedef Documentation

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

Definition at line 67 of file expressionset.hh.

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 377 of file expressionset.hh.

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

Definition at line 68 of file expressionset.hh.

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

Definition at line 69 of file expressionset.hh.

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

Definition at line 70 of file expressionset.hh.

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

Definition at line 71 of file expressionset.hh.

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

Definition at line 44 of file expressionset.hh.

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

Definition at line 35 of file expressionset.hh.

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

Definition at line 43 of file expressionset.hh.

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

Definition at line 72 of file expressionset.hh.

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

Definition at line 73 of file expressionset.hh.

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

Definition at line 38 of file expressionset.hh.

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

Definition at line 41 of file expressionset.hh.

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

Definition at line 39 of file expressionset.hh.

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

Definition at line 36 of file expressionset.hh.

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

Definition at line 74 of file expressionset.hh.

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

Definition at line 75 of file expressionset.hh.

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

Definition at line 101 of file expressionset.hh.

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

Definition at line 76 of file expressionset.hh.

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

Definition at line 79 of file expressionset.hh.

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

Definition at line 77 of file expressionset.hh.

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

Definition at line 78 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 341 of file expressionset.hh.

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

Definition at line 80 of file expressionset.hh.

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

Definition at line 34 of file expressionset.hh.

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

Definition at line 81 of file expressionset.hh.

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

Definition at line 82 of file expressionset.hh.

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

Definition at line 83 of file expressionset.hh.

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

Definition at line 84 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 91 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 96 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 89 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 93 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 98 of file expressionset.hh.

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

Definition at line 42 of file expressionset.hh.

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

Definition at line 40 of file expressionset.hh.

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

Definition at line 37 of file expressionset.hh.

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

Definition at line 100 of file expressionset.hh.

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

Definition at line 85 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 31 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

Definition at line 193 of file expressionset.hxx.

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

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

Definition at line 251 of file expressionset.hxx.

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

Definition at line 218 of file expressionset.hxx.

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

Definition at line 262 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
private

The sum of two non-zero series.

Precondition
!is_zero(l)
!is_zero(r)

Definition at line 304 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.

This is used for instance when building a multitape expression: first we need the "sub" expressionsets.

Definition at line 384 of file expressionset.hh.

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

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

Add a complement operator: e{c}.

Definition at line 787 of file expressionset.hxx.

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

Build a composition: l @ r.

Definition at line 418 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

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

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

but

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

In other cases, synonym for mul.

Definition at line 692 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
private

If labelset is wordset.

Definition at line 708 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
private

If labelset is not wordset.

Definition at line 701 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

Build an conjunction product: l & r.

Definition at line 447 of file expressionset.hxx.

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

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

Definition at line 1001 of file expressionset.hxx.

References vcsn::conv(), and vcsn::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

Definition at line 1008 of file expressionset.hxx.

References vcsn::v.

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

Definition at line 1014 of file expressionset.hxx.

References vcsn::conv(), and vcsn::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

Definition at line 1020 of file expressionset.hxx.

References vcsn::conv(), and vcsn::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

Definition at line 1026 of file expressionset.hxx.

References vcsn::conv(), and vcsn::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

Definition at line 1032 of file expressionset.hxx.

References vcsn::conv(), and vcsn::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

Definition at line 1041 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

The next expression in a stream.

Definition at line 1049 of file expressionset.hxx.

References vcsn::dyn::read_expression(), and vcsn::res.

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

Convert from ourself: identity.

Definition at line 989 of file expressionset.hxx.

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

Here is the call graph for this function:

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

Read a range of expressions.

Definition at line 325 of file expressionset.hh.

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

Whether l == r.

Definition at line 976 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

Definition at line 163 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

Definition at line 176 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 187 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 193 of file expressionset.hh.

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

Hash v.

Definition at line 982 of file expressionset.hxx.

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

Here is the call graph for this function:

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

Accessor to the identities set.

Definition at line 124 of file expressionset.hxx.

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

Build an infiltration product: l &: r.

Definition at line 568 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 167 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 199 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 205 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 173 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 142 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 161 of file expressionset.hh.

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

Whether v is the \\e.

Used when used as WeightSet.

Definition at line 943 of file expressionset.hxx.

References vcsn::rat::one, and vcsn::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 136 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

Whether v is the 0{c}.

Definition at line 949 of file expressionset.hxx.

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

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

Whether v is the \\z.

Used when used as WeightSet.

Definition at line 937 of file expressionset.hxx.

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

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

Accessor to the labelset.

Definition at line 129 of file expressionset.hxx.

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

r`.

Definition at line 505 of file expressionset.hxx.

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

Whether l < r.

Definition at line 962 of file expressionset.hxx.

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

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 969 of file expressionset.hxx.

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

An expression matching one character amongst chars.

Definition at line 1077 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

Definition at line 1088 of file expressionset.hxx.

References vcsn::has(), vcsn::require(), vcsn::res, 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

Definition at line 1155 of file expressionset.hxx.

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

Left-multiplication by a weight.

Definition at line 855 of file expressionset.hxx.

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

Build from the description in is.

Definition at line 53 of file expressionset.hxx.

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

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

Definition at line 356 of file expressionset.hxx.

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

Definition at line 154 of file expressionset.hxx.

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

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)
staticprivate

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

static because used by less.

Definition at line 338 of file expressionset.hxx.

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

Add a power operator: e{n}.

Definition at line 631 of file expressionset.hxx.

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

Definition at line 1059 of file expressionset.hxx.

References vcsn::rat::make_printer(), vcsn::print(), and vcsn::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&

Format the description of this expressionset.

Definition at line 70 of file expressionset.hxx.

References vcsn::rat::identities::is_distributive(), vcsn::format::latex, vcsn::context< LabelSet, WeightSet >::print_set(), and vcsn::format::sname.

Here is the call graph for this function:

template<typename Context >
template<unsigned Tape>
auto vcsn::rat::expressionset_impl< Context >::project ( ) const -> project_t<Tape>
inline

The expressionset for the Tape-th tape.

Definition at line 345 of file expressionset.hh.

template<typename Context >
template<size_t Tape>
auto vcsn::rat::expressionset_impl< Context >::project ( const value_t &  v) const -> decltype(::vcsn::rat::project<Tape>(this->self(), v))
inline

Project a multitape expression.

Definition at line 353 of file expressionset.hh.

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

Build a right division: l {/} r.

Definition at line 530 of file expressionset.hxx.

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

Right-multiplication by a weight.

Definition at line 894 of file expressionset.hxx.

References vcsn::res.

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 57 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 181 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

Build a shuffle product: l : r.

Definition at line 598 of file expressionset.hxx.

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

The size of v.

Definition at line 956 of file expressionset.hxx.

References vcsn::v.

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

Static description key.

Definition at line 45 of file expressionset.hxx.

References vcsn::res, and vcsn::sname().

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 130 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

Add a star operator: e*.

Definition at line 762 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 211 of file expressionset.hh.

References vcsn::STARRABLE.

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

The transposed of this rational expression.

Definition at line 1068 of file expressionset.hxx.

References vcsn::transpose(), and vcsn::v.

Here is the call graph for this function:

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

Add a transposition operator.

Definition at line 817 of file expressionset.hxx.

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

Build a tuple: e | f | ....

Definition at line 539 of file expressionset.hxx.

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

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

static because used by less.

Definition at line 332 of file expressionset.hxx.

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

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

static because used by less.

Definition at line 347 of file expressionset.hxx.

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

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 308 of file expressionset.hh.

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

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 493 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 495 of file expressionset.hh.

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

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