Awali
Another Weighted Automata library
|
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::internal | |
Namespace containing implementation details of elements common to sttc and dyn layers (not stable). | |
awali::json_ast | |
Typedefs | |
using | awali::json_ast_t = std::shared_ptr< json::object_t > |
Functions | |
json_ast_t | awali::json_ast::empty () |
Builds an empty json_ast_t. More... | |
json_ast_t | awali::json_ast::from (std::istream &i) |
Builds a json_ast_t from an input stream. More... | |
json_ast_t | awali::json_ast::from_file (std::string const &filename) |
Reads json_tree from given file. More... | |
json_ast_t | awali::json_ast::from_string_map (std::map< std::string, std::string > const &map) |
This function serves to build metadata extra informations. More... | |
json_ast_t | awali::internal::metadata_ast (std::istream &i) |
std::ostream & | awali::put (json_ast_t tree, std::ostream &out) |