are-equivalent.hh File Reference

#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/complement.hh>
#include <vcsn/algos/complete.hh>
#include <vcsn/algos/determinize.hh>
#include <vcsn/algos/left-mult.hh>
#include <vcsn/algos/product.hh>
#include <vcsn/algos/reduce.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/algos/union.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/ratexp.hh>

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
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

Functions
template<typename Aut1 , typename Aut2 >
auto	vcsn::are_equivalent (const Aut1 &a1, const Aut2 &a2) -> typename std::enable_if<(labelset_t_of< Aut1 >::is_free()&&std::is_same< weightset_t_of< Aut1 >, b >::value &&labelset_t_of< Aut2 >::is_free()&&std::is_same< weightset_t_of< Aut2 >, b >::value), bool >::type
	Check equivalence between Boolean automata on a free labelset. More...
template<typename Aut1 , typename Aut2 >
bool	vcsn::dyn::detail::are_equivalent (const automaton &aut1, const automaton &aut2)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (are_equivalent,(const automaton &, const automaton &) -> bool)
template<typename Lhs , typename Rhs >
Lhs::element_type::automaton_nocv_t	vcsn::difference (const Lhs &lhs, const Rhs &rhs)
	An automaton that computes weights of lhs, but not by rhs. More...
template<typename Lhs , typename Rhs >
automaton	vcsn::dyn::detail::difference (const automaton &lhs, const automaton &rhs)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (difference,(const automaton &, const automaton &) -> automaton)
template<typename RatExpSet >
RatExpSet::value_t	vcsn::difference (const RatExpSet &rs, const typename RatExpSet::value_t &lhs, const typename RatExpSet::value_t &rhs)
	Difference of ratexps. More...
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp	vcsn::dyn::detail::difference_ratexp (const ratexp &lhs, const ratexp &rhs)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (difference_ratexp,(const ratexp &, const ratexp &) -> ratexp)