![]() |
Vcsn
2.3a
Be Rational
|
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/complement.hh>
#include <vcsn/algos/complete.hh>
#include <vcsn/algos/determinize.hh>
#include <vcsn/algos/derived-term.hh>
#include <vcsn/algos/weight.hh>
#include <vcsn/algos/letterize.hh>
#include <vcsn/algos/conjunction.hh>
#include <vcsn/algos/reduce.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/algos/add.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/value.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut1, Automaton Aut2> | |
auto | vcsn::are_equivalent (const Aut1 &a1, const Aut2 &a2) -> std::enable_if_t<(std::is_same< weightset_t_of< Aut1 >, b >::value &&std::is_same< weightset_t_of< Aut2 >, b >::value), bool > |
Check equivalence between Boolean automata on a free labelset. More... | |
template<Automaton Aut1, Automaton Aut2> | |
bool | vcsn::dyn::detail::are_equivalent (const automaton &aut1, const automaton &aut2) |
Bridge. More... | |
template<typename ExpSet1 , typename ExpSet2 > | |
auto | vcsn::are_equivalent (const ExpSet1 &rs1, const typename ExpSet1::value_t r1, const ExpSet2 &rs2, const typename ExpSet2::value_t r2) -> bool |
Check equivalence between two expressions. More... | |
template<typename ExpSet1 , typename ExpSet2 > | |
bool | vcsn::dyn::detail::are_equivalent_expression (const expression &r1, const expression &r2) |
Bridge (are_equivalent). More... | |
template<Automaton Lhs, Automaton Rhs> | |
fresh_automaton_t_of< Lhs > | vcsn::difference (const Lhs &lhs, const Rhs &rhs) |
An automaton that computes weights of lhs, but not by rhs. More... | |
template<Automaton Lhs, Automaton Rhs> | |
automaton | vcsn::dyn::detail::difference (const automaton &lhs, const automaton &rhs) |
Bridge. More... | |
template<typename ExpSet > | |
ExpSet::value_t | vcsn::difference (const ExpSet &rs, const typename ExpSet::value_t &lhs, const typename ExpSet::value_t &rhs) |
Difference of expressions. More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | vcsn::dyn::detail::difference_expression (const expression &lhs, const expression &rhs) |
Bridge (difference). More... | |