![]()  | 
  
    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.