Awali
Another Weighted Automata library
Namespaces | Functions
automaton.hh File Reference
#include <unordered_map>
#include <awali/dyn/options/options.hh>
#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/loading/handler.hh>
#include <awali/dyn/core/context_description.hh>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::dyn
 Namespace for the dynamical layer of Awali.
 

Functions

void awali::dyn::add_path (automaton_t aut, state_t p, state_t q, const std::string &s, bool strict_alphabet=true)
 add a subautomaton realizing the series s between states p and q of aut. More...
 
void awali::dyn::add_path (automaton_t aut, state_t p, state_t q, ratexp_t exp)
 add a subautomaton realizing the series exp between states p and q of aut. More...
 
bool awali::dyn::are_isomorphic (automaton_t aut1, automaton_t aut2)
 Determines if two automata are isomorphic. More...
 
void awali::dyn::change_alphabet (automaton_t aut, const std::string &alphabet)
 Change the alphabet of the automaton. More...
 
void awali::dyn::change_int_alphabet (automaton_t aut, int a, int b)
 Change the alphabet of the automaton. More...
 
automaton_t awali::dyn::characteristic (automaton_t aut, std::string weightset, options_t opts={})
 Computes the characteristic of aut over weightset. More...
 
automaton_t awali::dyn::copy (automaton_t aut, options_t opts={})
 Makes a deep copy of aut. More...
 
automaton_t awali::dyn::left_mult (automaton_t aut, weight_t w, options_t opts={})
 Produces an automaton that associates with every word the weight (w * x), where x is the weight associated with this word in aut. More...
 
automaton_t awali::dyn::right_mult (automaton_t aut, weight_t w, options_t opts={})
 Produces an automaton that associates with every word the weight (x * w), where x is the weight associated with this word in aut. More...
 
automaton_t awali::dyn::support (automaton_t aut, options_t opts={})
 Computes the support of aut, that is the boolean automaton resulting from replacing any non-zero weight by True. More...