Awali
Another Weighted Automata library
Namespaces | Functions
compile.hh File Reference
#include <string>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::dyn
 Namespace for the dynamical layer of Awali.
 
 awali::dyn::loading
 Namespace containtaing facilities for on-the-fly compilation.
 

Functions

std::string awali::dyn::loading::libname (const std::string &ctx, const std::string &name)
 
std::string awali::dyn::loading::libname (const std::string &ctx1, const std::string &ctx2, const std::string &name)
 
std::string awali::dyn::loading::make_library (const std::string &name, const std::string &static_context, bool check_dependency=false)
 
std::string awali::dyn::loading::make_library (const std::string &name, const std::string &static_context1, const std::string &static_context2, bool check_dependency=false)