![]() |
Awali
Another Weighted Automata library
|
#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) |