Vaucanson
1.4.1
|
The base class that glues structural elements to implementation values. More...
Public Member Functions | |
const S & | structure () const |
Virtual accessor to the structural element. | |
template<typename OtherS , typename U > | |
Element< S, T > & | operator+= (const Element< OtherS, U > &other) |
Self addition between Element instances. Maps to op_in_add() . | |
template<typename U > | |
Element< S, T > & | operator+= (const U &other) |
Self addition between Element and foreign values. | |
template<typename OtherS , typename U > | |
Element< S, T > & | operator-= (const Element< OtherS, U > &other) |
Self substraction between Element instances. Maps to op_in_sub() . | |
template<typename U > | |
Element< S, T > & | operator-= (const U &other) |
Self substraction between Element and foreign values. | |
template<typename OtherS , typename U > | |
Element< S, T > & | operator/= (const Element< OtherS, U > &other) |
Self division between Element instances. Maps to op_in_div() . | |
template<typename U > | |
Element< S, T > & | operator/= (const U &other) |
Self division between Element and foreign values. | |
template<typename OtherS , typename U > | |
Element< S, T > & | operator*= (const Element< OtherS, U > &other) |
Self multiplication between Element instances. Maps to op_in_mul() . | |
template<typename U > | |
Element< S, T > & | operator*= (const U &other) |
Self multiplication between Element and foreign values. | |
template<typename OtherS , typename U > | |
Element< S, T > & | operator%= (const Element< OtherS, U > &other) |
Self modulus between Element instances. Maps to op_in_mod() . | |
template<typename U > | |
Element< S, T > & | operator%= (const U &other) |
Self modulus between Element and foreign values. | |
Element< S, T > & | operator++ () |
In-place, prefix incrementation. Maps to op_in_inc() . | |
Element< S, T > | operator++ (int) |
Postfix incrementation. Maps to op_in_dec() , with Element copy. | |
Element< S, T > & | operator-- () |
In-place, prefix decrementation. Maps to op_in_dec() . | |
Element< S, T > | operator-- (int) |
Postfix decrementation. Maps to op_in_dec() , with Element copy(). | |
template<typename U > | |
Element< S, T > & | swap (Element< S, U > &other) |
Standard constant-time swap between Element instances. | |
T & | value () |
Virtual accessor to value data. | |
const T & | value () const |
Virtual accessor to value data. | |
Element< S, T > & | self () |
Accessor to the real type. | |
const Element< S, T > & | self () const |
Accessor to the real type. |
Static Public Attributes | |
static const bool | dynamic_value = true |
Whether the implementation type has run-time data. |
Protected Member Functions | |
MetaElement () | |
Protected constructor for class abstraction. | |
MetaElement (const MetaElement &other) | |
Protected constructor for class abstraction. |
The base class that glues structural elements to implementation values.
MetaElement<Structure<Self>
, T> is the specialization that is at the top of all the hierarchy of Vaucanson. It inherits, and thus is decorated with, SyntacticDecorator<Self, T>
.
Definition at line 86 of file meta_element_root.hh.
|
inherited |
Self addition between Element and foreign values.
Maps to op_in_add()
.
|
inherited |
Self substraction between Element and foreign values.
Maps to op_in_sub()
.
|
inherited |
Self division between Element and foreign values.
Maps to op_in_div()
.
|
inherited |
Self multiplication between Element and foreign values.
Maps to op_in_mul()
.
|
inherited |
Self modulus between Element and foreign values.
Maps to op_in_mod()
.
Standard constant-time swap between Element instances.
Maps to op_swap()
.
Definition at line 130 of file syntactic_decorator.hxx.
References vcsn::op_swap(), Element< S, T >::structure(), and Element< S, T >::value().
|
inherited |
Accessor to the real type.
To be used by implementations in this class and derived MetaElement specializations to obtain a reference to the Element instance with its most derived type.
Definition at line 27 of file syntactic_decorator.hxx.
|
inherited |
Accessor to the real type.
To be used by implementations in this class and derived MetaElement specializations to obtain a reference to the Element instance with its most derived type.
Definition at line 34 of file syntactic_decorator.hxx.