Vcsn  2.3
Be Rational
are-equivalent.hh File Reference
Include dependency graph for are-equivalent.hh:
This graph shows which files directly or indirectly include this file:

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...