context.hh File Reference

#include <string>
#include <awali/dyn/core/context_description.hh>
#include <awali/dyn/core/context_description_deprecated.hh>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/core/abstract_ratexp.hh>
#include <awali/dyn/options/options.hh>
#include <awali/common/json_ast.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::internal
	Implementation details of dyn layer (not stable).

Functions
automaton_t	awali::dyn::internal::deprecated_parse_automaton (std::istream &i)
std::vector< transition_t >	awali::dyn::internal::incoming (abstract_automaton_t const *aut, state_t s, bool all)
automaton_t	awali::dyn::internal::make_automaton_from_context (context::context_description cd)
automaton_t	awali::dyn::internal::make_automaton_from_context (context::labelset_description ls, context::weightset_description ws)
automaton_t	awali::dyn::internal::make_automaton_from_context (context_t ctx)
context_t	awali::dyn::internal::make_context (context::context_description cd)
context_t	awali::dyn::internal::make_context (context::labelset_description ls, context::weightset_description ws)
ratexp_t	awali::dyn::internal::make_ratexp (const std::string &exp, const std::string &sr="B")
ratexp_t	awali::dyn::internal::make_ratexp_with_alphabet (const std::string &exp, const std::string &alph, const std::string &sr="B", bool fixed_alphabet=true)
ratexp_t	awali::dyn::internal::make_ratexp_with_context (const std::string &exp, context::labelset_description ls, context::weightset_description ws, bool fixed_alphabet=true)
ratexp_t	awali::dyn::internal::make_ratexp_with_context (const std::string &exp, context_t ctx, bool fixed_alphabet=true)
ratexp_t	awali::dyn::internal::make_ratexp_with_context (std::string const &exp, context::context_description cd, bool fixed_alphabet)
std::vector< transition_t >	awali::dyn::internal::outgoing (abstract_automaton_t const *aut, state_t s, bool all)
automaton_t	awali::dyn::internal::parse_automaton (json_ast_t ast)
automaton_t	awali::dyn::internal::parse_automaton (std::istream &i)
ratexp_t	awali::dyn::internal::parse_ratexp (json_ast_t obj)
ratexp_t	awali::dyn::parse_ratexp (std::istream &i)
void	awali::dyn::internal::rename_from_origin_inplace (automaton_t dst, automaton_t orig)
std::vector< state_t >	awali::dyn::internal::states (abstract_automaton_t const *aut, bool all)
std::vector< transition_t >	awali::dyn::internal::transitions (abstract_automaton_t const *aut, bool all)