Awali
Another Weighted Automata library
Namespaces | Functions
standard.hh File Reference
#include <iostream>
#include <unordered_map>
#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/loading/handler.hh>
#include <awali/dyn/options/options.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

bool awali::dyn::is_standard (automaton_t aut)
 Tests whether aut is standard. More...
 
automaton_t awali::dyn::left_mult_standard (automaton_t aut1, 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::standard (automaton_t aut, options_t opts={})
 Makes aut standard or return a new standard automaton equivalent to aut. More...
 
automaton_t awali::dyn::internal::standard (ratexp_t exp)
 
automaton_t awali::dyn::star (automaton_t aut, options_t opts={})
 Builds a standard automaton that recognizes the star of the language of aut. More...
 
automaton_t awali::dyn::sum_of_standard (automaton_t aut1, automaton_t aut2, options_t opts={})
 Sums standard automaton aut2 into standard automaton au1 or computes a new standard automaton that is equivalent to the sum of aut1 and aut2. More...