Awali
Another Weighted Automata library
Public Member Functions
awali::dyn::context_t Class Reference

Dynamical wrapper for a context, that is a weightset and a labelset. More...

#include <context.hh>

Inheritance diagram for awali::dyn::context_t:

Public Member Functions

 context_t ()
 Buils an empty context (i.e. More...
 
template<class T >
 context_t (const std::shared_ptr< T > &ptr, typename std::enable_if< std::is_base_of< abstract_context_t, T >::value, int >::type=0)
 Builds a context from a shared pointer to a class derived of abstract_context_t; should generally not be used. More...
 
 context_t (context::labelset_description ld, context::weightset_description wd)
 General constructor for building a context. More...
 

Detailed Description

Dynamical wrapper for a context, that is a weightset and a labelset.

It is essentially a shared pointer to an abstract_context_t; see the documentation of that class for an account on the services provded by contexts.

Objects of type context_t hold an actual static context, by opposition to objects of type context::context_description, which just hold informations about a context.

Constructor & Destructor Documentation

◆ context_t() [1/3]

awali::dyn::context_t::context_t ( )

Buils an empty context (i.e.

a nullptr); should generally not be used.

◆ context_t() [2/3]

template<class T >
awali::dyn::context_t::context_t ( const std::shared_ptr< T > &  ptr,
typename std::enable_if< std::is_base_of< abstract_context_t, T >::value, int >::type  = 0 
)

Builds a context from a shared pointer to a class derived of abstract_context_t; should generally not be used.

Both ptr and the built context will share ownership of pointed object.

◆ context_t() [3/3]

awali::dyn::context_t::context_t ( context::labelset_description  ld,
context::weightset_description  wd 
)

General constructor for building a context.


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