![]() |
Awali
Another Weighted Automata library
|
Dynamical wrapper for a context, that is a weightset and a labelset. More...
#include <context.hh>
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... | |
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.
| awali::dyn::context_t::context_t | ( | ) |
Buils an empty context (i.e.
a nullptr); should generally not be used.
| 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.
| awali::dyn::context_t::context_t | ( | context::labelset_description | ld, |
| context::weightset_description | wd | ||
| ) |
General constructor for building a context.