Awali
Another Weighted Automata library
Namespaces | Functions
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)