 |
Awali
Another Weighted Automata library
|
|
Awali
Another Weighted Automata library
|
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 | |
| weight_t | awali::dyn::internal::add_tdc_transition (automaton_t tdc, state_t src, state_t dst, const std::vector< std::string > &labels, weight_t w) |
| std::vector< std::vector< char > > | awali::dyn::internal::alphabets (automaton_t tdc) |
| transducer_t | awali::dyn::compose (transducer_t tdc1, transducer_t tdc2) |
| void | awali::dyn::internal::del_tdc_transition (automaton_t tdc, state_t src, state_t dst, const std::vector< std::string > &labels) |
| automaton_t | awali::dyn::domain (transducer_t tdc) |
| Returns the automaton corresponding to the second tape of the transducer. More... | |
| std::string | awali::dyn::internal::get_final_output (automaton_t tdc, state_t src) |
| std::vector< std::string > | awali::dyn::internal::get_tdc_label (automaton_t tdc, transition_t tr) |
| transition_t | awali::dyn::internal::get_tdc_transition (automaton_t tdc, state_t src, state_t dst, const std::vector< std::string > &labels) |
| bool | awali::dyn::internal::has_input_label (automaton_t tdc, std::string l) |
| bool | awali::dyn::internal::has_label (automaton_t tdc, unsigned i, std::string l) |
| bool | awali::dyn::internal::has_output_label (automaton_t tdc, std::string l) |
| bool | awali::dyn::internal::has_tdc_transition (automaton_t tdc, state_t src, state_t dst, const std::vector< std::string > &labels) |
| automaton_t | awali::dyn::image (transducer_t tdc) |
| Returns the automaton corresponding to the second tape of the transducer. More... | |
| transducer_t | awali::dyn::images (transducer_t tdc) |
| Projects out the very first tape of the transducer. More... | |
| std::vector< char > | awali::dyn::internal::input_alphabet (automaton_t tdc) |
| transducer_t | awali::dyn::inverse (transducer_t tdc) |
| bool | awali::dyn::is_functional (transducer_t tdc) |
Tests whether tdc is functional. More... | |
| bool | awali::dyn::is_of_finite_image (automaton_t tdc, unsigned i=0) |
| bool | awali::dyn::is_realtime (transducer_t tdc) |
| bool | awali::dyn::is_synchronizable (transducer_t tdc) |
| automaton_t | awali::dyn::letterize_tape (automaton_t tdc, unsigned i=1) |
| automaton_t | awali::dyn::internal::lift_tdc (automaton_t tdc) |
| unsigned | awali::dyn::internal::num_tapes (automaton_t tdc) |
| std::vector< char > | awali::dyn::internal::output_alphabet (automaton_t tdc) |
| automaton_t | awali::dyn::projection (transducer_t tdc, unsigned i) |
Projects tdc on the tape i. More... | |
| transducer_t | awali::dyn::realtime (transducer_t tdc) |
| void | awali::dyn::internal::set_final_output (automaton_t tdc, state_t src, const std::string &output) |
| transition_t | awali::dyn::internal::set_tdc_transition (automaton_t tdc, state_t src, state_t dst, const std::vector< std::string > &labels) |
| transition_t | awali::dyn::internal::set_tdc_transition (automaton_t tdc, state_t src, state_t dst, const std::vector< std::string > &labels, weight_t w) |
| transducer_t | awali::dyn::synchronize (transducer_t tdc) |
| std::vector< transition_t > | awali::dyn::internal::tdc_in (automaton_t tdc, state_t s, const std::vector< std::string > &label) |
| std::vector< transition_t > | awali::dyn::internal::tdc_out (automaton_t tdc, state_t s, const std::vector< std::string > &label) |
| std::vector< state_t > | awali::dyn::internal::tdc_predecessors (automaton_t tdc, state_t s, const std::vector< std::string > &label) |
| std::vector< state_t > | awali::dyn::internal::tdc_successors (automaton_t tdc, state_t s, const std::vector< std::string > &label) |
1.9.1