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.