Awali
Another Weighted Automata library
Data Structures | Namespaces | Functions
locations.hh File Reference
#include <string>
#include <vector>
#include <map>

Go to the source code of this file.

Data Structures

struct  awali::dyn::loading::file_loc_t
 

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::map< std::string, file_loc_t > awali::dyn::loading::example_automata (bool recurse=false)
 
std::map< std::string, file_loc_t > awali::dyn::loading::example_ratexps (bool recurse=false)
 
std::map< std::string, file_loc_t > awali::dyn::loading::examples (std::vector< std::string > subdirs={"automata","ratexps"}, bool recurse=false)
 
std::vector< std::string > awali::dyn::loading::get_compilation_directory (std::string const &lname)
 Returns the temporary compilation directory for the static module named lname. More...
 
const std::string & awali::dyn::loading::get_dot_binary ()
 Return the binary of dot. More...
 
std::vector< std::string > awali::dyn::loading::get_dyn_config_hh_directory ()
 Returns the directory where the config.hh file is located, stored by precedence. More...
 
std::vector< std::string > awali::dyn::loading::get_dynlib_directory ()
 Returns the directories where the dynamic library is located, sorted by precedence. More...
 
std::vector< std::string > awali::dyn::loading::get_examples_directory ()
 Returns the directories where the example automata are stored, sorted by precedence. More...
 
std::vector< std::string > awali::dyn::loading::get_include_directory ()
 Returns the directories where the Awali headers are located. More...
 
std::vector< std::string > awali::dyn::loading::get_lib_directory ()
 Returns the directories where the static modules are located, sorted by precedence. More...
 
std::vector< std::string > awali::dyn::loading::get_sources_directory ()
 Returns the directories where the module sources are located, sorted by precedence. More...
 
int awali::dyn::loading::make_awali_dir ()