context_description.hh File Reference

#include <iostream>
#include <sstream>
#include <stdexcept>
#include <vector>
#include <string>
#include <memory>
#include <algorithm>
#include <awali/common/json/node.hh>
#include <awali/dyn/core/context_description/description_types.hh>
#include <awali/dyn/core/context_description/weightsets/abstract_weightset.hh>
#include <awali/dyn/core/context_description/weightsets/basic_weightset.hh>
#include <awali/dyn/core/context_description/weightsets/cyclic_weightset.hh>
#include <awali/dyn/core/context_description/weightsets/bounded_weightset.hh>

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::context
	Namespace containing functions to build arbitrary automata context (advanced and mostly undocumented).

Functions
std::vector< std::string >	awali::dyn::context::all_weightset_public_descriptions ()
std::vector< std::string >	awali::dyn::context::all_weightset_public_static_names ()
std::string	awali::dyn::context::all_weightset_public_static_names_as_string ()
context_description	awali::dyn::context::c_desc (labelset_description ls, weightset_description ws)
const std::vector< abstract_weightset * > &	awali::dyn::context::instances ()
labelset_description	awali::dyn::context::intletterset (int a, int b)
labelset_description	awali::dyn::context::intletterset (int n)
bool	awali::dyn::context::is_promotable (weightset_description src, weightset_description dest)
labelset_description	awali::dyn::context::letterset (std::string s)
labelset_description	awali::dyn::context::ltupleset (std::vector< labelset_description > lss)
labelset_description	awali::dyn::context::nullableset (labelset_description ls1)
labelset_description	awali::dyn::context::oneset ()
context_description	awali::dyn::context::parse_context (json::object_t const *jp)
context_description	awali::dyn::context::parse_context (std::istream &i)
labelset_description	awali::dyn::context::parse_labelset (json::object_t const *jp)
weightset_description	awali::dyn::context::parse_weightset (json::object_t const *jp)
weightset_description	awali::dyn::context::ratweight (context_description cd)
std::string	awali::dyn::context::tostring (context_description ct, bool dynamic)
std::string	awali::dyn::context::tostring (labelset_description ls, bool dynamic)
std::string	awali::dyn::context::tostring (weightset_description ws, bool dynamic)
weightset_description	awali::dyn::context::weightset (const std::string &k)
std::vector< std::string > const &	awali::dyn::context::weightset_promotion_public_static_names (weightset_description ws)
labelset_description	awali::dyn::context::wordset (std::string s)
weightset_description	awali::dyn::context::wtupleset (std::vector< weightset_description > wss)