Vcsn  2.8
Be Rational
Public Types | Public Member Functions | Private Attributes | List of all members
vcsn::dyn::value_impl< Tag >::model< ValueSet > Struct Template Referencefinal

A wrapped typed Value/ValueSet. More...

Inheritance diagram for vcsn::dyn::value_impl< Tag >::model< ValueSet >:
Collaboration diagram for vcsn::dyn::value_impl< Tag >::model< ValueSet >:

Public Types

using valueset_t = ValueSet
 
using value_t = typename valueset_t::value_t
 

Public Member Functions

 model (valueset_t vs, value_t v)
 
symbol vname () const override
 
const valueset_t & valueset () const
 
const value_t value () const
 
- Public Member Functions inherited from vcsn::dyn::value_impl< Tag >::base
virtual ~base ()=default
 

Private Attributes

const valueset_t valueset_
 The value set. More...
 
const value_t value_
 The value. More...
 

Detailed Description

template<typename Tag>
template<typename ValueSet>
struct vcsn::dyn::value_impl< Tag >::model< ValueSet >

A wrapped typed Value/ValueSet.

Definition at line 104 of file value.hh.

Member Typedef Documentation

◆ value_t

template<typename Tag>
template<typename ValueSet >
using vcsn::dyn::value_impl< Tag >::model< ValueSet >::value_t = typename valueset_t::value_t

Definition at line 107 of file value.hh.

◆ valueset_t

template<typename Tag>
template<typename ValueSet >
using vcsn::dyn::value_impl< Tag >::model< ValueSet >::valueset_t = ValueSet

Definition at line 106 of file value.hh.

Constructor & Destructor Documentation

◆ model()

template<typename Tag>
template<typename ValueSet >
vcsn::dyn::value_impl< Tag >::model< ValueSet >::model ( valueset_t  vs,
value_t  v 
)
inline

Definition at line 108 of file value.hh.

Member Function Documentation

◆ value()

template<typename Tag>
template<typename ValueSet >
const value_t vcsn::dyn::value_impl< Tag >::model< ValueSet >::value ( ) const
inline

Definition at line 123 of file value.hh.

◆ valueset()

template<typename Tag>
template<typename ValueSet >
const valueset_t& vcsn::dyn::value_impl< Tag >::model< ValueSet >::valueset ( ) const
inline

Definition at line 118 of file value.hh.

◆ vname()

template<typename Tag>
template<typename ValueSet >
symbol vcsn::dyn::value_impl< Tag >::model< ValueSet >::vname ( ) const
inlineoverridevirtual

Implements vcsn::dyn::value_impl< Tag >::base.

Definition at line 113 of file value.hh.

Member Data Documentation

◆ value_

template<typename Tag>
template<typename ValueSet >
const value_t vcsn::dyn::value_impl< Tag >::model< ValueSet >::value_
private

The value.

Definition at line 132 of file value.hh.

◆ valueset_

template<typename Tag>
template<typename ValueSet >
const valueset_t vcsn::dyn::value_impl< Tag >::model< ValueSet >::valueset_
private

The value set.

Definition at line 130 of file value.hh.

The documentation for this struct was generated from the following file: