Awali
Another Weighted Automata library
Namespaces | Functions
quotient.hh File Reference
#include <vector>
#include <awali/dyn/options/options.hh>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/core/automaton.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_congruence (automaton_t aut, std::vector< std::vector< state_t >> &equiv)
 Check whether an equivalence is a congruence. More...
 
bool awali::dyn::internal::is_quotient (automaton_t aut1, automaton_t aut2)
 
automaton_t awali::dyn::min_quotient (automaton_t aut, options_t opts={})
 Computes the minimal quotient of aut. More...
 
automaton_t awali::dyn::minimal_automaton (automaton_t aut, options_t opts={})
 Computes the minimal complete deterministic automaton of the language accepted by aut. More...
 
automaton_t awali::dyn::minimal_automaton (ratexp_t exp, options_t opts={})
 Computes the minimal complete deterministic automaton of the language of exp. More...
 
automaton_t awali::dyn::quotient (automaton_t aut, std::vector< std::vector< state_t >> &equiv, options_t opts={})
 Computes the quotient of an automaton with respect to a given equivalence. More...